1/13 Een nieuwe enquête van @SuccinctJT: het sum-check protocol is de basis voor alle snelle SNARK-provers. De belangrijkste stelling: De tijd van de prover wordt gedomineerd door (1) de kosten van de verbintenis en (2) de bewijsgegevens die goed gevormd zijn. Sum-check, wanneer correct gebruikt, minimaliseert beide. 🧵