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.

Sign up for GitHub

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

Jump to bottom

Add support for querying and verifying storage Merkle proofs #1855

Open

kostko opened this issue Jul 3, 2024 · 0 comments

Assignees

Labels

Member

kostko commented Jul 3, 2024

The runtime (probably the core module) should support two things:

An internal call that can verify an Oasis MKVS Merkle proof against the given root.
A query that can return a storage MKVS Merkle proof of the given value. It should support both state and IO trees (so we can prove events and transaction inputs/outputs).

Together with #1564 this will enable trustless cross-runtime communication.

kostko added the c:runtime-sdk label

kostko assigned jberci

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment