1/13 Eine neue Umfrage von @SuccinctJT: Das Sum-Check-Protokoll ist die Grundlage für alle schnellen SNARK-Prover. Die zentrale These: Die Prover-Zeit wird dominiert von (1) den Kosten für das Commitment und (2) der Tatsache, dass die Beweisdaten gut strukturiert sind. Sum-Check minimiert beides, wenn es richtig verwendet wird. 🧵