Very interesting discussion and will definitely keep monitoring it to see how it develops. Say we want to implement a merkle-based proving scheme with one blockchain generating a merkle proof and another blockchain verifying it based on some root that they have received by a trusted source, what are the tools currently available to parachain developers? I mentioned this already in Multichain friendly account abstraction - #16 by ntn_x2, but I feel this is probably a better space. We at KILT would be willing to take what is currently available, try to see how it fits what we have set out to do, and report back, potentially proposing new/better ways of achieving this.
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Straightforward cross-chain storage proofs PoC | 3 | 193 | May 21, 2024 | |
zkCasper: A SNARK based protocol for verifying Casper FFG Consensus | 0 | 429 | May 11, 2023 | |
XCM Storage Query | 4 | 913 | June 19, 2023 | |
Zero-Knowledge Computation vs. Cryptoeconomic Security: Are Hybrid Models a Sustainable Transition or a Temporary Compromise? | 7 | 104 | October 15, 2024 | |
JAM Services and related system chains | 9 | 369 | September 28, 2024 |