TritonVM / triton-vm / 8984752914

98%

Build Type

push

github

Committed by jan-ferdinand

Commit Message

feat: introduce memory friendly proving path

Storing the entire low-degree-extended trace takes up a lot of memory.
Just-in-time low-degree-extension is an alternative to this cached
approach that computes (and in some cases recomputes) low-degree-
extended columns or subtables when they are needed and drops them
afterwards.

The decision which codepath to follow is made automatically by default:
if enough RAM is available, the fast path is chosen.
This behavior can be overwritten using the environment variable
`TVM_LDE_TRACE`. Accepted values are “cache” and “no_cache”.

Run Details

590 of 613 new or added lines in 4 files covered. (96.25%)

1 existing line in 1 file now uncovered.

43777 of 44120 relevant lines covered (99.22%)

2957507.08 hits per line