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.
This writeup introduces a *contiguity argument*, which is a Polynomial IOP / RAP hybrid for establishing that the set of values is distributed contiguously across an evaluation domain. Phrased crudely,...
Here is an idea for program attestation in Triton VM that @aszepieniec and I have talked about. Not all details are completely fleshed out yet, and are subject to change...
In TIP 0001, the prover computes the formal polynomial, whose degree depends on the number of changes of the RAM pointer. In the current design of Triton VM, the RAM...
The debug output of the test `triton_prove_verify` indicates that some codewords do not correspond to maximal degree codewords even after they have been shifted by what we currently assume to...
Currently, certain things pertaining to Rescue Prime live in various files. Concretely: - number of round constants (`hash_table.rs`) - number of rounds (`hash_table.rs`) - `rescue_xlix_round_constants_by_round_number` (`state.rs`) Factor above things out...
Some of the challenges coming from the verifier are weights with which to compress multiple columns into one column, over which the running product (or sum) is then computed. This...
Feel free to cherry-pick. I tried to be modular, but git being line based and the writing style of putting each paragraph on a single line makes that difficult at...
Currently, all memory tables (i.e., RAM, OpStack, JumpStack) derive their next padding row directly from their current last row, incrementing the value of column cycle count `clk` by 1. However,...