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.
Similar to existing instruction merkle_step, the new instruction allows verifying a Merkle authentication path efficiently. Unlike the existing instruction, that authentication path lives in Triton VM's RAM. This allows to verifiably use the same authentication path multiple times. This is relevant when updating a leaf in a Merkle tree in a verifiably correct manner.
Similar to existing instruction
merkle_step
, the new instruction allows verifying a Merkle authentication path efficiently. Unlike the existing instruction, that authentication path lives in Triton VM's RAM. This allows to verifiably use the same authentication path multiple times. This is relevant when updating a leaf in a Merkle tree in a verifiably correct manner.