Apr
16
4:00pm
Hot AIR*: Programming for Succinct ZKPs
By STARK @ Home
In this informal webinar we'll discuss how to write programs (and circuits) as systems of polynomial constraints, including R1CS and AIR systems. While prior knowledge is not needed, my previous webinar can help.
* AIR stands for Algebraic Intermediate Representation
** R1CS stands for Rank-1 (quadratic) Constraint System
(Cover Photo by Matan Levanon from Pexels)
hosted by
SH
STARK @ Home
share