ZK-LDN 0x01: Designing efficient R1CS circuits - Daira Hopwood
Aurora: Succinct Transparent Arguments for R1CS
[ZK Meetup Seoul] [ECC X ZKS] Deep dive on Halo2
Aurora: Transparent Succinct Arguments for R1CS - Alessandro Chiesa
"On Interactive Oracle Proofs for Boolean R1CS Statements" - Emanuele Giunta
Security of ZK Systems
Aurora: Transparent Sucinct Arguments for R1CS - Nick Spooner and Dev Ojha, UC Berkeley
ZK-LDN 0x04: On Marlin and PLONK
Zk-SNARK part 2 - R1CS to QAP
Sonic: zk-SNARKs from Linear Sized Universal and Updatable SRS's
'The Evolution of Circuit Languages' - Alex Ozdemir
ZK-TLV 0x02 Meetup: Universal Circuits for SNARKs by Daniel Benarroch, QED-it Lead Cryptographer
An R1CS Based Implementation of Bulletproofs - Cathie Yun, Interstellar
SNARK Research & Pedagogy with Alessandro Chiesa
ETHSantiago[03]: ZkSnark in a nutshell
Nova relaxed R1CS and it’s implementation [CN]
Episode 234 - zkEVM with Scroll’s Ye Zhang and Haichen Shen
MINA: Using zk-SNARKs to bring verfiable computation to crypto
Keynote: Linear-Time SNARKs for R1CS and Friends - Justin Thaler (Georgetown)
USENIX Security '20 - MIRAGE: Succinct Arguments for Randomized Algorithms with Applications
![[ZK Meetup Seoul] [ECC X ZKS] Deep dive on Halo2](https://img.youtube.com/vi/YlTt12s7vGE/0.jpg)
![ETHSantiago[03]: ZkSnark in a nutshell](https://img.youtube.com/vi/XsKdtMvymSo/0.jpg)
![Nova relaxed R1CS and it’s implementation [CN]](https://img.youtube.com/vi/7Zs_Y-wVrP0/0.jpg)
