"RISC Zero: General Purpose Zero-Knowledge Computation" (Brian Retford et al.)

Abstract

15 min: Brian Retford – Introduction of ZKVMs and their near-term use cases
20 min: Jeremy Bruestle – Encoding a von Neumann machine in ZK w/ FRI & Plonk
15 min: Tim Carstens – Formally verifying a ZK RISC-V system
remaining time Q & A

Скачать видео