🧮CRYPTOMAP 🧮STOCKMAP 🔍SUPERSEARCH
Menu Laterale Completo
× 📱 DOWNLOAD APP OUR SERVICE

🟡ANALOGIA ZOO: PROOF A CONOSCENZA ZERO

🟡ANALOGIA ZOO: PROOF A CONOSCENZA ZERO

Giorno: 04 marzo | Ora: 13:53 Secondo PANews, zkSync ha recentemente pubblicato un'illustrazione educativa che utilizza un'analogia con lo zoo per spiegare il concetto di proof a conoscenza zero. L'analogia confronta uno zoo con un circuito, gli animali con abilità speciali con porte logiche e una foto di gruppo di animali felici con una proof. Inserendo dati nel circuito senza rivelare il contenuto specifico e eseguendo calcoli complessi, si genera una proof, completando così il processo di proof a conoscenza zero. Nell'analogia dello zoo, il circuito corrisponde a una serie di vincoli di porte logiche (addizione, sottrazione, moltiplicazione, divisione, ecc.) che aggregano le abilità di tutti gli animali. I dati passati nel circuito devono poter essere eseguiti all'interno di varie formule. In un ambiente layer2, dati come gli hash delle transazioni, gli account e i saldi dei dati possono essere trasformati in formule per il calcolo. Diversi animali nello zoo rappresentano diverse porte logiche. Ad esempio, le zebre hanno la capacità di confrontare se due numeri sono uguali, i coccodrilli rappresentano "minore di" e i ragni rappresentano porte multiscelta più complesse. Diversi animali rappresentano diverse formule aritmetiche e la loro felicità o tristezza indica la struttura del calcolo della formula. Un circuito complesso è costruito da vari animali (porte logiche) e scatole (regole). Quando una formula viene dimostrata vera, animali come zebre e bruchi diventano felici e viene generata una proof per la formula. Per garantire la credibilità della proof, viene introdotto uno speciale animale chiamato Zeek come verificatore nel sistema layer2. Zeek può osservare se gli altri animali sono felici e, se lo sono, la proof viene verificata e caricata nella rete principale per la conferma finale. Il processo di fare una foto di gruppo è simile alla generazione di proof SNARK o impegni KZG, mentre la pellicola stampata è equivalente a proof STARK/SNARK. I visitatori dello zoo rappresentano transazioni individuali e solo quando gli animali sono felici e fanno una foto di gruppo viene generata una proof e confermata sulla blockchain. Tuttavia, non tutti gli animali nello zoo possono essere felici e lavorare secondo regole predefinite contemporaneamente, il che porta a congestione, errori e transizioni di stato non valide. Queste situazioni comportano condizioni scarsamente vincolate, rendendo impossibile superare la verifica finale.

feed-og-image-2.png

Source: Binance Square