Einstein: I feel like if Kobe and like three people are the only people in the world who've ever really found a ZK, a bug in a circuit, there must be like a ton. "I actually not even actually worried as much about the circuit writers personally," he says. He adds that any complex system has a lot of surface area for risk. The tried and true way of figuring out whether something is secure - let's just wait until it gets hacked -- also applies here.
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: