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.

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

Assert that membership path length is 1 #396

Closed
srdtrk opened this issue Mar 12, 2025 · 0 comments · Fixed by #391
Closed

Assert that membership path length is 1 #396

srdtrk opened this issue Mar 12, 2025 · 0 comments · Fixed by #391
Assignees
@srdtrk
Labels
audit ethereum-light-client Issues related to the 08-wasm ethereum light client

Comments

@srdtrk
Copy link
Member

srdtrk commented Mar 12, 2025

Internal audit item: assert that the length of the path passed into the membership function of the ethereum light client is 1.
@srdtrk srdtrk added audit ethereum-light-client Issues related to the 08-wasm ethereum light client labels Mar 12, 2025
@srdtrk srdtrk mentioned this issue Mar 12, 2025
Merged
6 tasks
@srdtrk srdtrk added this to IBC Mar 12, 2025
@github-project-automation github-project-automation bot moved this to Backlog in IBC Mar 12, 2025
@srdtrk srdtrk moved this from Backlog to In progress in IBC Mar 12, 2025
@srdtrk srdtrk self-assigned this Mar 12, 2025
@srdtrk srdtrk moved this from In progress to In review in IBC Mar 12, 2025
@github-project-automation github-project-automation bot moved this from In review to Done in IBC Mar 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@srdtrk srdtrk

Labels
audit ethereum-light-client Issues related to the 08-wasm ethereum light client
Projects
IBC
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

imp: removed alloy-trie and refactored verify_membership cosmos/solidity-ibc-eureka
1 participant
@srdtrk