ZK9: Lurk: Lambda the Ultimate Recursive Knowledge - François Garillot (Protocol|Lurk Labs)
ZK9: zkTree a zk recursion tree with ZKP membership proofs – Sai Deng (Polymer Labs)
Episode 281 - Exploring Lurk: a New Language for Recursive zk-SNARKs
ZK9: Taiga - a dark forest for composable private applications - Yulia Khalniyazova (Anoma)
Introduction to Lurk: a Turing-Complete Language for Recursive zk-SNARKs - Chhi'mèd Künzang
Nova: High-speed recursive zero-knowledge arguments - Srinath Setty
ZK9: Scaling Trustless DNN Inference with ZK-SNARKs to GPT, ResNet, and more – Daniel Kang (UIUC)
Chhi’mèd Künzang, Protocol Labs | Turning Complete Expression Evaluation for Recursive SNARKs
ZK9: Bridging blockchains Foreign field arithmetics – Anaïs Querol and Joseph Spadavecchia
ZK10: Lurk: From zkDSLs to zkGPLs - John Burnham
Lambda: The Ultimate GOTO
zkStudyClub: Supernova (Srinath Setty - MS Research)
Big Data Romandie meetup - Spark Streaming: Dealing with State, by François Garillot
ZK Paris: Panel on Scaling with Tracy, Zac W, grjte, Marcello B, and Toghrul
ZK8: Fantastic Beasts: unfolding ZK hardware - Omer Shlomovits - Ingonyama
Mechanized proof for the Libra block chain
ZK8: The power of multiset checks in STARK-based VMs - grjte - Polygon Miden
DeepLearning4J and Spark: Successes and Challenges - François Garillot
ZK7: Pairings in a SNARK - Youssef El Housni - ConsenSys
Mobility Insights at Swisscom: Understanding Collective Mobility in Switzerland (Francois Garillot)
zkStudy zero to hero - 03. R1CS & QAP