ZK-proofs revolutioneren crypto en blazen ego's op. Iedereen beweert het enige echte proof-systeem te hebben, maar toepassingen zijn het belangrijke onderdeel, proofs zijn nu een commodity. Ook: als de nieuwe zk proof van een bedrijf begint met 'h' of 'hyper', hebben ze hun oude god verlaten voor sum-check

Sum-check is een ZK-benadering zo oud dat niemand op Twitter beweert dat zij het hebben uitgevonden. Justin Thaler heeft zijn naam gemaakt door erop te wijzen dat het eigenlijk nuttig is. Hij zou gelijk kunnen hebben ... of een nieuwe cultus vormen. Maar projecten schakelen over naar sum-check, soms doen ze alsof het hun oude uitgevonden god is...

Oké, genoeg allegorieën. SNARKs vertegenwoordigen programma's als polynomen. De som-controle gebruikt multivariate polynomen, bijv. P(x,y) = x^2+2y. Verwarend genoeg komt de "h" en "hyper" naamgeving van de polynomen die een Booleaanse hyperkubus vormen. Een chique manier om te zeggen dat elke variabele 0 of 1 is.

Denk eraan als computers: computers werken in binaire code in plaats van in decimale code omdat sommige veelvoorkomende bewerkingen efficiënter zijn wanneer ze bit voor bit worden ontleed in plaats van cijfer voor cijfer. Som-controle doet iets heel vergelijkbaars voor programma's waarvan bewezen is dat ze voldoen.

Een voordeel van deze aanpak, niet uniek voor sum-check (zie bijvoorbeeld vouwschema's), is streaming. Voor veel FFT-zware/hash-gebaseerde bewijs systemen moet je de hele verklaring die je bewijst in het geheugen passen. Werkt prima voor kleine dingen, maar max't snel een laptop uit.

Deze beperking dwingt je om grote servers te gebruiken waar iedereen zijn gegevens naartoe moet sturen voor verificatie. Niet erg Zk van hen. Het is nuttig voor het draaien van een enorme afvalpers (eh, ik bedoel, gecentraliseerde rollup), maar het faalt op het gebied van privacy aan de klantzijde, wat is waar de markt naar kijkt (voor nu)

Zoals ik al zei, is sum-check niet het enige streaming schema. Er is ook folding. Het harde werk dat is gestoken in het maken van al deze zk-schema's heeft ze ook tot een commodity gemaakt. Kies wat je nodig hebt en concentreer je op toepassingen. Vereer geen bewijs systeem of team. Intern, het team doet niet