Zero Knowledge Virtual Machines Running Rust code inside a Zero Knowledge Proof - Jeremy Bruestle

Zero Knowledge Proofs have a lot of promise for both increasing privacy and scaling by verifying the correctness of off-chain computation. However, the development of traditional circuit based ZKPs is challenging, since the programmer needs to learn new languages, new concepts, and new development tooling. A new class of Zero Knowledge Virtual Machines is attempting to allow ordinary code, such as Solidity or Rust to run inside ZKPs. This talk will describe how such ZKVMs work, including a basic background on ZKPs, arithmetic circuits, permutation arguments, and representations of memory, as well as providing resources for getting started using ZKVMs to implement off chain logic. https://twitter.com/BruestleJeremy Jeremy Bruestle Chief Scientist RISC Zero Jeremy Bruestle is a computer scientist and entrepreneur based in Seattle, WA, specializing in the applications of emgerging research and mathematics to practical problems. His past areas of focus have included cryptograph, computer security, mesh networking, computational biology, and machine learning. More recently, he has been working on the implementation of general purpose Zero Knowledge Proof systems, and in 2021 he co-founded RISC Zero, where he currently serves as Chief Scientist.