- Low-level Merkle-Patricia storage trie implementation
- Matches Ethereum and Foundry results
- Memory efficient (copy-on-write, shared subexpressions)
- Compute efficient (branch nodes hash once)
- Multiple storage encodings (object, bytes, JSON)
- Linea
- ☑︎
MIMC - ☐
SparseMerkleProof - ☐
linea_getProof
- ☑︎
- ZKSync
- ☐
Blake2S - ☐
ZKSyncSMT - ☐
zks_getProof
- ☐
foundryupforge ibun i
bun testbun run fuzz— runstorage.test.tsuntil cancelled
- Replicate
eth_getProofforL2ReverseRegistrar(requires.envfor provider) - Deserialize from trunk and limb with precomputed hashes, perform surgery, and produce correct
eth_getProofbun demo/memory.ts -c <chain> -d <depth>