Stav Beno (starkware) - From Design to Benchmarking: BLAKE Hash AIR for the Stwo Prover
[EthCC] Livestream 6 · 21:12
Tav ("Stu") from StarkWare's AIR design team explains how a computation becomes an AIR (Algebraic Intermediate Representation): an execution trace plus polynomial constraints. She then shows how Stwo's flat AIR design...