Credits to 1k(x) for the header image. A big thank you to Alessandro Coglio, Eric McCarthy & Evan Schott for their comments and feedback. Over the last years, theory and tooling to generate zero-knowledge proofs have advanced massively. It is now possible…