MPC In The Head 2: Thoughts About Rem-Boo

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.