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

Le prove a conoscenza zero utilizzano la crittografia per dimostrare la validità delle informazioni senza rivelare le informazioni stesse. Usare uno zk-proof per convalidare la blockchain di Bitcoin significa che i nodi possono sincronizzarsi quasi istantaneamente invece di impiegare ore (e talvolta giorni) per scaricare gli attuali 500 GB di dati della catena.

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 di Bitcoin senza scaricare l'intera catena o fidarsi di terzi.

Il prototipo può verificare le regole di consenso Bitcoin ma non le firme delle transazioni. È anche un po’ goffo e deve ancora essere ottimizzato in termini di velocità e sicurezza, quindi non è ancora pronto per il debutto, ma la cosa importante è che funziona.

"È ancora in fase di prototipo", ha detto a CoinDesk il co-fondatore di ZeroSync Robin Linus. "Ma la grande visione è quella di scaricare quel megabyte di prova ed è come se avessi scaricato 500 gigabyte."

Sulla blockchain di Bitcoin sono sempre esistiti light client o semplici nodi di verifica dei pagamenti (SPV). In effetti, Satoshi Nakamoto ha menzionato il concetto nel suo white paper originale. Sono fondamentali per i piccoli dispositivi come i telefoni cellulari che non possono scaricare l’intera blockchain.

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

ZeroSync fa un ulteriore passo avanti verificando le transazioni tramite prova crittografica anziché fidarsi semplicemente di nodi onesti come suggerito da Satoshi.

"Non devi fidarti, questo è il punto", ha detto Linus. "Le prove te lo dimostrano, questa è la grande invenzione."

È possibile utilizzare un meccanismo zk-proof perfettamente funzionante per abilitare un'ampia gamma di applicazioni al di fuori del caso d'uso di sincronizzazione del nodo di punta. ZeroSync ha creato un kit di strumenti per sviluppatori per abilitare applicazioni come la prova di riserva sugli scambi e la compressione della cronologia delle transazioni su protocolli di secondo livello come Taro di Lightning Labs.

Linus e il co-fondatore Lukas George hanno unito le forze lo scorso luglio per lavorare all'implementazione di una prova di catena completa della blockchain di Bitcoin dopo che la tesi universitaria di George sull'implementazione di una prova delle intestazioni di Bitcoin ha attirato l'attenzione di Geometry Research.

La squadra ha successivamente aggiunto Tino Steffens al mix; tutti e tre i cofondatori hanno un background in informatica.

Linus viveva a Santa Teresa, una remota cittadina balneare sulla penisola di Nicoya in Costa Rica che ha un bancomat con coprifuoco alle 22:00. Ciò fece impazzire Linus e lo costrinse a ricercare metodi di pagamento alternativi. Si è imbattuto in Bitcoin, ha stretto 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 consigliato a Geometry Research. Mi hanno offerto l'opportunità di creare prove STARK per Bitcoin ed è così che sono entrato in contatto con Lucas."