a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
https://jolt.a16zcrypto.com
MIT License
587 stars 106 forks source link

Efficent opening proofs in verifier #357

Closed aleph-v closed 2 months ago

aleph-v commented 2 months ago

Resolves two of the three todos reducing the memory use of the verifier when calculating the evaluations of the initial memory polynomials. Resolves #350