Halo 2 with Daira Hopwood and Str4d

1

Introduction

00:00 • 2min

2

Z K Summit - Zero Knowledge Summit

02:20 • 2min

3

ZK Summit, Zero Knowledge Focus Conference

03:54 • 2min

4

Z Cash Postica Pecification A

05:39 • 2min

5

A Brief History of Zero Knowledge Proof Secretariat

07:48 • 3min

6

The Deadlines - Episode Zero

11:00 • 2min

7

Is That the Dot Product?

12:52 • 3min

8

Optimisation of the Oracle Proof

16:10 • 5min

9

Recursive Proofs of Cryptocurrency

21:17 • 2min

10

Recursion Threshold Points

23:39 • 2min

11

Recursion - Is There a Recursive Proof?

25:46 • 2min

12

Do You Have a Separate Inerpo Argument?

27:39 • 2min

13

How to Do a Recursive Proof System

29:17 • 3min

14

Halo

32:15 • 2min

15

Using the Inner Product Argument in the Verification Circuit in Alagrhythmic Time?

33:53 • 4min

16

What's the Difference Between Halo and Halo Two?

37:38 • 2min

17

Plunk Style Arithmetization

39:36 • 2min

18

Plank vs. Onces - What's the Biggest Difference?

41:13 • 3min

19

Do You Use Look Up Tables?

43:47 • 2min

20

Using a Look Up Table in Multiple Look Ups

45:24 • 2min

21

Was It Like Halo, Great, Were Just Going to Start Again?

47:29 • 2min

22

Plunk Arithmetization - A Traditional Method

49:27 • 3min

23

Is There a Zero Knowledge Bug?

52:08 • 6min

24

Using Compiler in the Building of a Circuit?

57:54 • 2min

25

Do You Have a Ds? Or a Bellman?

01:00:15 • 2min

26

Optimisation

01:02:29 • 4min

27

Is Halo to Replacing Grot Sixtein?

01:06:34 • 2min

28

Is There Still a Sapling Pool?

01:08:25 • 2min

29

Orchard Li Upgrade

01:10:33 • 3min

30

The Dive Into Halo

01:13:23 • 2min