Da 0 a ZK Concept Bites #5: Succinctness Nel nostro ultimo Concept Bite, abbiamo parlato di quando la proprietà "zero knowledge" è realmente importante per la privacy. Ma la privacy è solo uno dei due superpoteri di ZK. L'altro, la succinctness, è quello che Brevis utilizza in quasi ogni integrazione che spediamo. 🚀 La succinctness significa che una prova è drammaticamente più piccola rispetto al calcolo che dimostra. Elabora 100.000 transazioni e la prova risultante è di pochi kilobyte. Verifica l'esecuzione di un intero blocco di Ethereum e la prova si adatta in una singola chiamata on-chain. La dimensione della prova rimane grossomodo costante indipendentemente da quanto pesante fosse il carico di lavoro originale. Ecco dove diventa interessante. Generare una prova costa effettivamente più che eseguire il calcolo stesso, perché il provatore deve eseguire operazioni crittografiche aggiuntive oltre all'esecuzione grezza. Ma verificare quella prova costa quasi nulla in confronto. La relazione appare così: Prova > Esecuzione >> Verifica. Questa struttura dei costi è esattamente ciò di cui hanno bisogno le blockchain. Oggi, ogni transazione di Ethereum viene rieseguita da centinaia di migliaia di validatori in modo indipendente, lo stesso lavoro ripetuto in tutta la rete. Con le prove succinct, una parte fa il lavoro pesante e produce una prova compatta. Tutti gli altri la controllano. La rete passa da "tutti fanno tutto" a "calcola una volta, verifica ovunque." 📜 Ecco perché Brevis può offrire cose come query di dati storici per i livelli di commissione VIP di PancakeSwap, o distribuzioni di ricompense di miliardi di token per Linea, senza far esplodere i costi del gas. Il calcolo avviene off-chain dove è economico. La prova arriva on-chain dove la verifica è fissa e accessibile indipendentemente da quanta dati siano stati elaborati dietro le quinte. La succinctness è anche il motivo per cui il proving in tempo reale dei blocchi di Ethereum di Pico Prism funziona. Provare l'esecuzione di un intero blocco e comprimerlo in qualcosa che un contratto intelligente può verificare in millisecondi sarebbe inutile se la prova stessa fosse grande quanto i dati del blocco. Il rapporto di compressione è ciò che rende l'intero modello praticabile. Leggi la Parte 2: