The intuition, security, and math behind the transformation of interactive oracle proofs into non-interactive proofs.
With Alessandro Chiesa (Prof. @ Berkeley, Co-Founder & Chief Scientist @ StarkWare).
Scalable proof systems can have (theoretically) one set of constraints to enforce the computational integrity of any computation. But what's the best way to achieve this? StarkWare's Michael Riabzev (co-founder and Chief Architect), Lior Goldberg (Head of Algebra Research) and Shahar Papini (Engineer) will discuss this issue.