Fix #289 by changing prover's evaluation domain for deep update

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

241 stars 36 forks source link

Fix #289 by changing prover's evaluation domain for deep update #290

Closed Sword-Smith closed 4 months ago

Sword-Smith commented 4 months ago

Adds a test that illustrates the problem
Changes the domain over which base_and_ext_combination_polynomial and quotient_segments_combination_polynomial are evaluated to the shorter domain of the FRI domain and the quotient domain.