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

check soundness of "get_keys_for_address_prefix #572

Open

enitrat opened this issue Jan 27, 2025 · 0 comments

Collaborator

enitrat commented Jan 27, 2025 •

edited

Loading

In which we trust the prover to provide all the correct preimages
This is used in two places:

destroy storage
account_has_storage (new)

in the first scenario we want to destroy the entire storage of an account. What we could do is:

'Optimistically' delete all associated keys
Iterate over all keys, and get the preimage
For each key, assert that preimage[0] (address) != destroyed_storage_address

In the second scenario, we could maintain a set of addresses with associated storage_keys. TBD

github-project-automation bot added this to Keth

github-project-automation bot moved this to Backlog in Keth

enitrat changed the title ~~check soundness of "destroyed_storage" mechanism~~ check soundness of "get_keys_for_address_prefix

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