Issues

• Public-coin counterpart syntaxes allow private randomness

  Verified-zkEVM/PolyFun#458 · Filter by author dtumad opened on Nov 13, 2026

• Multiparty hidden and react actions let continuations depend on the unobserved move

  Verified-zkEVM/PolyFun#457 · Filter by author dtumad opened on Nov 13, 2026

• PolyFunFrontier: the cslib-frontier side of PolyFun

  tracking
  Verified-zkEVM/PolyFun#425 · Filter by author dtumad opened on Nov 10, 2026
  1

• Monoidal closed tensor and the multiset comonad on lenses

  Verified-zkEVM/PolyFun#419 · Filter by author spitters opened on Nov 8, 2026
  6

• Probability layer: measure interpretations in PolyFun, security in VCVio

  tracking
  Verified-zkEVM/PolyFun#400 · Filter by author dtumad opened on Nov 5, 2026

• Interaction cost: discrete bounds on interface use, consolidated across PolyFun, VCVio, ArkLib and CatCrypt

  enhancementtracking
  Verified-zkEVM/PolyFun#387 · Filter by author dtumad opened on Nov 4, 2026
  20

• Languages: scoped syntax, semantics and certificates

  tracking
  Verified-zkEVM/PolyFun#374 · Filter by author dtumad opened on Oct 24, 2026
  2

• Polynomial functors beyond Niu–Spivak: research directions

  tracking
  Verified-zkEVM/PolyFun#365 · Filter by author dtumad opened on Oct 24, 2026
  3

• Foundations: tracking index

  tracking
  Verified-zkEVM/PolyFun#338 · Filter by author dtumad opened on Oct 22, 2026

• Lean/Mathlib idiom alignment

  tracking
  Verified-zkEVM/PolyFun#327 · Filter by author dtumad opened on Oct 19, 2026

• Polynomial functor theory: gaps against Niu–Spivak

  enhancementtracking
  Verified-zkEVM/PolyFun#311 · Filter by author dtumad opened on Oct 19, 2026
  3

• Computation APIs and observable execution

  tracking
  Verified-zkEVM/PolyFun#309 · Filter by author dtumad opened on Oct 17, 2026
  2

• Backend-relative resource bounds roadmap

  enhancementtracking
  Verified-zkEVM/PolyFun#279 · Filter by author dtumad opened on Oct 1, 2026
  3

• Upstream follow-ups after v4.35

  tracking
  Verified-zkEVM/PolyFun#278 · Filter by author dtumad opened on Oct 1, 2026