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
223 stars 35 forks source link

Bug in documentation of dot_step instructions #300

Closed Sword-Smith closed 1 week ago

Sword-Smith commented 2 weeks ago

In instructions.md the last line here should probably be xb_dot_step and not xx_dot_step

Many-In-One

Instruction Opcode old op stack new op stack Description
merkle_step 80 _ i edcba _ (i div 2) zyxwv Helps traversing a Merkle tree during authentication path verification. See extended description below.
xx_dot_step 88 _ z y x *b *a _ z+p2 y+p1 x+p0 *b+3 *a+3 Reads two extension field elements from RAM [...]
xx_dot_step 96 _ z y x *b *a _ z+p2 y+p1 x+p0 *b+3 *a+1 Reads one base field element from RAM [...]