Halve combination codeword checks

TritonVM / triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

https://triton-vm.org

Apache License 2.0

223 stars 35 forks source link

Halve combination codeword checks #295

Closed Sword-Smith closed 1 month ago

Sword-Smith commented 1 month ago

Closes #285 by halving the number of combination codeword checks performed outside of FRI.
Fixes the number of trace randomizers to take revealed quotient segments into account