Issues

• Follow Up To 2041

  a16z/jolt#2044 · Filter by author abiswas3 opened on Oct 10, 2026

• Input/advice stores: potential soundness gap

  a16z/jolt#2041 · Filter by author abiswas3 opened on Oct 10, 2026

• Recursion guest: supply the Akita setup as trusted advice and inner proofs as untrusted advice

  a16z/jolt#2029 · Filter by author moodlezoup opened on Oct 8, 2026

• Guest verifiers: gate rayon out of the verifier dependency graph

  enhancement
  a16z/jolt#2018 · Filter by author moodlezoup opened on Oct 7, 2026

• Byte-addressable memory: implement Tiers 1 and 2 (offset-tolerant loads/stores, dual-expansion dispatch)

  optimization
  a16z/jolt#2013 · Filter by author moodlezoup opened on Oct 6, 2026

• Seven completeness failures: executions the tracer accepts that the prover cannot prove

  a16z/jolt#1951 · Filter by author quangvdao opened on Sep 29, 2026
  2

• A store that the device ignores breaks the RAM history constraint

  a16z/jolt#1950 · Filter by author abiswas3 opened on Sep 28, 2026
  1

• Wrapping LD address: the honest witness fails the RAM-address constraint

  a16z/jolt#1949 · Filter by author abiswas3 opened on Sep 28, 2026
  1

• MRET omits guest-observable mstatus updates in the M-mode-only profile

  a16z/jolt#1943 · Filter by author quangvdao opened on Sep 26, 2026
  1

• Narrow FieldEncodedValue to 16 bytes once Dory is removed

  optimizationrefactor
  a16z/jolt#1935 · Filter by author moodlezoup opened on Sep 25, 2026

• Self Branch Bug

  a16z/jolt#1916 · Filter by author abiswas3 opened on Sep 23, 2026
  2

• wasm32: proving inside wasm panics (CoeffLut usize overflow, arkworks MSM thread pool); CI never proves in wasm

  a16z/jolt#1913 · Filter by author sputn1ck opened on Sep 23, 2026
  1

• jolt-go: write Jolt guests in Go, prove/verify from Go (community project)

  a16z/jolt#1780 · Filter by author sputn1ck opened on Aug 18, 2026
  1

• C++ code on Jolt, full profiller support

  a16z/jolt#1670 · Filter by author xxuejie opened on Jul 11, 2026
  2