triton-vm
triton-vm copied to clipboard
TritonVM
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.
The new and improved `twenty-first` repo contains functions for fast parallel batch coset extrapolation, meaning that it is possible to go straight from the execution trace columns (interpreted as RS...
Remove the “randomized trace table,” which stored a copy of the entire trace interleaved with randomness.
Currently, the STARK prover derives all randomness by calling `rand::random()`, the “thread-local random number generator, seeded by the system.” For some testing and benchmarking purposes of the STARK prover, it...
In the code base, the word "table" refers to two things. In both cases it's a 2-d array of base or extension field elements, so the word "table" does seem...
This will help to faster pinpoint where the failed assertion occurs.
When Triton VM tries to execute instruction `assert` while the top of its stack is unequal to 1, it fails. Currently, the error it returns does not give any further...
This PR adds a new crate `triton-cli`. This crate exposes a cli with two commands - `prove`: read asm from file, prove it, and write the resulting proof to file...
The operational stack can be indexed into to fetch individual elements through its implementations of `Index` and `Index` (and the corresponding `IndexMut`). It can be useful to get a slice...
I saw that the `addi` instruction was added in a recent commit. Is there any interest in adding `read_memi` and `write_memi` instructions? My rationale is, I pretty frequently need to...