Vedendo alcuni dei commenti, mi rendo conto che potrebbe esserci un po' di confusione o malinteso su cosa significhi questo. Confermo e ribadisco che si tratta di una performance incredibile e che nessun altro sistema di prova al mondo oggi può raggiungere tali risultati con questo livello di efficienza dei costi, assenza di fiducia e solidità. Stiamo spingendo i confini della tecnologia ZK per rendere la storia di Bitcoin verificabile in modi che prima erano inimmaginabili. Innanzitutto, alcuni commenti hanno suggerito sarcasmo come: "L'hanno portato tutto il modo 'giù' a 6,5 ore", implicando che sia lento o deludente. Hmm, penso che ci sia una grande confusione qui! Le 6,5 ore sono il tempo necessario per generare la PROVA RECURSIVA COMPLETA per l'intera catena. Questo viene fatto SOLO UNA VOLTA, da UNA macchina (e stiamo ottimizzando per ridurre ulteriormente i costi). CONCENTRIAMOCI SUL FATTO REALE => La verifica richiede solo 50-100 MILLISECOND, anche su dispositivi piccoli come i telefoni. Non si tratta di tempo di prova, è l'asimmetria fornita dagli STARK: provare è computazionalmente intensivo ma una tantum; verificare è fulmineo e scala all'infinito. Mentre lavoriamo duramente per poter provare l'esecuzione completa del blocco (script, tx, ecc.), la verifica sarà comunque di ~100ms per l'intera catena. Questo è il cambiamento del gioco! Prossimo elemento: "Le prove non convalidano." In realtà, verificare la prova convalida! Invece di rieseguire tutto (il modo lento e tradizionale), verifichi la prova STARK, che garantisce crittograficamente lo stesso risultato, ma in modo esponenzialmente più veloce e con meno calcolo. È come comprimere la validazione in un controllo piccolo ed efficiente senza sacrificare la sicurezza. Per spiegare ulteriormente, ecco un flusso di lavoro ad alto livello per la nostra Prova SPV Compressa (utilizzando STARK tramite Cairo+Stwo): - Esecuzione in batch: Un esecutore elabora batch di intestazioni di blocco Bitcoin (ad es., 1-10k, poi 10k-20k) con bootloader e programmi Cairo assumevalid, generando tracce e input di esecuzione. - Generazione della prova: Un provatore crea una prova STARK attestando che la logica di validazione del blocco è stata eseguita correttamente su quelle intestazioni. - Verifica: La prova compressa + stato attuale della catena + radice MMR va a un verificatore on-chain/off-chain, che conferma senza fiducia: Validità e collegamento di tutte le intestazioni fino alla genesi. * Inclusione del blocco target (tramite prova MMR). * Difficoltà/lavoro cumulativo sufficiente. * Timestamp e regole di consenso corretti. * Inclusione tx target (tramite prova Merkle/SPV). Vedi ulteriori dettagli qui: E implementazione del programma principale di Cairo qui: