7 Dec. 2021, 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 Superoptimization of Smart Contracts.
7 Dec. 2021, 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 formal Methods in Zero-Knowledge Protocols.