zkCasper: A SNARK-based protocol for verifying Casper FFG Finality Proofs.

Name: zkCasper: A SNARK-based protocol for verifying Casper FFG Finality Proofs.
Uploaded: 2023-11-18T11:20:00.000Z
Duration: 18 min 3 s
Description: Talk by Seun Lanlege at Light Client Summit (Devconnect), Nov 2023. I'll be discussing a light client protocol that provides much higher crypto-economic security gurantees than the widely used sync-committee. By leveraging SNARKs and homomorphic polynomial commitments in order to direcly verify Ethereum's Casper FFG finality proofs.

Light Client Summit DevconnectSat, Nov 18, 2023, 11:20 AM · 18:03

Download

Speaker

Seun Lanlege

I'll be discussing a light client protocol that provides much higher crypto-economic security gurantees than the widely used sync-committee. By leveraging SNARKs and homomorphic polynomial commitments in order to direcly verify Ethereum's Casper FFG finality proofs.