Le prove ZK stanno rivoluzionando la crypto e gonfiando gli ego. Tutti affermano di avere il vero sistema di prova, ma le applicazioni sono la parte importante, le prove ora sono una merce. Inoltre: se la nuova prova zk di un'azienda inizia con 'h' o 'hyper', hanno abbandonato il loro vecchio dio per il sum-check.

Il sum-check è un approccio ZK così vecchio che nessuno è su Twitter per affermare di averlo inventato. Justin Thaler si è fatto un nome sottolineando che in realtà è utile. Potrebbe avere ragione... o formare un nuovo culto. Ma i progetti passano al sum-check, a volte fingendo che sia il loro vecchio dio inventato...

Va bene, basta allegorie. SNARK rappresenta programmi come polinomi. La somma di controllo utilizza polinomi multivariati, ad esempio, P(x,y) = x^2+2y. In modo più confuso, lo stile di denominazione "h" e "iper" deriva dai polinomi che formano un ipercubo booleano. Un modo elegante per dire che ogni variabile è 0 o 1.

Pensalo come i computer: i computer operano in binario piuttosto che in base-10 perché alcune operazioni comuni sono più efficienti quando vengono scomposte bit per bit invece che cifra per cifra. Il controllo della somma fa qualcosa di molto simile per i programmi che dimostra essere soddisfatti.

Un vantaggio di questo approccio, non unico al sum-check (vedi ad esempio, schemi di folding), è lo streaming. Per molti sistemi di prova basati su FFT/hash, è necessario inserire l'intera affermazione che si sta dimostrando nella memoria. Funziona bene per cose piccole, ma riempie rapidamente un laptop.

Questa limitazione ti costringe a utilizzare grandi server a cui tutti devono inviare i propri dati per la prova. Non è molto Zk da parte loro. È utile per gestire un enorme compattatore di rifiuti (ehm, intendo, un rollup centralizzato), ma fallisce per quanto riguarda la privacy lato client, che è dove il mercato sta guardando (per ora)

Come ho detto, il sum-check non è l'unico schema di streaming. C'è anche il folding. Il duro lavoro che è stato fatto per creare tutti questi schemi zk li ha resi anche una merce. Scegli ciò di cui hai bisogno e concentrati sulle applicazioni. Non adorare un sistema di prova o un team. Internamente, il team non...