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

Disclaimer
We are not qualified brokers/dealers, or investment advisors. This website and its associated content is not a service for the giving or receiving of financial or investment advice. None of the content constitutes – or should be understood as constituting – a recommendation to enter in any securities, cryptocurrency, or cryptoasset transactions or to engage in any of the investment strategies presented in my discussions or content provided. We do not provide personalised recommendations or views as to whether a stock, cryptocurrency, cryptoasset or investment approach is suited to the financial needs of a specific individual.