Keynote: ZKP Languages - Where We Are Now - Kobi Gurkan (Geometry)
A Zero-Knowledge circuit for the Lurk language - Eduardo Morais (Protocol Labs)
ZKP Workshop Afternoon Session
ZK10: Varuna: Flexible zkSNARKs for generalized R1CS - Victor Sint Nicolaas
OpenZL Talk 3 - A Zero-Knowledge circuit for the Lurk language
Episode 281 - Exploring Lurk: a New Language for Recursive zk-SNARKs
Leo: A Programming Language for Formally Verified, ZK Applications - Howard Wu & Collin Chin
s-26: Invited talk by Eli Ben-Sasson
ZKP Workshop - Morning Session
CS.202 [Spring 2022]: ZKP review + ZKP for disjunctions
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes
Keynote:The Roaring Twenties: Recent Advances in Zero-Knowledge Proofs - Mary Maller (EF)
Using Zero to Attack Zero-Knowledge Proof (ZKP) PLONK
CAV'23 Keynote Ruzica Piskac, Yale University: Privacy-preserving Automated Reasoning
[SLE] Lang-n-Prove: A DSL for Language Proofs
ASE2020: Demystifying Loops in Smart Contracts
DEF CON 25 - Matt Suiche - Porosity A Decompiler For Blockchain Based Smart Contracts Bytecode
ApacheCon@Home 2021: Inside ApacheCon with Rich Bowen
Transparent scalable computational integrity - Eli Ben Sasson, Silicon Valley ethereum meetup
zkSnarks / ZoKrates Tutorial, Learn Vyper | EatTheBlocks newsletter #14
![CS.202 [Spring 2022]: ZKP review + ZKP for disjunctions](https://img.youtube.com/vi/LYduLE6Z9eI/0.jpg)
![[SLE] Lang-n-Prove: A DSL for Language Proofs](https://img.youtube.com/vi/lJ9GCntrokU/0.jpg)
