ZK8: Succinct Verification of Consensus with zkSNARKs - Uma Roy & John Guibas - Succinct Labs
1.5 هزار بار بازدید -
2 سال پیش
-
This was recorded at the
This was recorded at the ZK8 - Zero Knowledge Summit 8 on Sept 15 2022 in Berlin
https://www.zksummit.com/
Title: Succinct Verification of Consensus with zkSNARKs
Speaker: Uma Roy & John Guibas - Succinct Labs
Description: The current Ethereum 2.0 spec introduces the sync committee light client protocol, which allows for a light client implementation that securely keeps track of the head of the chain. However, the EVM does not have precompiles for the BLS12-381 curve used for validator signatures, rendering a Solidity implementation of such a light client prohibitively expensive. Succinct Labs is building a gas-efficient EVM light client by moving the expensive computation off-chain using zkSNARKS. In particular, they use SNARKs to 1) verify the aggregated BLS signature of the sync committee over each finalized block header and 2) prove the validity of the sync committee validator set, which rotates every 27 hours.
Their circuits, which are written in Circom, require implementing out-of-field arithmetic for the BLS12-381 curve and implementing the simple serialization method used in Eth 2. In the most general case, this light client implementation allows for arbitrary message passing between any two chains that implement Ethereum 2.0 consensus. As an example, they demonstrate how to build a prototype ERC-20 bridge from Ethereum to Gnosis Chain, which borrows the security guarantees of the sync committee.
------------
If you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK - like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board - https://jobsboard.zeroknowledge.fm
------------
If you like what we do:
Subscribe to our podcast newsletter - https://zeroknowledge.substack.com
Follow us on Twitter @zeroknowledgefm - Twitter: zeroknowledgefm
Join us on Telegram - https://zeroknowledge.fm/telegram
https://www.zksummit.com/
Title: Succinct Verification of Consensus with zkSNARKs
Speaker: Uma Roy & John Guibas - Succinct Labs
Description: The current Ethereum 2.0 spec introduces the sync committee light client protocol, which allows for a light client implementation that securely keeps track of the head of the chain. However, the EVM does not have precompiles for the BLS12-381 curve used for validator signatures, rendering a Solidity implementation of such a light client prohibitively expensive. Succinct Labs is building a gas-efficient EVM light client by moving the expensive computation off-chain using zkSNARKS. In particular, they use SNARKs to 1) verify the aggregated BLS signature of the sync committee over each finalized block header and 2) prove the validity of the sync committee validator set, which rotates every 27 hours.
Their circuits, which are written in Circom, require implementing out-of-field arithmetic for the BLS12-381 curve and implementing the simple serialization method used in Eth 2. In the most general case, this light client implementation allows for arbitrary message passing between any two chains that implement Ethereum 2.0 consensus. As an example, they demonstrate how to build a prototype ERC-20 bridge from Ethereum to Gnosis Chain, which borrows the security guarantees of the sync committee.
------------
If you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK - like Aleo, Anoma and Mina. If you’re looking to hire, be sure to add your jobs as well! More at ZK Jobs Board - https://jobsboard.zeroknowledge.fm
------------
If you like what we do:
Subscribe to our podcast newsletter - https://zeroknowledge.substack.com
Follow us on Twitter @zeroknowledgefm - Twitter: zeroknowledgefm
Join us on Telegram - https://zeroknowledge.fm/telegram
2 سال پیش
در تاریخ 1401/07/12 منتشر شده
است.
1,563
بـار بازدید شده