Video: Complier and Composability in ZKP with Izaak Meckler (snarkyJS)

A big part of the tech behind Mina Protocol relies on Zero Knowledge Proofs (zk-snarks) and while the concepts have been around since the 80’s, their importance in shaping the next generation of blockchains is becoming more clear.

In this YouTube session by Delendum Ventures, Shashank Agrawal introduces a great panel of speakers from several ecosystems in ZKP to present their perspectives on the compilers including Mina Ecosystem partner, O(1) Labs‘s CTO Izaak Meckler. If you want to skip ahead you can watch Izaak’s talk on ‘Composability via Typescript and Recursion via snarkyJS’ from around the 33minute mark.

00:00 – Introduction
01:35 – Bobbin Threadbare: Feeding Program Source Code to ZK VMs
19:03 – Brian Retford: Towards a Unified Compilation Framework for Zero Knowledge
33:09 – Izaak Meckler: Composability via Typescript and Recursion
48:56 – Albert Rubio: Circom 2.0: A Scalable Circuit Compiler

1:06:50 – Panel Discussion ———————————————-
Speaker List & Topics Bobbin Threadbare (Founder of Polygon Miden) || Feeding Program Source Code to ZK VMs Brian Retford (Co-founder & CEO of Risc0) || Towards a Unified Compilation Framework for Zero Knowledge Albert Rubio (Professor at UCM, Circom Development Leader & Iden3 Collaborator) || Circom 2.0: A Scalable Circuit Compiler Izaak Meckler (Co-founder & CTO of O(1) Labs) || Composability via Typescript and Recursion Moderator: Shashank Agrawal