Why Rust makes zero-knowledge proofs less painful

Adam Smolarek

Building zero-knowledge proof circuits in Rust, using halo2 as the
example. Type system, MockProver, live demo on stage.

Adam Smolarek is a Rust developer from Kraków. He's been in blockchain
since 2016 and writing zero-knowledge proof circuits in halo2 for the
last three years. He runs rustarians.com, where he publishes
interactive ZK tutorials with Rust code you can run in the browser.