CK's Cold Dive
CK's Cold Dive
Ok Algebraic Automaton

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.

CK's Cold Dive
CK's Cold Dive
Musings about cryptography, software, and technology
Listen on
Substack App
RSS Feed
Email mobile setup link
Appears in episode