Back to all Resources
STARK @ Home XV: Shrinking Proofs via Cryptographic Sampling

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).

STARK @ Home XIV: One STARK to Rule Them All

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.