
Aug 17, 2022 • 31M
MPC In The Head 2: Thoughts About Rem-Boo
On boolean circuits and their various representations. Why WASM is an interesting ZK proof bytecode. Chunky vs SIMD operations, and more!
Musings about cryptography, software, and technology
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
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.