An R1CS Based Implementation of Bulletproofs - Cathie Yun, Interstellar
ZK Study Club - Bulletproof implementation with Oleg Andreev
ZK-LDN 0x01: Designing efficient R1CS circuits - Daira Hopwood
Nomadic Labs Research Seminars #21 | Formal Verification of JubJub R1CS Gadgets
ZK10: Varuna: Flexible zkSNARKs for generalized R1CS - Victor Sint Nicolaas
Aurora: Transparent Succinct Arguments for R1CS - Alessandro Chiesa
Cathie Yun on Bulletproofs: Short Proofs for Confidential Transactions and More [PWL SF] 3/2018
Keynote: Linear-Time SNARKs for R1CS and Friends - Justin Thaler (Georgetown)
Building, and building on, Bulletproofs - Henry de Valence & Cathie Yun
Nova relaxed R1CS and it’s implementation [CN]
Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General
Aurora: Succinct Transparent Arguments for R1CS
FC22: On Interactive Oracle Proofs for Boolean R1CS Statements
Bulletproofs: Short Proofs for Confidential Transactions and More
Cathie Yun - Implementing a Zero Knowledge Proof - DEF CON 27 Crypto and Privacy Village
Aurora: Transparent Sucinct Arguments for R1CS - Nick Spooner and Dev Ojha, UC Berkeley
SNARK Research & Pedagogy with Alessandro Chiesa
SNARKs and their Practical Applications
zkSummit - State of the SNARG-scape - Alessandro Chiesa (UC Berkeley, StarkWare, Zcash)
Zk-SNARK - Part 1 - Problem statement to R1CS