issues
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
247
stars
37
forks
source link
Break cyclic build dependency
#323
Closed
jan-ferdinand
closed
2 months ago
jan-ferdinand
commented
2 months ago
[x] make many small crates without cycles
[x] constraint circuit
[x] ISA
[x] AIR
[x] constraint builder
[x] Triton VM
[x] add
README.md
to each crate
[ ] shrink public interfaces
[x] make public exports of all the new crates
[ ] publish the new crates
README.md
to each crate