Issues

• The Verifier Accepts Witnesses Jolt's Prover Never Builds

  a16z/jolt#2096 · Filter by author abiswas3 opened on Oct 20, 2026

• 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

• Completeness failure: the emulator fetches instructions from memory, the proof from bytecode fixed at preprocessing

  a16z/jolt#1952 · Filter by author quangvdao opened on Sep 29, 2026
  1

• 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

• Status of Folding

  a16z/jolt#1861 · Filter by author pgrinaway opened on Sep 11, 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

• Instructions for Quickstart and Implementation doesn't align and invalid verification method

  documentation
  a16z/jolt#810 · Filter by author Benny1143 opened on Jul 30, 2025
  4

• Guest panics when running Ream's Beacon Chain STF – likely due to input size constraints

  a16z/jolt#732 · Filter by author x-senpai-x opened on Jun 30, 2025

• Add support for ring crate

  a16z/jolt#722 · Filter by author x-senpai-x opened on Jun 20, 2025

• Making jolt no_std compatible

  a16z/jolt#666 · Filter by author amaloz opened on May 6, 2025
  4

• Update jolt book to reflect API changes

  documentation
  a16z/jolt#645 · Filter by author marsella opened on Apr 28, 2025

• Compilation errors in ONNX ML Inference guest code: "could not find unix in os" from filetime dependency

  a16z/jolt#617 · Filter by author grandchildrice opened on Mar 20, 2025
  6

• alloc is incomplete

  a16z/jolt#468 · Filter by author nazar-pc opened on Sep 29, 2024

• Toolchain installation is not mentioned until troubleshooting

  a16z/jolt#467 · Filter by author nazar-pc opened on Sep 29, 2024
  2