Topics in this episode

* Papers with long appendices

* Adding a boolean circuit backend to LLVM

* Composing STARKs with SNARKs, and how this compares to MPC in the head

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