10 Tweets 6 reads Apr 27, 2023
Proof-based interoperability is here 🪄.
Announcing the first demo proof of consensus bridge at demo.succinct.xyz. This demo uses a zkSNARK Ethereum PoS light client to power a trust-minimized bridge between Goerli and Gnosis Chain.
Thread below 🧵
1/ In our previous blog post blog.succinct.xyz, we outlined a vision for how SNARK-ed proof of consensus enables gas-efficient light clients that can directly verify consensus of a source chain in the execution layer of a target chain. No multisigs in between ⚰️🗝️🗝️🗝️⚰️.
2/ Today we're announcing our first proof of consensus implementation for the Ethereum PoS light client protocol. We have an *end-to-end* live demo demo.succinct.xyz that passes arbitrary messages from Goerli to Gnosis, verified using a on-chain zkSNARK Goerli light client.
3/ Our code for circuits and smart contracts is open-source and available here: github.com. Our blog post blog.succinct.xyz goes into technical detail on how the Ethereum PoS light client protocol works and our circuits + smart contract design!
4/ Our succinct Ethereum light client can actually be deployed to *any* EVM chain, broadcasting 📢 Ethereum state to the world! If you're interested in accessing Ethereum state in other EVM chains, DM us to collaborate!
5/ While our proof of concept is quite exciting and shows the feasibility of proof-based interop, zkSNARK technology is quite new and there is a lot of remaining work to be done in making our system production ready.
6/ We are working closely with the Gnosis Chain team and several auditors to audit our circuits and smart contracts. We are also optimizing 🏎️ our proof generation time and smart contract gas costs, so be on the lookout in the next few months for updates.
7/ We are actively hiring! Please DM us or apply at jobs.ashbyhq.com if you're interested in working with us! We are looking for engineers across the stack, from smart contract devs and experienced infrastructure engineers to zkSNARK circuit writers.
8/ Finally big thanks to @GnosisDAO for giving us an extremely generous grant and @0xPARC for giving us an amazing community of friends and collaborators. Thank you @jonathanpwang @yisun @gubsheep @tw_tter @koeppelmann @StefanDGeorge @barinov @k1rill_fedoseev @kobigurk 🙏🙏🙏
Meant to tag @theyisun

Loading suggestions...