search

starknet-io / SNIPs

Starknet Improvement Proposal repository
MIT License
158 stars 99 forks source link

SNIP-3668: Verify Starknet state/storage proofs in Solidity through a CCIP-Read implementation #106

Open Eikix opened 2 months ago

Eikix commented 2 months ago

Hi, Creating this draft SNIP to get feedback from the community and finish what was started by Nethermind earlier: https://github.com/NethermindEth/starknet-state-verifier

The challenge is to be able to verify an inclusion proof from Starknet in EVM runtime. This will enable reading Starknet from L1 in contracts as well as later, in any EVM-compatible L2. This will greatly increase the interop abilities of Starknet as well as Starknet appchains in the future (keystore rollups and namespace rollups).

github-actions[bot] commented 2 weeks ago

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale. This PR will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!

leo-starkware commented 2 weeks ago

@Eikix ping on the above comments, to avoid github bot closing the PR for inactivity

Eikix commented 2 weeks ago

@Eikix ping on the above comments, to avoid github bot closing the PR for inactivity

Thanks! I pinged @nconsigny on this specific SNIP. We might convert it into a new kind of RIP, solely focus on being able to read the Starknet state from any EVM chain (L1 and L2) using the state root of Starknet on L1 as well as merkle paths.