Fonte originale: Nubit

Recentemente, dopo aver pubblicato il primo risultato di ricerca sulla verifica formale di BitVM, Nubit ha nuovamente spinto l'upgrade delle capacità di programmazione di Bitcoin, completando e rilasciando BitVM IDE (Integrated Development Environment, ambiente di sviluppo integrato).

Questo è uno strumento di sviluppo basato su BitVM per la verifica delle prove a conoscenza zero (Zero-Knowledge Proof, ZKP) su Bitcoin. Permette agli sviluppatori di sperimentare la scrittura di circuiti a conoscenza zero e di verificare rapidamente e direttamente l'intero processo delle prove a conoscenza zero sulla rete Bitcoin. Questo riduce notevolmente la difficoltà tecnica per la rete Bitcoin, dimostrando un nuovo percorso pratico per sviluppare applicazioni che non richiedono fiducia e che hanno una forte privacy.

BitVM IDE è stato lanciato da Nubit in collaborazione con ZeroSync, Alpen Labs, Citrea e altri partner. Come importante promotore dell'ecosistema Bitcoin, Nubit sta diventando il «Computer Mondiale Senza Fiducia per Bitcoin», consentendo agli sviluppatori di costruire qualsiasi applicazione utilizzando la tecnologia nativa di Bitcoin e promuovendo l'adozione su larga scala dell'ecosistema Bitcoin.

BitVM IDE (immagine esemplificativa)

Informazioni su BitVM IDE

I seguenti contenuti sono estratti e compilati dai tweet e dal blog ufficiale di Nubit:

· BitVM IDE

· Dimostrazione video di BitVM IDE

· Testo originale del blog

BitVM IDE offre un'interfaccia intuitiva, consentendo agli utenti di verificare qualsiasi calcolo sulla rete Bitcoin. Le sue funzionalità principali includono:

· Scrivere e testare circuiti di prova a conoscenza zero

· Inviare e verificare ZKP sulla rete Bitcoin

Rispetto alla verifica che in passato richiedeva enormi risorse di calcolo e tempo, BitVM IDE, basato sulla tecnologia Nubit, ha come obiettivo quello di far percepire agli sviluppatori la semplificazione e l'accelerazione del processo di verifica.

Ad esempio, gli utenti possono utilizzare BitVM IDE per verificare se i valori di input soddisfano una formula specifica (come x * y = z). L'intero processo è il seguente:

1. Inizializzare la transazione: fare clic sul pulsante «Kickoff» per avviare il processo di transazione;

2. Inviare i dati del circuito: inserire i valori di x, y, z e fare clic su «Assert» per inviare la prova;

 · Prova valida: entrare nella fase «Payout» per ricevere Bitcoin;

 · Prova non valida: entrare nella fase «Disprove» per avviare una sfida;

3. Ricevere ricompense: dopo la conferma della validità della prova, confermare la transazione e fare clic su «Payout» per ricevere Bitcoin;

4. Contestare prove non valide: se la prova non è valida, fare clic su «Disprove» per avviare una sfida e confermare la non validità della prova una volta riuscita.

Inoltre, BitVM IDE offre anche tracciamento dello stato on-chain in tempo reale e funzionalità di ripristino della sessione, fornendo agli sviluppatori un ambiente di sviluppo conveniente.

Esplorazione continua: da BitVM IDE a Goldinals

Attualmente, BitVM IDE supporta funzionalità di verifica di circuiti di base (come x * y = z), e in futuro supporterà funzionalità di circuiti personalizzati, ampliando ulteriormente i suoi scenari di applicazione.

Per Nubit, l'esplorazione e lo sviluppo della tecnologia nativa di Bitcoin, così come la nascita di Nubit DA e BitVM IDE, non sono ancora sufficienti. Nubit sta anche sviluppando un nuovo protocollo di asset basato su BitVM - Goldinals. Collegando l'esecuzione delle prove a ogni transazione, Goldinals ridurrà la dipendenza da indicizzatori centralizzati, supportando diversi tipi di asset programmabili. Questo protocollo di asset dovrebbe essere lanciato entro la fine del 2024. Nubit sta collaborando strettamente con partner come ZeroSync, Alpen Labs e Citrea per portare l'applicazione BitVM in scenari più ampi, continuando a promuovere la programmabilità dell'ecosistema Bitcoin.

Informazioni su Nubit

Fondato dal professor Yu Feng e dal suo team di ricerca dell'Università della California, Santa Barbara (UCSB), Nubit sta costruendo un computer mondiale senza fiducia per Bitcoin, realizzando un'espansione aperta attraverso la tecnologia nativa di Bitcoin. Come uno dei principali piattaforme di sviluppo Bitcoin a livello globale, Nubit si impegna a fornire strumenti e soluzioni per gli sviluppatori, promuovendo la diffusione delle applicazioni native di Bitcoin e contribuendo allo sviluppo completo dell'ecosistema Bitcoin.

Per ulteriori informazioni, visitare il sito ufficiale di Nubit o la piattaforma BitVM IDE.

Questo articolo proviene da un contributo, non rappresenta il punto di vista di BlockBeats