ZK Acceleration: Pessimistic Proofs with AggLayer and Succinct

Is ZK real? Unironically, this was the first question Robbie asked our guests Uma Roy, founder of Succinct & Brendan Farmer, co-founder of Polygon.

If you've been following the latest developments in ZK (but not trademarked), you'll know that it is the closest thing to the endgame of crypto. However, you'll also know the progress has been somewhat slow as its not a trivial task to build zk circuits and logic.

Enter: Succinct & generalizable ZKVMs. SP1 is the rust-based zkVM built Succinct allowing developers to write standard Rust code and leverage ZK technology seamlessly. Uma and co have been making insane strides in reducing the costs of generating zk proofs while other teams are meticulously working on proof verification improvements.

We had the pleasure of exploring the collaboration between AggLayer and Succinct, which is using SP1 to bring practical zk to production. AggLayer is specifically designed to tackle Ethereum's fragmentation problem by enabling asset fungibility and low-latency interoperability across different L2 chains. The big innovation here is Plonky 3 as well as the idea behind Pessismistic proofs.

Throughout this conversation, we explore how SP1 integrates with AggLayer, enhancing developer velocity and enabling seamless communication between different L2 chains, pessimistic proofs, the rise of rust-based ZKVMs, ZK for interoperability, and expanding the application space built atop of ZK.

Join us for a technical conversation about a great collaborative effort to scale ZK and thus, the entire crypto space.

The Rollup

𝗗𝗜𝗦𝗖𝗟𝗔𝗜𝗠𝗘𝗥: 𝘐𝘯𝘷𝘦𝘴𝘵𝘪𝘯𝘨 𝘪𝘯 𝘤𝘳𝘺𝘱𝘵𝘰𝘤𝘶𝘳𝘳𝘦𝘯𝘤𝘺 𝘢𝘯𝘥 𝘋𝘦𝘍𝘪 𝘱𝘭𝘢𝘵𝘧𝘰𝘳𝘮𝘴 𝘤𝘰𝘮𝘦𝘴 𝘸𝘪𝘵𝘩 𝘪𝘯𝘩𝘦𝘳𝘦𝘯𝘵 𝘳𝘪𝘴𝘬𝘴 𝘪𝘯𝘤𝘭𝘶𝘥𝘪𝘯𝘨 𝘵𝘦𝘤𝘩𝘯𝘪𝘤𝘢𝘭 𝘳𝘪𝘴𝘬, 𝘩𝘶𝘮𝘢𝘯 𝘦𝘳𝘳𝘰𝘳, 𝘱𝘭𝘢𝘵𝘧𝘰𝘳𝘮 𝘧𝘢𝘪𝘭𝘶𝘳𝘦 𝘢𝘯𝘥 𝘮𝘰𝘳𝘦. 𝘈𝘵 𝘤𝘦𝘳𝘵𝘢𝘪𝘯 𝘱𝘰𝘪𝘯𝘵𝘴 𝘵𝘩𝘳𝘰𝘶𝘨𝘩𝘰𝘶𝘵 𝘵𝘩𝘪𝘴 𝘤𝘩𝘢𝘯𝘯𝘦𝘭, 𝘸𝘦 𝘮𝘢𝘺 𝘦𝘢𝘳𝘯 𝘢 𝘤𝘰𝘮𝘮𝘪𝘴𝘴𝘪𝘰𝘯 𝘰𝘳 𝘧𝘦𝘦 𝘢𝘴 𝘢 𝘴𝘱𝘰𝘯𝘴𝘰𝘳𝘴𝘩𝘪𝘱, 𝘪𝘧 𝘵𝘩𝘪𝘴 𝘪𝘴 𝘵𝘩𝘦 𝘤𝘢𝘴𝘦 𝘸𝘦 𝘸𝘪𝘭𝘭 𝘢𝘭𝘸𝘢𝘺𝘴 𝘮𝘢𝘬𝘦 𝘴𝘶𝘳𝘦 𝘪𝘵 𝘪𝘴 𝘤𝘭𝘦𝘢𝘳. 𝘞𝘦 𝘢𝘳𝘦 𝘴𝘵𝘳𝘪𝘤𝘵𝘭𝘺 𝘢𝘯 𝘦𝘥𝘶𝘤𝘢𝘵𝘪𝘰𝘯𝘢𝘭 𝘤𝘰𝘯𝘵𝘦𝘯𝘵 𝘱𝘭𝘢𝘵𝘧𝘰𝘳𝘮, 𝘯𝘰𝘵𝘩𝘪𝘯𝘨 𝘸𝘦 𝘰𝘧𝘧𝘦𝘳 𝘪𝘴 𝘧𝘪𝘯𝘢𝘯𝘤𝘪𝘢𝘭 𝘢𝘥𝘷𝘪𝘤𝘦. 𝘞𝘦 𝘢𝘳𝘦 𝘯𝘰𝘵 𝘱𝘳𝘰𝘧𝘦𝘴𝘴𝘪𝘰𝘯𝘢𝘭𝘴 𝘰𝘳 𝘭𝘪𝘤𝘦𝘯𝘴𝘦𝘥 𝘢𝘥𝘷𝘪𝘴𝘰𝘳𝘴.