Use MPT proof verification for inclusion

celestiaorg / celestia-app

Celestia consensus node

https://celestiaorg.github.io/celestia-app/

Apache License 2.0

345 stars 292 forks source link

Use MPT proof verification for inclusion #4013

Open ninabarbakadze opened 3 weeks ago

ninabarbakadze commented 3 weeks ago

Description

Currently, ZK IBC light client uses groth16 for state transition and inclusion verification. Update inclusion verification logic to use Merkle Patricia Trie proofs instead.