Beyond recursive proving for Starknet
11-15, 11:20–11:50 (Asia/Bangkok), Classroom A

Recursive proving is very cool tech enabling very large proofs or combining many different statements into a single proof. Beyond recursive proving, statements can be combined in interesting ways to further reduce system overheads such as data availability compression and layer1 state updates as well as various privacy concepts. In this session we'll discuss some of these technologies and how they are being applied in Starknet to achieve various user and system benefits.

I have two passions: Technological entrepreneurship and XC mountain biking. As VP Engineering at StarkWare, where I've been working since 2017, I run our engineering department responsible for the development of Starknet, STARK proving and related services. I bike to and from our offices almost every day all year round. For over 25 years I've held CEO, CTO, Chief Architect and Distinguished Technologist positions in various startup companies.