Keynote: Linear-Time SNARKs for R1CS and Friends - Justin Thaler (Georgetown)
Brakedown, linear-time encodable codes and SNARKs with Justin Thaler
ZK10: Varuna: Flexible zkSNARKs for generalized R1CS - Victor Sint Nicolaas
ZKP MOOC Lecture 9: SNARKs based on Linear PCP
Linear-Time Arguments with Sublinear Verification from Tensor Codes
Asiacrypt 2022 Session on Proofs and SNARKs
FC22: On Interactive Oracle Proofs for Boolean R1CS Statements
High-Speed zkSNARKs without Trusted Setup - Srinath Setty
Aurora: Succinct Transparent Arguments for R1CS
ZKP MOOC Lecture 10: Recursive SNARKs
"On Interactive Oracle Proofs for Boolean R1CS Statements" - Emanuele Giunta
What Are Snarks and What Are They Good for? - Dan Boneh
Practical Sublinear Proofs for R1CS from Lattices
Keynote:The Roaring Twenties: Recent Advances in Zero-Knowledge Proofs - Mary Maller (EF)
[7B] Polaris: Transparent Succinct Zero-Knowledge Arguments for R1CS with Efficient Verifier
Zero Knowledge Succinct Arguments with a Linear Time Prover - Jonathan Bootle
zkStudyClub: Gemini - Elastic SNARKs for Diverse Environments (Michele Orrù)
Linear-Time Zero-Knowledge Arguments with Logarithmic Proof-Size
Zk-SNARK - Part 1 - Problem statement to R1CS
An R1CS Based Implementation of Bulletproofs - Cathie Yun, Interstellar
![[7B] Polaris: Transparent Succinct Zero-Knowledge Arguments for R1CS with Efficient Verifier](https://img.youtube.com/vi/61bPghBodX8/0.jpg)
