近日，繼發布首個BitVM 形式化驗證研究成果後，Nubit 再次推動比特幣編程能力升級，完成並發布了BitVM IDE（Integrated Development Environment，整合開發環境）。

這是一款基於 BitVM 在比特幣上驗證零知識證明（Zero-Knowledge Proof, ZKP）的開發工具。它允許開發者體驗編寫零知識電路、並快速、直接地在比特幣網路上驗證零知識證明的全部過程。這為比特幣網路大幅降低技術難度，開發無需信任、且隱私性強的應用證明了切實可行的新路徑。

BitVM IDE 由 Nubit 聯合 ZeroSync、Alpen Labs、Citrea 等合作夥伴共同推出。作為比特幣生態的重要推動者，Nubit 正在成為比特幣的「去信任世界電腦（Trustless World Computer for Bitcoin）」，讓開發者能夠利用比特幣原生技術建立任何應用，推動比特幣生態的大規模採用。

關於BitVM IDE

以下內容摘取並編譯自Nubit官方推文及部落格：

· BitVM IDE

· BitVM IDE影片示範

· 部落格原文

BitVM IDE 提供了一個直覺的介面，使用者可以透過該工具在比特幣網路上驗證任意計算。其核心功能包括：

· 撰寫和測試零知識證明電路

· 提交並驗證比特幣網路上的ZKP

和過去需要大量運算及時間的驗證相比，基於Nubit 技術完成的BitVM IDE，其核心是讓開發者直覺感受到驗證過程的簡化及加速。

例如，使用者可以使用 BitVM IDE 驗證輸入值是否滿足特定公式（如 x * y = z）。整個流程如下：

1. 初始化交易：點選「Kickoff」按鈕開啟交易流程；

2. 提交電路資料：輸入x, y, z 的值並點選「Assert」提交證明；

 ·有效證明：進入「Payout」階段領取比特幣；

 · 無效證明：進入「Disprove」階段發起挑戰；

3. 領取獎勵：在證明有效後確認交易並點擊「Payout」領取比特幣；

4.挑戰無效證明：若證明無效，點選「Disprove」發起挑戰，成功後確認證明無效。

此外，BitVM IDE 還提供即時鏈上狀態追蹤以及會話重置功能，為開發者提供了便捷的開發環境。

持續探索：從BitVM IDE 到Goldinals

目前，BitVM IDE 支援基礎電路驗證功能（如x * y = z），未來將支援自訂電路功能，進一步拓展其應用場景。

對 Nubit 來說，比特幣原生技術的探索與開發，Nubit DA 及 BitVM IDE 的誕生遠遠不夠。 Nubit 也正在基於 BitVM 開發全新的資產協議——Goldinals。透過將執行證明與每筆交易綁定，Goldinals 將降低對中心化索引器的依賴，支援多樣化的可程式資產類型。此資產協議預計在 2024 年結束前推出。 Nubit 正與 ZeroSync、Alpen Labs 和 Citrea 等合作夥伴緊密合作，將 BitVM 應用推向更廣泛的場景，持續推動比特幣生態的可編程性。

關於Nubit

由美國加州大學聖芭芭拉分校(UCSB) 教授Yu Feng 及其科研團隊創立，Nubit 正在建立比特幣的信任最小化世界電腦（Trustless World Computer for Bitcoin），透過比特幣原生技術實現開放式擴充。作為全球領先的比特幣開發平台之一，Nubit 致力於為開發者提供工具和解決方案，推動比特幣原生應用程式的普及，協助比特幣生態的全面發展。

如需了解更多信息，請訪問 Nubit 官網或 BitVM IDE 平台。

原文連結