Make Constraint Circuits Fully Deterministic

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

Make Constraint Circuits Fully Deterministic #280

Closed jan-ferdinand closed 1 month ago

jan-ferdinand commented 1 month ago

Non-deterministic circuits are a problem because different machines generate different circuits. This limits the validity of generated proofs.