Zero Knowledge

ZK languages with Alex Ozdemir

Mar 17, 2021
Ask episode
Chapters
Transcript
Episode notes
1
Introduction
00:00 • 2min
2
A Conversation With Alex Ozdimir About ZK Languages
02:10 • 3min
3
The ZK Language Map
04:41 • 2min
4
The Core Problem for Zero Knowledge
06:54 • 2min
5
Is That Where the Cryptography Comes In?
09:24 • 2min
6
What's the Beginning of the Language Story?
11:24 • 2min
7
Libs Narc - Is That a Language?
13:48 • 4min
8
Is There a Better Language for Building Circuits?
17:46 • 4min
9
CIRCOM - Hardware Description Language
22:08 • 2min
10
Compiler to Circuits
23:39 • 3min
11
Zocrities
27:04 • 2min
12
Zocrates Compiler
29:11 • 5min
13
Zinc, the Matter Labs Language?
34:06 • 2min
14
XCH Snork Implementation of Large Integers
35:51 • 3min
15
Leo, What's the Difference Between Starks and Starkware?
38:23 • 3min
16
Is There a Difference Between Memory and Compilation?
41:24 • 2min
17
Libsnark, Spartan, Redshift, and All of the Proof Systems
42:56 • 2min
18
Is R1CS a Part of the R2C World?
45:02 • 2min
19
Polynomial Commitments - Are They Connected to Complexity Theory?
47:31 • 2min
20
Is There a Top to Bottom Stack for Cryptography?
49:56 • 4min
21
Are There Any Other Differentiators for Programming SNARKs?
53:50 • 2min
22
LLVM Compiler Infrastructure for Compiling Languages
55:42 • 2min
23
ZK Study Club on Cersei
57:40 • 2min