search

a16z / jolt

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

Sparsify Spartan #403

Closed sragss closed 2 months ago

sragss commented 3 months ago

Makes the first Spartan sumcheck sparse (doesn't store / compute 0 terms). Reduces peak memory usage 50% allowing programs of 2x length for a fixed size of RAM. Accelerates first sumcheck 25% for around 2% e2e savings.