Can Gurel and Ceteris: The Future of The Crypto On-Chain Experience Will Dwarf The Centralized World
The Delphi Podcast
00:00
ZK IBC to Ethereum
In IBC what's happening is that when two cosmos chains talk to each other the destination chain tries to verify the consensus of the source chain. So in the EVM basically you don't have pre-compiles for those signature verifications so it becomes really costly like astronomically high to verify IBC directly on Ethereum. One approach which is more of a hacky way to do this isYou sort of verify these signatures off chain and then you generate a ZK proof and you send a ZK Proof to an Etherum smart contract, which just verifies the ZKProof. And unlike verifying all those signatures directly just verifying the ZK proof is very cheap. This is pretty
Transcript
Play full episode
