Topics covered in this episode:

* 1:00 ZK Proofs + MPC in the head recap.

* 2:57 Boolean circuits and their representations

* 14:11 Why WASM is an interesting bytecode, and thoughts on compiling WASM to circuits.

* 19:40 A few thoughts on my Rem-Boo project

* Rem-Boo: https://github.com/cronokirby/rem-boo

* Reverie (not by me, but mentioned here): https://github.com/trailofbits/reverie/

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.

This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit cronokirby.substack.com