Notes from the SNARKonomicon: How to effectively program SNARKs - Izaak Meckler (Coda Protocol) Published 2019-03-27 Download video MP4 360p Recommendations 1:16:35 zkStudyClub - LatticeFold: Lattice Folding Schemes (Binyi Chen) 28:25 ZK11: Compiling to ZKVMs - Alberto Centelles 16:06 ZK11: MPC-Enabled Proof Markets - Daniel Kales 15:32 ZK11: Proteus: Proof of Transformation for AI Provenance - Daniel Bessonov & Rohan Sanjay 51:22 Episode 327 - Proof Aggregation with Shumo and Yi from NEBRA 58:30 ZK11: Insights from and on Taxonomy of ZKP Vulnerabilities - Gyumin Roh 59:30 ZK11: Securing Tomorrow: A Deep Dive into ZK for Automated Regulatory Compliance - Maya Krasovsky 1:03:44 zkStudyClub: Accumulation w/o Homomorphism (Wilson Nguyen - Stanford, William Wang - NYU) 1:00:01 ZK11: Let's Build Something Impossible Using Multi-Party FHE - Janmajaya Mall 3:50:43 Complete Dynamic Programming Practice - Noob to Expert | Topic Stream 1 26:00 Cool features of Object Pascal and Delphi 50:47 ZK11: zkPassport: Secure and Private Identity Using Your ePassport - Michael Elliot & Derya Karli 1:23:58 Episode 322 - Definitions, Security and Sumcheck in ZK Systems with Justin Thaler 58:48 zkStudyClub - Reef: Fast ZK Regex Proofs (Eli Margolin, Jess Woods, Lef Ioannidis: UPenn) 14:33 NEVER lose dotfiles again with GNU Stow 1:00:30 Episode 321 - STIR with Gal Arnon & Giacomo Fenzi 3:53:49 Let's build iOS 16 in React Native 🤔 59:09 Episode 325 - Web Proofs with Tracy from Pluto 11:15 Every Weird Math Paradox Similar videos 21:13 Coda Protocol: Using ZK-SNARKs for a Constant-Size Blockchain at Zcon0 (2018) by Izaak Meckler 27:53 Notes from the SNARKonomicon: Techniques for Writing SNARK Programs - Izaak Mekler, O(1) Labs 10:02 Coda Protocol - Using zk-SNARKs to create a succinct blockchain 54:28 Izaak Meckler - Snarky: Algebraic effects in the Coda cryptocurrency - λC 2018 46:04 Coda Protocol: Using zk-SNARKs For A Constant-Size Blockchain 35:42 hack.summit("blockchain") 2018 -- Izaak Meckler -- co-founder and CTO, Coda Protocol 1:04:56 zkStudyClub: Izaak Meckler o1Labs - Pickles 22:53 SFBW19 - Codaboros Compact Proof of Stake Consensus - Izaak Meckler 51:50 ZKPodcast: Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs 25:09 The Next 700 ZKP Programming Languages - Izaak Meckler 06:48 Review of platform CODA 12:13 Coda Protocol Is A Blockchain Light Enough For A Phone 52:10 ZKPodcast: Digging into recursive zkSNARKs with Coda 27:57 MIT Bitcoin Expo 2019 - A Guided Tour Through the World of Snarks 1:01:03 ZKPodcast: Snapps on Mina with Emre and Izaak 1:00:47 Zero Knowledge Summit #3 - Part 2 08:15 Coda Protocol ICO review in Russian. Обзор ICO проекта Coda Protocol 19:46 ETHParis: SNARKs vs SONICS 25:03 Zero-knowledge Interoperability with zkInterface - Aurélien Nicolas (QED-it, zkproof.org) More results