Attack of the 20 page appendix

Topics in this episode

• Papers with long appendices

  Lúcás Meier @cronokirby

  Half this paper is in the appendix lol

  

• Adding a boolean circuit backend to LLVM

  Lúcás Meier @cronokirby

  LLVM boolean circuit backend sounds like a promising approach.

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

  Lúcás Meier @cronokirby

  If you want to reduce the overall proving time, STARK -> SNARK composition is interesting. MPCith -> SNARK is interesting if you want to minimize user proof generation time, although overall proving time is larger.

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.