search

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

Use `batch_evaluate` #286

Closed aszepieniec closed 1 month ago

aszepieniec commented 1 month ago

Repo twenty-first recently acquired new methods for fast batch evaluation. This PR uses them.

Down the line we should also modify the just-in-time code path to drop the cached polynomials and use fast batch extrapolation (from the same new and improved twenty-first) instead. But that's for a separate PR and on a different timeline.

aszepieniec commented 1 month ago

Merged via cherry pick. Issue #287 remains open to track the dropping of the cached polynomials.