CK's Cold Dive
CK's Cold Dive
Ok Algebraic Automaton
0:00
-31:13

Ok Algebraic Automaton

What exactly counts as a SNARK? Why do some proof systems need structured computation, and what are its limits? Why are boolean circuits so neat? And more!

Topics covered in this episode:

If you enjoyed this episode, and want to get notified when the next one arrives, feel free to subscribe:

If you want even more updates, feel free to follow me on Twitter.

Discussion about this podcast

CK's Cold Dive
CK's Cold Dive
Musings about cryptography, software, and technology