La neonata associazione ZeroSync porta le prove di conoscenza zero a Bitcoin

Tre informatici tedeschi hanno creato un'organizzazione no-profit svizzera chiamataAssociazione ZeroSync per aiutare a scalare Bitcoin utilizzando prove a conoscenza zero (zk-proof), una tecnica crittografica che ha è esploso in popolarità sulla catena rivale Ethereum.

Le dimostrazioni a conoscenza zero utilizzano la crittografia per dimostrare la validità delle informazioni senza rivelare le informazioni stesse. Utilizzare una zk-proof per convalidare la blockchain Bitcoin significa che i nodi possono sincronizzarsi quasi istantaneamente invece di impiegare ore (e talvolta giorni) per scaricare l'attuale catena 500 GBdi dati.

ZeroSync ha già prodotto un prototipo funzionante che consente agli utenti di convalidare lo stato (chi possiede cosa in questo momento) e la cronologia delle transazioni della blockchain Bitcoin senza scaricare l'intera catena o fidarsi di terze parti.

Il prototipo può verificare le regole di consenso Bitcoin ma non le firme delle transazioni. È anche un BIT' macchinoso e deve ancora essere ottimizzato per velocità e sicurezza, quindi non è ancora pronto per il PRIME time, ma la cosa importante è che funzioni.

"È ancora in fase di prototipo", ha detto a CoinDesk il co-fondatore di ZeroSync, Robin Linus. "Ma la grande visione è che scarichi quel ONE di prova e che sia valido come se avessi scaricato i 500 gigabyte".

I light client o nodi di verifica dei pagamenti semplici (SPV) sono sempre esistiti sulla blockchain Bitcoin . Infatti, Satoshi Nakamoto ha menzionato il concetto in il white paper BitcoinSono fondamentali per i dispositivi di piccole dimensioni, come i telefoni cellulari, che T possono scaricare l'intera blockchain.

"È possibile verificare i pagamenti senza eseguire un nodo di rete completo", ha scritto Satoshi. "La verifica è affidabile finché i nodi onesti controllano la rete, ma è più vulnerabile se la rete è sopraffatta da un aggressore".

ZeroSync fa un ulteriore passo avanti verificando le transazioni tramite prove crittografiche anziché limitarsi a fidarsi dei nodi onesti, come suggerito da Satoshi.

"T devi fidarti. Questo è il punto", ha detto Linus. "La prova te lo dimostra. Questa è la grande invenzione".

Un meccanismo zk-proof completamente funzionante può essere utilizzato per abilitare un'ampia gamma di applicazioni al di fuori del caso d'uso di sincronizzazione dei nodi di punta. ZeroSync ha creato un kit di strumenti per sviluppatori per abilitare applicazioni come proof-of-reserve sugli exchange e compressione della cronologia delle transazioni su protocolli di secondo livello come Lightning Labs'Taro.

Linus e il co-fondatore Lukas George hanno unito le forze a luglio per lavorare all'implementazione di una prova completa della blockchain Bitcoin dopo che la tesi di laurea di George sull'implementazione di una prova delle intestazioni di Bitcoin ha catturato l'attenzione di Ricerca di geometria.

Successivamente il team ha aggiunto Tino Steffens al gruppo; tutti e tre i co-fondatori hanno una formazione in informatica.

Linus viveva a Santa Teresa, una remota cittadina balneare nella penisola di Nicoya in Costa Rica, che ha ONE bancomat con coprifuoco alle 22:00. Ciò fece impazzire Linus e lo costrinse a cercare metodi di pagamento alternativi. Si imbatté in Bitcoin e fece amicizia con il rispettato "stregone Bitcoin " Ruben Somsen(che ha coniato il termine "ZeroSync"), e il resto, come si suol dire, è storia.

"Da lì, ho iniziato a Imparare sempre di più sulla crittografia", ha detto Linus. "Ho sviluppato alcune competenze nel tempo e poi Ruben mi ha raccomandato a Geometry Research. Mi hanno offerto l'opportunità di costruire Prove STARK per Bitcoin ed è anche così che sono entrato in contatto con Lucas."