STARK @ Home

22.10.20

One STARK to Rule Them All –  with Michael Riabzev, Lior Goldberg, and Shahar Papini.

Scalable proof systems can (theoretically) have one set of constraints to enforce the computational integrity of any computation. But what’s the best way to achieve this? We will be discussing it this week.