Issues

• prepare is not reproducible: R1CS hash changes on every run for circuits using the SHA-256 black box

  worldfnd/provekit#510 · Filter by author ThePhatPhox opened on Oct 18, 2026

• Soundness: LogUp range multiplicities can be placed in w2 and solved after the challenge

  worldfnd/provekit#503 · Filter by author onejudochop opened on Oct 2, 2026

• Add base-field witness randomization for full polynomial-IOP ZK

  worldfnd/provekit#494 · Filter by author wf-orbie opened on Aug 28, 2026
  

• Joint WHIR treatment of the two-stage R1CS witness

  worldfnd/provekit#493 · Filter by author wf-orbie opened on Aug 28, 2026
  1

  

• Implement Gruen factoring out of eq term.

  worldfnd/provekit#487 · Filter by author recmo opened on Aug 21, 2026
  

• provekit/backend/bn254/src/mavros_prove: make field-generic and fold into WhirR1CSProver<P> when the Mavros

  to dotracker
  worldfnd/provekit#478 · Filter by author recmo opened on Jul 13, 2026

• provekit/backend/goldilocks/src/field: GoldilocksField` (base-committed) can subsume this once it binds

  to dotracker
  worldfnd/provekit#477 · Filter by author recmo opened on Jul 13, 2026

• provekit/common/src/field: add a base-field (Source) byte bridge when one is needed.

  to dotracker
  worldfnd/provekit#475 · Filter by author recmo opened on Jul 13, 2026

• tooling/provekit-fixtures/tests/shared/mod: support fields whose base and extension differ by drawing the LogUp

  to dotracker
  worldfnd/provekit#474 · Filter by author recmo opened on Jul 13, 2026

• tooling/provekit-fixtures/tests/goldilocks_roundtrip: run the challenge-bearing fixtures on the base-leaf field once a

  to dotracker
  worldfnd/provekit#473 · Filter by author recmo opened on Jul 13, 2026

• JSON artifacts carry no format, version, or field tag

  code qualitytracking
  worldfnd/provekit#472 · Filter by author BornPsych opened on Jul 13, 2026

• provekit/backend/bn254/src/witness/digits: with stronger constraints on log_bases will allow us to remove the

  to dotracker
  worldfnd/provekit#468 · Filter by author recmo opened on Jul 6, 2026

• provekit/backend/bn254/src/frontend/witness_generator: serializes the ABI as a json string. Something like CBOR might be better.

  to dotracker
  worldfnd/provekit#467 · Filter by author recmo opened on Jul 6, 2026
  1

• provekit/backend/bn254/src/frontend/witness_generator: Handling of the return value for the verifier.

  to dotracker
  worldfnd/provekit#466 · Filter by author recmo opened on Jul 6, 2026

• Website: Live demo is broken on the latest Firefox

  worldfnd/provekit#461 · Filter by author frozenspider opened on Jun 24, 2026

• Make mavros compile a part of Provekit prepare step

  enhancement
  worldfnd/provekit#444 · Filter by author veljkovranic opened on May 19, 2026

• Forward-port PR #404 to main: Publish workspace crates to crates.io with provekit- prefix

  worldfnd/provekit#434 · Filter by author Bisht13 opened on May 5, 2026
  

• Forward-port PR #399 to main: Bump TBS size to 1850, consolidate circuits, clean up passport-input-gen

  worldfnd/provekit#432 · Filter by author Bisht13 opened on May 5, 2026
  

• Byte-injective transcript sponge adapter

  worldfnd/provekit#419 · Filter by author x-senpai-x opened on Apr 22, 2026

• Databus programs panic with MemoryInit block type must be Memory in Noir→R1CS compilation

  worldfnd/provekit#408 · Filter by author x-senpai-x opened on Apr 13, 2026

• Fold programs fail with Program must have one entry point

  worldfnd/provekit#407 · Filter by author x-senpai-x opened on Apr 13, 2026

• pk_init missing catch_panic wrapper: panic UB + stale error state

  worldfnd/provekit#400 · Filter by author x-senpai-x opened on Apr 7, 2026

• add tests for provekit-ffi

  worldfnd/provekit#389 · Filter by author ashpect opened on Mar 30, 2026

• noir_passport: pubkey_offset is unconstrained with respect to the X.509 SubjectPublicKeyInfo field position

  worldfnd/provekit#382 · Filter by author x-senpai-x opened on Mar 24, 2026

• noir_pasport: pubkey offset not bounds-checked against tbs_certificate_len; key can be extracted from the unsigned tail

  worldfnd/provekit#381 · Filter by author x-senpai-x opened on Mar 24, 2026