Secondo CoinDesk, Bitcoin layer 2 Rootstock ha verificato con successo in modo interattivo una prova SNARK, segnando un progresso significativo nello sviluppo di prove a conoscenza zero sulla rete Bitcoin. Questa verifica è stata ottenuta utilizzando BitVMX, la versione modificata di BitVM di Rootstock, progettata per abilitare contratti intelligenti in stile Ethereum su Bitcoin. Il processo di verifica è stato completato giovedì sulla mainnet di Rootstock, dopo aver eseguito con successo il testnet il giorno precedente.

SNARK a conoscenza zero (Succinct Non-Interactive Argument of Knowledge) è un metodo che consente di dimostrare la conoscenza senza rivelare l'informazione stessa e senza richiedere l'interazione tra dimostratore e verificatore. Il team di Rootstock ha sottolineato che questo sviluppo rappresenta un grande passo avanti per il sistema di prova BitVMX, dimostrando la capacità di sfidare e convalidare l'esecuzione di un verificatore SNARK on-chain. Questa innovazione apre la strada alla replica del processo con qualsiasi programma compilato sull’architettura RISC-V, utilizzando la CPU virtuale generica di BitVMX.