Secondo il co-fondatore di dcSpark, Sebastien Guillemot, il primissimo contratto intelligente ZK (zero-knowledge) è stato distribuito sulla mainnet di Cardano.
Questo segna l'inizio dell'era delle applicazioni ZK sulla popolare rete blockchain.
La transazione è stata eseguita dal sviluppatore di Cardano Input Output con l'aiuto di Halo 2 per la verifica ZK sulla mainnet della blockchain.
STORIE CALDE Cardano fa storia con il primo contratto intelligente ZK ‘Ho posseduto e sostenuto Crypto’ fin dai tempi molto antichi: Jim Cramer Il CEO di Ripple ottiene un'intervista di “60 minuti” Shiba Inu (SHIB) Breakout assicurato: Cosa c'è dopo? Bitcoin (BTC) fornisce un segnale nascosto, Toncoin (TON) pronto a decollare?
Come spiegato da Input Output, la prima transazione era destinata a bloccare i fondi. La seconda transazione, che richiedeva la verifica della prova ZK generata da Halo2, è stata eseguita per sbloccare i fondi.
La transazione di sblocco ha richiesto una tassa di 2,03 ADA ($1,9), che è "ragionevolmente bassa", secondo Input Output.
Il sistema di prova zkSNARK Halo 2, creato dalla Electric Coin Company, creatrice di Zcash, rende possibile creare e verificare prove crittografiche zk-SNARKs senza la necessità di una configurazione fidata.
In un lungo thread sui social media, Input Output ha spiegato i benefici della tecnica crittografica Halo 2, che rende possibile dimostrare che un calcolo è stato eseguito correttamente senza rivelarne i dettagli. Lo sviluppatore di Cardano ha specificamente menzionato il fatto che le prove ricorsive sono una delle caratteristiche più notevoli di Halo 2. Esse rendono possibile aumentare la scalabilità e l'interoperabilità suddividendo i calcoli in parti più piccole.
"Abbiamo ancora molto lavoro da fare. Ma questo test di IO Research rappresenta un passo significativo in avanti nell'uso delle prove a conoscenza zero con Cardano, portando con sé una potente combinazione di scalabilità, efficienza e ulteriore sicurezza migliorata," ha dichiarato Input Output.
