7. dec. 2021, kl. 15.00-15.45 COPLAS: Albert, Superoptimization of (Optimized) Smart Contracts On 7 December, Elvira Albert, Complutense University of Madrid, Spain, will give a talk about the…
7. dec. 2021, kl. 15.45-16.30 COPLAS: Rubio, Formal Methods in Zero-Knowledge Protocols: Challenges in the circom Programming Language On 7 December, Albert Rubio, Complutense University of Madrid, Spain, will give a COPLAS talk about…
