The cool thing is like you can make like on chain bounties. So if someone can hack a circuit, you can actually do that. You can encode those as smart contract on Ethereum and like give out some award. There's this auditing firm called Veridize that I think is trying to do formal verification for circuits. They've managed to formally verify some big int libraries that are used for elliptic curve arithmetic and these circuits that we're using. John: "I honestly don't have very strong opinions on it, but I know other people do"
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: