This was recorded at the ZK11 - Zero Knowledge Summit 11 on April 10th, 2024 in Athens, Greece.

https://www.zksummit.com/

Title: o1VM: Building a Real-World zkVM for MIPSSpeaker:
Speaker: Danny Willems (o1Labs)

Description:
In this talk, we will present o1vm, a general-purpose zkVM which can be used to prove the correct execution of MIPS programs. Learn from Danny Willems, o1Labs cryptography engineer, about the ISA specifics supported by this zkVM, as well as an encoding technique for bitwise operations that was used to efficiently implement standard hash functions with high algebraic complexities like Keccak. Danny will also dive into the implementation of a folding scheme and RAMLookups, our distinctive take on "additive lookups", and how they were leveraged to handle long execution traces and to efficiently represent random-memory access, an expensive component of zkVMs. The talk will also include a short demo and performance metrics from the application of this zkVM in a real-world use case, through our work with Optimism to bring validity proofs to the OP Stack.
Join us in this session where the intricacies of building o1VM are brought to life through innovative crypto techniques and practical applications.

Check out speaker slides here: (https://drive.google.com/drive/folder...)

-----------

If you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK - https://jobsboard.zeroknowledge.fm

------------

If you like what we do:
- Subscribe to our podcast newsletter - https://zeroknowledge.substack.com
- Follow us on Twitter @zeroknowledgefm
- Join us on Telegram - https://zeroknowledge.fm/telegram