Demonstrațiile ZK revoluționează criptomonedele și umflă ego-urile. Toată lumea pretinde că are un singur sistem adevărat de demonstrații, dar aplicațiile sunt partea importantă, demonstrațiile fiind acum o marfă. De asemenea: dacă noua demonstrație zk a unei companii începe cu 'h' sau 'hyper', aceștia și-au abandonat vechiul zeu pentru a verifica sumele

Sum-check este o abordare ZK atât de veche încât nimeni nu mai este pe Twitter să susțină că ei au inventat-o. Justin Thaler și-a făcut numele subliniind că este de fapt util. S-ar putea să aibă dreptate ... sau formarea unui nou cult. Dar proiectele trec la sum-check, uneori prefăcându-se că este vechiul lor zeu inventat...

Bine, destul cu alegoriile. SNARK-urile reprezintă programele ca polinoame. Verificarea sumei folosește polinoame multivariate, de exemplu, P(x,y) = x^2+2y. Mai confuz, stilul de denumire "h" și "hyper" provine din polinoamele care formează un hipercub boolean. O modalitate sofisticată de a spune că fiecare variabilă este 0 sau 1.

Gândește-te la asta ca la calculatoare: calculatoarele funcționează în binar, nu în baza 10, deoarece unele operații comune sunt mai eficiente când sunt descompuse bit cu bit, nu cifră cu cifră. Sum-check face ceva foarte similar pentru programele pe care dovedește că sunt satisfăcute.

Un avantaj al acestei abordări, care nu este unic pentru sum-check (vezi, de exemplu, schemele de pliere), este streaming-ul. Pentru multe sisteme de demonstrație bazate pe FFT/hash, trebuie să încapă întreaga afirmație pe care o demonstrezi în memorie. Funcționează bine pentru lucruri mici, dar maximul iese rapid din laptop.

Această constrângere te limitează la servere mari la care toată lumea trebuie să trimită datele pentru demonstrare. Nu prea Zk din partea lor. Este util pentru a rula un compactor uriaș de gunoi (adică, centralizat rollup), dar eșuează pentru confidențialitatea clientului, care este direcția în care piața caută (deocamdată).

Așa cum am spus, sum-check nu este singura schemă de streaming. Există și pliere. Munca grea depusă în realizarea tuturor acestor scheme zk le-a făcut și ele o marfă. Alege ce ai nevoie și concentrează-te pe aplicații. Nu venera un sistem de demonstrații sau o echipă. În interior, echipa nu