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

refactor: use `?` operator in `dotstep` #271

Closed jan-ferdinand closed 5 months ago

jan-ferdinand commented 5 months ago

Also, make method's names consistent with, e.g., xb_mul.