Leaf Me Hard
Proof of Merkle Proof of inclusion
The problem Leaf Me Hard solves
Solving a problem of Merkle (Patricia) Trie (MPT) inclusion compression is important in several domains:
- Optimistic Rollups might generate big Fraud Proofs, where MPT state proof is several time bigger than the data it proves
- Ethereum is pushing towards statelessness roadmap
- Re-execution protocols like Polkadot rely on Rollup State Proofs for stateless validation
We were trying to use several ZK tools for succinctness property to compare them and contribute to the Ecosystem along the way.
Challenges we ran into
Aleo doesn't support:
- generic arrays
- up to 32 array elements
- the documentation was poor
- quirks like: extra EOF of the input file breaks compilation
Noir:
- Many breaking changes in the compiler that broke existing code
- Missing support for some hash functions like blake2b
- Our contribution here: https://github.com/noir-lang/noir/pull/8989
None of the languages supported compact multi-proofs
Tracks Applied (2)
ZK Hack Berlin Winners
Most Innovative or Technically Proficient Aztec Integration
Aztec
Technologies used
Discussion
Builders also viewed
See more projects on Devfolio