14 breaking releases
0.31.0 | Jul 5, 2023 |
---|---|
0.29.1 | Jun 19, 2023 |
0.19.0 | Mar 17, 2023 |
0.11.0 | Dec 22, 2022 |
#17 in #stark
24 downloads per month
Used in tasm-lib
72KB
2K
SLoC
triton-opcodes
Triton VM (GitHub, Crates.io) 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 package triton-opcodes
delivers the Instruction
type and a parser from assembly like:
// Swap the top two stack elements so they're sorted.
//
// The larger element is at the top.
//
// Before: _ a b
// After: _ min(a, b) max(a, b)
minmax:
dup 1 // _ a b a
dup 1 // _ a b a b
lt // _ a b (b < a)
skiz swap 1 // _ min(a, b) max(a, b)
return
Features:
- pseudo-instructions like
lt
by simple substitution. - labelled jumps where labels look like
<name>:
and jumping to them looks likecall <name>
. - inline comments in the form
// ...
.
Dependencies
~10–22MB
~291K SLoC