Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Introduction
00:00 • 2min
The Snarks of LirkLab
01:41 • 3min
The Merkle Proof of Replication
04:13 • 2min
The SNARK Project: A Beginner's Guide
06:07 • 3min
Nova: A Blockchain Project
09:17 • 5min
Lisp: A Functional Programming Language
14:05 • 4min
The Connection Between Rust and Lisp
17:53 • 2min
The History of Lirk
20:22 • 3min
The Relationship Between Loom and Nova
23:00 • 2min
Lyric: A Data Language for Formatting Data
25:27 • 3min
How to Define a Programming Language With Its Syntax
28:10 • 4min
How to Interact With a Programming Language
31:42 • 4min
The ZKML Use Case and the Roll Up Smart Contract
35:19 • 3min
The Pros and Cons of Direct Compilation
37:50 • 2min
The Importance of Using Risk Five as a Proof
39:42 • 5min
How to Build a CvLF Bridge on a Blockchain
44:28 • 3min
The Future of Proofs
47:24 • 3min
The Future of Programming in Python
50:45 • 3min
The LERC Ecosystem and the Stack
53:58 • 5min
The Future of LERC
58:50 • 1min
The Future of LERC
01:00:12 • 4min