ZK7: Pairings in a SNARK - Youssef El Housni - ConsenSys
ZK7: Verifying STARKs with SNARKs - Jordi Baylina – Polygon Hermez
Elliptic curve pairings - verifying snarks on starks - Tech stage
zkSummit: Inner Pairing Product Arguments and Applications - Psi Vesely (UC Berkeley)
ZK7: A Lightning-fast Poseidon Implementation - Jakub Nabaglo - Polygon Zero
Aurora: Succinct Transparent Arguments for R1CS
Optimized and Secure Pairing-Friendly Elliptic Curves Suitable for One Layer Proof Composition
ZK7: Accountable light clients via BLS multisignature rollup - Alistair Stewart - Web3 Foundation
ZK7: zkEVM circuit arithmetization - Ye Zhang - Scroll Tech
ZK HACK - zkSNARKs from Polynomial Commitments - Pratyush Mishra
HyperPlonk - Zhenfei Zhang
Efficient Constructions of Pairing Based Accumulators
Weikeng Chen, Application Specific Proof Systems
zkStudyClub: Sean Bowe on “Halo and Accumulation Schemes”
02 ZK Circuits for Elliptic Curve Operations in halo2
O(1) Labs Presents Snarky, a DSL for Writing SNARKs
Plonk - The Setup
How does PLONK work? Part 10: The Kate polynomial commitment scheme
zkSessions: Jordi Baylina on Circom
The Future of PlonK ish System
