Issues

• Certify witness reads by construction: move the expressible native closures to witness IR

  zcash/ironwood#227 · Filter by author daira opened on Sep 20, 2026
  1

• Sinsemilla terminology: MessagePiece → MessagePart, Sinsemilla chunk → word

  zcash/ironwood#226 · Filter by author daira opened on Sep 8, 2026

• Justify the extraction experiment's per-size Fiat–Shamir tables from the action-count separation

  zcash/ironwood#224 · Filter by author daira opened on Sep 7, 2026

• Is the pre-NU6.3 base layout (aProgramBase) a soundness object, or a layout-test fixture only?

  zcash/ironwood#223 · Filter by author IndyDaredevil opened on Sep 7, 2026
  1

• Formalize BLAKE2's mode indifferentiability (Luykx–Mennink–Neves)

  enhancement
  zcash/ironwood#222 · Filter by author daira opened on Aug 29, 2026
  1

• Compose with the SNARK argument at the reduction layer to remove the k*maxActions factor

  zcash/ironwood#214 · Filter by author daira opened on Aug 26, 2026

• Rewrite project-phase point-in-time references in comments to current-state

  zcash/ironwood#210 · Filter by author daira opened on Aug 23, 2026

• Reconsider relationOf* naming: return type not apparent and two inconsistent conventions

  zcash/ironwood#208 · Filter by author daira opened on Aug 23, 2026

• Publish the circuit-fixture dump instrumentation

  zcash/ironwood#207 · Filter by author daira opened on Aug 22, 2026

• Adv_DLOG argument order is (queries, work); the literature convention is (work, queries)

  enhancement
  zcash/ironwood#205 · Filter by author daira opened on Aug 21, 2026

• Check the Lean implementations of Poseidon, Sinsemilla, etc. against zcash-test-vectors

  enhancement
  zcash/ironwood#204 · Filter by author daira opened on Aug 21, 2026

• Have TopLevelCircuit export a proved circuitShape

  zcash/ironwood#203 · Filter by author mitschabaude-bot opened on Aug 19, 2026

• Check identity rk

  enhancement
  zcash/ironwood#197 · Filter by author TalDerei opened on Aug 12, 2026

• book: Present the proof journey as the development history it is, and make its steps navigable

  enhancement
  zcash/ironwood#190 · Filter by author daira opened on Aug 8, 2026
  2

  

• Model hash-to-curve as an adversary-queryable oracle

  enhancement
  zcash/ironwood#188 · Filter by author daira opened on Aug 7, 2026
  1

  

• Normalize premiss/premise spelling

  enhancement
  zcash/ironwood#187 · Filter by author daira opened on Aug 7, 2026
  2

  

• Document the ledger reduction-stage vocabulary

  enhancement
  zcash/ironwood#156 · Filter by author TalDerei opened on Jul 30, 2026
  1

• Oracle-machine layer for the capstone ε slots

  enhancement
  zcash/ironwood#155 · Filter by author daira opened on Jul 30, 2026
  5

  

• Upgrade to Lean 4.32.2

  enhancement
  zcash/ironwood#137 · Filter by author alxiong opened on Jul 28, 2026
  3

• RedDSA ±-randomized unforgeability

  enhancement
  zcash/ironwood#121 · Filter by author daira opened on Jul 27, 2026
  

• Rewrite escapesDuringC_measure_le as an instance of the history-indexed escape bound

  enhancement
  zcash/ironwood#74 · Filter by author daira opened on Jul 21, 2026
  1

  

• Instantiate the Fiat–Shamir oracle with Halo2's concrete Blake2b byte encoding

  enhancement
  zcash/ironwood#66 · Filter by author TalDerei opened on Jul 19, 2026
  1