Full playlist here: [ Ссылка ]

_______

In Module 7, grjte ([ Ссылка ]) from 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: [ Ссылка ]
Miden VM documentation: [ Ссылка ]
Cairo – a Turing-complete STARK-friendly CPU architecture: [ Ссылка ]
RISC Zero documentation: [ Ссылка ]
Consensys paper ‘A specification for a ZK-EVM’ [ Ссылка ]

Lookup Arguments:
Multiset checks in PLONK and Plookup: [ Ссылка ]
The Halo2 Book: lookup argument [ Ссылка ]
plookup: A simplified polynomial protocol for lookup tables: [ Ссылка ]

Tutorial: Building VMs Using STARKs
BrainSTARK: [ Ссылка ]

Videos on the history and design of zk(E)VM :
TinyRAM by Madars Virza: [ Ссылка ]
zkEVM: History and Design by Alex Gluchowski (zkSync): [ Ссылка ]
Technical Approach to Polygon ZK-EVM by Jordi Baylina: [ Ссылка ]
zkEVM Circuit Arithmetization by Ye Zhang (Scroll Tech): [ Ссылка ]
Miden VM: a STARK-friendly VM for blockchains by Bobbin Threadbare (Polygon): [ Ссылка ]

___________

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 - [ Ссылка ]

Follow along with the series:
Join the conversation on Discord: [ Ссылка ]
Twitter: [ Ссылка ]_
Website: [ Ссылка ]

свернуть