Israeli computer scientist and mathematician, professor at Technion.
Co-invented STARKs (Scalable, Transparent Arguments of Knowledge, 2018): zero-knowledge proof systems requiring no trusted setup, relying only on hash functions and information-theoretic security.
Co-founded StarkWare, building STARK-based scaling infrastructure for Ethereum and other blockchains.
STARKs use polynomial IOPs and FRI (Fast Reed-Solomon Interactive Oracle Proofs) for verification in $O(\log^2 n)$ time with $O(1)$ on-chain cost.
His work is foundational to cyber proofs: the protocol uses STARKs over the Goldilocks field for state transitions, recursive composition, and privacy.
Previously contributed to PCP theory (probabilistically checkable proofs), the theoretical ancestor of modern proof systems.