ZK důkazy revolučně mění kryptoměny a nafukují ega. Každý tvrdí, že má jediný pravý důkaz, ale aplikace jsou důležitou částí, důkazy jsou nyní komoditou. Také: pokud nový důkaz ZK začíná na 'h' nebo 'hyper', opustili svého starého boha kvůli sum-checku

Sum-check je ZK přístup tak starý, že nikdo na Twitteru netvrdí, že ho vynalezl. Justin Thaler si udělal jméno tím, že poukázal na to, že je to vlastně užitečné. Možná má pravdu ... nebo zakládání nového kultu. Ale projekty přecházejí na sum-check, někdy předstírají, že je to jejich starý vymyšlený bůh...

Dobře, dost alegorií. SNARKy reprezentují programy jako polynomy. Součtová kontrola používá multivariační polynomy, např. P(x,y) = x^2+2y. Ještě matoucí je, že styl pojmenování "h" a "hyper" pochází z polynomů tvořících Booleovu hyperkrychlou. Je to elegantní způsob, jak říct, že každá proměnná je 0 nebo 1.

Představte si to jako počítače: počítače pracují v binárním systému místo v desítce, protože některé běžné operace jsou efektivnější, když jsou rozčleněny po bitech místo po číslici. Sum-check dělá něco velmi podobného pro programy, které prokáže, že jsou splněny.

Jednou z výhod tohoto přístupu, která není unikátní pro součet (viz např. foldovací schémata), je streaming. U mnoha FFT-silných/hash založených důkazních systémů musíte vložit celý výrok, který dokazujete, do paměti. Na drobnosti to funguje dobře, ale Max rychle vydá notebook.

Toto omezení vás omezuje na velké servery, kam musí každý posílat svá data k ověření. Není to moc zajímavé. Je užitečný pro provoz obřího drtiče odpadu (tedy centralizovaného rollupu), ale selhává u soukromí na straně klienta, což je právě to, na co trh (zatím) hledí

Jak jsem říkal, sum-check není jediný způsob streamování. Je tu i skládání. Tvrdá práce vynaložená na tvorbu všech těchto zk schémat je také učinila komoditou. Vyberte si, co potřebujete, a zaměřte se na přihlášky. Neuctívejte systém důkazů ani tým. Interně tým ne.