triton-opcodes 0.31.0

Triton VM instructions and their translations
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

# triton-opcodes

[Triton VM](https://triton-vm.org) ([GitHub](https://github.com/TritonVM/triton-vm), [Crates.io](https://crates.io/crates/triton-vm)) 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](https://triton-vm.org/spec/pseudo-instructions.html) like `lt` by simple substitution.
- labelled jumps where labels look like `<name>:` and jumping to them looks like `call <name>`.
- inline comments in the form `// ...`.