TritonVM / triton-vm / 11573599342

98%

Build Type

push

github

Committed by jan-ferdinand

Commit Message

perf: Reduce prover's space requirements

Only generate exactly as much randomness as is needed to achieve
Zero-Knowledge. In particular, instead of storing a full copy of the
trace, and again as much randomness, the trace is stored exactly once,
and any randomness is “spliced in” for any operation that requires the
randomized trace.

The merged branch contains a slew of changes for the memory-efficient
code path, making it _even_ more memory efficient, by a factor of
almost 2 (!). The caching code path is more efficient also, but only
slightly.

The changes also introduce performance gains for the prover of between
10% (caching path) and 15% (memory-efficient path).

Co-authored-by: Alan <alan@neptune.cash>

Run Details

756 of 768 new or added lines in 7 files covered. (98.44%)

21 existing lines in 4 files now uncovered.

24304 of 24717 relevant lines covered (98.33%)

6148621.94 hits per line