Proofs, Arguments, and ZKPs with Justin Thaler

1

Introduction

00:00 • 3min

2

Streaming Algorithms - What Got You Interested in ZK?

03:06 • 3min

3

What's the History of Snarks?

06:28 • 2min

4

IOPs and PCPs - What's Next?

08:52 • 4min

5

The Montreal in the Winter, What Is It?

12:34 • 2min

6

The Challenges of Writing a Textbook

14:31 • 2min

7

Halo 2

17:00 • 2min

8

Are There Moments When You've Been Working on R One CS?

18:39 • 2min

9

Is Spartan Also a Universal Trusted Setup?

20:30 • 3min

10

Hyperplonk and Hardware Acceleration

23:09 • 3min

11

Is FFTs a Bottleneck in Hardware Acceleration?

25:53 • 3min

12

Hardware Acceleration - Is the Industry Ready for That?

29:00 • 3min

13

Do You Have a Focus on Security?

31:47 • 2min

14

The Tension Between Verification Costs and Security Level

33:23 • 2min

15

How Secure Are These Smart Contracts?

34:59 • 2min

16

Is the Security Level in Stark X Deployed?

36:57 • 4min

17

Is There a Centralization of the Sequencer?

41:13 • 2min

18

FTX

42:45 • 2min

19

96 Bits of Security?

44:24 • 2min

20

Which of the ZK Roll Ups Is Best?

46:46 • 2min

21

Thaler Book Club Study Group

48:39 • 2min

22

Thaler Study Club

50:52 • 2min

23

Finite Fields and Elliptic Curve Groups - What Should I Know?

52:54 • 2min

24

Recursive Composition

54:54 • 2min

25

Is This the Blow Up That Starks Experienced?

57:11 • 2min

26

Using a Special Purpose Snork to Compute a Product Matrix?

59:39 • 3min

27

The Blockchain and the Neural Networks?

01:02:18 • 2min

28

What's Next for Crypto Research?

01:03:49 • 3min