Exploring Lurk: a New Language for Recursive zk-SNARKs

1

Introduction

00:00 • 2min

2

The Snarks of LirkLab

01:41 • 3min

3

The Merkle Proof of Replication

04:13 • 2min

4

The SNARK Project: A Beginner's Guide

06:07 • 3min

5

Nova: A Blockchain Project

09:17 • 5min

6

Lisp: A Functional Programming Language

14:05 • 4min

7

The Connection Between Rust and Lisp

17:53 • 2min

8

The History of Lirk

20:22 • 3min

9

The Relationship Between Loom and Nova

23:00 • 2min

10

Lyric: A Data Language for Formatting Data

25:27 • 3min

11

How to Define a Programming Language With Its Syntax

28:10 • 4min

12

How to Interact With a Programming Language

31:42 • 4min

13

The ZKML Use Case and the Roll Up Smart Contract

35:19 • 3min

14

The Pros and Cons of Direct Compilation

37:50 • 2min

15

The Importance of Using Risk Five as a Proof

39:42 • 5min

16

How to Build a CvLF Bridge on a Blockchain

44:28 • 3min

17

The Future of Proofs

47:24 • 3min

18

The Future of Programming in Python

50:45 • 3min

19

The LERC Ecosystem and the Stack

53:58 • 5min

20

The Future of LERC

58:50 • 1min

21

The Future of LERC

01:00:12 • 4min