Zero Knowledge

Exploring RISC Zero with Brian Retford and Jeremy Bruestle

14 snips
Oct 26, 2022
Ask episode
Chapters
Transcript
Episode notes
1
Introduction
00:00 • 2min
2
Risk Zero - Brian Redford and Jeremy Bristol
02:20 • 3min
3
Is There a Barrier to Innovation in Decentralized Computing?
05:25 • 2min
4
Is There a Future for Cryptocurrency?
07:09 • 2min
5
Was It the ZK Part That Dragged You In?
08:40 • 3min
6
Zero Knowledge Proof Systems - What Was the Starting Point?
11:19 • 2min
7
ZKVMs
12:59 • 2min
8
How to Build a DSL and Use MIR to Compile Machine Learning Circuits?
14:36 • 2min
9
Using Zero-Knowledge Proofs
16:29 • 2min
10
Risk Zero, Risk V, Risk Five, Is That Risk Zero Knowledge?
18:03 • 2min
11
X86 Is the Most Notorious Sisk, Right?
19:36 • 2min
12
Zk-Evm
21:34 • 2min
13
X86 Emulator on Top of Risk Five
23:05 • 2min
14
ZK VMs - Privacy or Scaling?
24:42 • 2min
15
ZKVM - What Data Is Public and What Data Is Public?
26:44 • 2min
16
ZKVM
28:29 • 2min
17
How Do You Abstract Memory in a ZK VM?
30:23 • 2min
18
ZKVM
32:37 • 2min
19
ZKVMs - Is Starks Really a Part of the Operating System?
34:21 • 2min
20
Starks - Air Representation
35:54 • 3min
21
Why Do L One's Not Scale Well?
38:35 • 3min
22
Is There a ZK in the ZKVM?
41:08 • 2min
23
Ethereum
43:12 • 2min
24
ZK - Cloud 2.0 - What's Next?
44:47 • 2min
25
The GPU Accelerated Back End for Scaling
46:58 • 2min
26
How Many Cycles Per Second Does Your CPU Run At?
49:05 • 2min
27
Is There a Cool New Hot Off the Press?
51:01 • 2min
28
Recursion and Acceleration
52:38 • 2min
29
How to Accelerate ZK Proving?
54:15 • 2min
30
Acceleration in Recursion
55:46 • 3min
31
Is This a DSL?
58:20 • 2min
32
Is It a Standard Call or a Generic Call?
59:55 • 2min
33
ZKVM, Is It Going to Be Connected to Other Networks?
01:01:33 • 2min
34
Risk Zero - What's Next?
01:03:27 • 3min