High-level programming languages for zkSNARKs, an overview - Harry Roberts (Ethsnarks)
ZK HACK - Introduction to Domain Specific Languages (DSLs) - Alex Ozdemir
ZoKrates - a zkSNARK toolbox - Jacob Eberhardt
Zero Knowledge Summit #3 - Part 2
A ZoKrates Update by Thibaut Schaeffer | Devcon Bogotá
CirC: Compiler infrastructure for proof systems, software verification, and more
What is a Zero Knowledge Circuit | Gem #10
ZKPodcast: The Arkworks SNARK libraries with Pratyush Mishra
ZK-LDN 0x01: Programming zk-SNARKs on Ethereum - Harry Roberts
Explaining Verifiable Compute | + New ZK Framework
ZKP MOOC Lecture 3: Programming ZKPs
zkSessions: Alex Ozdemir - The Taxonomy of Circuit Languages
How does one use a SNARK for something (DSL's/toolsets)
ZKPodcast: Zokrates with Jacob Eberhardt
USENIX Security '25 - SoK: Understanding zk-SNARKs: The Gap Between Research and Practice
The state of the art in zk-snarks: Illium and Lurk
Episode 281 - Exploring Lurk: a New Language for Recursive zk-SNARKs
Scalability with zkSNARKS by Jordi Baylina
Coda Protocol: Using ZK-SNARKs for a Constant-Size Blockchain at Zcon0 (2018) by Izaak Meckler
SNARKs for C: Verifying Program Executions Succinctly an ...
