Hi guys, Welcome to the Advanced Video Search Engine, and you are watching ZK Whiteboard Sessions – Module Seven: Zero Knowledge Virtual Machines (zkVM) with grjte. That video is uploaded by Zero Knowledge at 2022-08-30T10:16:28-07:00. We are promoting this video only for entertainment and educational purpose only. So, I hope you like & enjoy it. [GRFPGJW0hic]
| Name | ZK Whiteboard Sessions – Module Seven: Zero Knowledge Virtual Machines (zkVM) with grjte |
| Video Uploader | Video From Zero Knowledge |
| Upload Date | This Video Uploaded At 30-08-2022 17:16:28 |
| Video Discription | Full playlist here: https://www.youtube.com/playlist?list=PLj80z0cJm8QErn3akRcqvxUsyXWC81OGq _______ In Module 7, grjte (https://twitter.com/grjte) from Polygon Miden (https://polygon.technology/solutions/polygon-miden/) joins us to chat about how we build zero knowledge virtual machines from zero knowledge proofs. She explores how Miden navigates different design choices, how individual components work, and the building blocks of zkVM that make it work. What you’ll learn: 0:28 Definition of zkVM 4:48 "ASIC" vs "CPU" approach to arbitrary computation in zk 8:01 History of zkVM 9:12 Building blocks that zkVMs share 21:34 Summary of general zkVM design model 23:42 Design considerations for zk VMs 26:54 Handling program initialization 32:25 Applying constraints selectively 38:42 Control flow & program decoding 50:41 Connecting trace segments via lookups Below is an accompanying reading list: Documentation & Papers on Zero Knowledge Virtual Machines: Miden VM announcement: https://ethresear.ch/t/miden-vm-v0-2-new-vm-architecture-for-a-zk-rollup/13405 Miden VM documentation: https://maticnetwork.github.io/miden/intro/main.html Cairo – a Turing-complete STARK-friendly CPU architecture: https://eprint.iacr.org/2021/1063 RISC Zero documentation: https://www.risczero.com/docs/explainers/zkvm/what_is_risc_zero Consensys paper ‘A specification for a ZK-EVM’ https://ethresear.ch/uploads/short-url/3DM8kjFfIG6PHXu4qpYpmujXgme.pdf Lookup Arguments: Multiset checks in PLONK and Plookup: https://hackmd.io/@arielg/ByFgSDA7D The Halo2 Book: lookup argument https://zcash.github.io/halo2/design/proving-system/lookup.html plookup: A simplified polynomial protocol for lookup tables: https://eprint.iacr.org/2020/315.pdf Tutorial: Building VMs Using STARKs BrainSTARK: https://aszepieniec.github.io/stark-brainfuck/ Videos on the history and design of zk(E)VM : TinyRAM by Madars Virza: https://www.youtube.com/watch?v=nS3smRAfUd8 zkEVM: History and Design by Alex Gluchowski (zkSync): https://www.youtube.com/watch?v=6wLSkpIHXM8 Technical Approach to Polygon ZK-EVM by Jordi Baylina: https://www.youtube.com/watch?v=17d5DG6L2nw zkEVM Circuit Arithmetization by Ye Zhang (Scroll Tech): https://www.youtube.com/watch?v=DT8g3veR17k Miden VM: a STARK-friendly VM for blockchains by Bobbin Threadbare (Polygon): https://www.youtube.com/watch?v=81UAaiIgIYA ___________ ZK Whiteboard Sessions is a weekly video educational series focused on the building blocks of ZK. Produced by ZK Hack and powered by Polygon. Add your email to our mailing list to be notified - https://whiteboard.zkhack.dev Follow along with the series: Join the conversation on Discord: https://discord.com/invite/tHXyEbEqVN Twitter: https://twitter.com/_zkhack_ Website: https://zkhack.dev/whiteboard GRFPGJW0hic |
| Category | Science & Technology |
| Tags | Blockchain | zero knowledge | tech education | podcast | zktech | cryptography |
