TritonVM / triton-vm / 21978714262

98%

Build Type

push

github

Committed by jan-ferdinand

Commit Message

feat!: Add STIR as an alternative low-degree test

Both the “Fast Reed-Solomon IOPP” (“FRI”) and “Shift to Improve
Rate” (“STIR”) are proof systems that establish the low-degreeness of a
polynomial. They each have their own advantages and disadvantages.

In particular, for our STARK and when the execution trace is short, the
size of the proof is significantly larger when using STIR instead of
FRI. For longer execution traces, this is reversed.

In addition, STIR proofs allow for some exciting future enhancements to
the overall proof system.

Run Details

954 of 969 new or added lines in 6 files covered. (98.45%)

6 existing lines in 3 files now uncovered.

15518 of 15793 relevant lines covered (98.26%)

9620089.21 hits per line