I think as a team, we really care about this and actually like even I think for like there's obviously much more advanced proving systems that we could use today. We decided to use growth 16, which is one of the most battle tested proving systems with circuits because pragmatically these are the only systems that have really stood the battle of like production. And also on the formal verification fund, it's really interesting because a lot of these circuits are inherently just arithmetic computation graphs. So actually we've been formal verification and CK is also something that's very much being developed right now.
In this week’s episode, Anna and Tarun speak with Succinct Labs. Guests Uma Roy and John Guibas discuss their interest in ZK, their work with 0xparc and the goals of Succinct Labs - that is to provide proof of consensus through SNARK-based light clients. Acting similar to IBC, but in the Ethereum context, we discuss the challenge of building ZK-based light clients on Ethereum, their first implementation linking Gnosis Chain to Ethereum, and how they imagine interacting with the larger blockchain space.
Here are some additional links for this episode:
Today's episode is sponsored by Aztec. Aztec Network is building the first privacy-enabled zkRollup on Ethereum.
The team is proud to announce Noir, the world's first universal ZK language. Noir makes it safe and intuitive to write privacy-preserving ZK circuits.
Aztec is now hiring engineers and cryptographers to build the execution layer supporting Noir's private smart contracts.
Join the team making private Ethereum a reality. You can learn more by visiting aztec.network/careers.
If you like what we do: