2025-06-12 –, 6 - Side Stage
The economic security behind zero-knowledge proof generation is quite an under-explored topic. Several prover networks and marketplaces have emerged in the past 12 months, most of them relying on a slashable financial bond, but more sophisticated design mechanisms ensuring security, accessibility and decentralization are yet to be seen.
I'll dive into economic security in the context of ZK proof generation from different angles, covering 1. the nature of ZK proving as a hybrid task (it requires intense hardware resources but redundancy/wasted compute should be minimized), 2. the parallels between PoW mining and proof mining, 3. economic security through staking and restaking, and 3. viable alternatives such as reputation systems, Proof of Capacity and Availability for node operators, reputation-based reward mechanisms and more.
Currently: working as head of product at ZkCloud built by Gevulot Labs.
Previously: worked as protocol researcher at ZkCloud since Jan 2024. Worked on the network design of a zkOracle network as a research grantee at ORA Protocol. Participated in the Ethereum Protocol Fellowship doing research on prover mechanisms under the mentorship of Barnabé Monnot. Co-authored a network design proposal to Aztec Network on decentralized prover coordination. Ecosystem research at Chainstack. Before joining web3, twelve years of humanitarian and non-profit background within the UN.