Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Introduce instruction merkle_step_mem #304

Merged
merged 2 commits into from
Aug 19, 2024
Merged

Conversation

jan-ferdinand
Copy link
Member

@jan-ferdinand jan-ferdinand commented Jun 25, 2024

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.

@jan-ferdinand jan-ferdinand force-pushed the merkle_step_mem branch 3 times, most recently from 5335b85 to d5b5590 Compare July 3, 2024 09:50
@jan-ferdinand jan-ferdinand changed the title Merkle step mem Introduce instruction merkle_step_mem Jul 3, 2024
@jan-ferdinand jan-ferdinand force-pushed the merkle_step_mem branch 3 times, most recently from d8b989a to 7f2010d Compare July 24, 2024 13:04
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.
@jan-ferdinand jan-ferdinand marked this pull request as ready for review August 16, 2024 14:41
@jan-ferdinand jan-ferdinand merged commit d9edddd into master Aug 19, 2024
5 checks passed
@jan-ferdinand jan-ferdinand deleted the merkle_step_mem branch August 19, 2024 11:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant