Oggi ho letto un ottimo eli5 sui zk proofs: - L'idea alla base dei zk è che non è necessario conoscere i dati reali per verificare che soddisfino determinati requisiti. - Ad esempio, se c'è una porta con una password, non devo dirti la password. Posso semplicemente mostrarti che posso aprire la porta e quella è la prova che conosco la password. Questo è fondamentalmente ciò che è una prova a conoscenza zero. Ciò che Succinct fa con zk è che può creare una prova zk di praticamente qualsiasi cosa. Ad esempio: - Potrei usare Succinct per dimostrare di avere più di 18 anni (o 21) senza rivelare la mia data di nascita. - Potrei usare Succinct per dimostrare di vivere in un paese che non è soggetto a restrizioni senza rivelare le informazioni del mio passaporto. - O anche più semplicemente, come posso dimostrare che 3 numeri nascosti sommano a 42. Oggi, il più grande caso d'uso di pmf per zk è la blockchain, e la blockchain ha un grande bisogno di zk. I più grandi clienti di Succinct (oltre 35 protocolli) usano zk per trasformare enormi computazioni, come l'esecuzione di migliaia di tx di un blocco su un rollup, in prove piccolissime e verificabili in millisecondi. Una prova zk estremamente piccola prodotta da Succinct è sufficiente per un'intera catena/rollup con miliardi di TVL per concludere che "questo blocco è stato eseguito secondo le regole." Questa è la potenza di Succinct.