在週四的倫敦辦公室,BitcoinOS開發者完成了最終的程式碼提交,這將使BitSNARK開源,這是一種專門的協議,可以在比特幣上啟用零知識驗證。
開源BitSNARK"解鎖了比特幣的可程式設計性",旨在幫助開發者"以前所未有的方式進行構建和實驗",BitcoinOS的執行長兼聯合創始人Edan Yago告訴Decrypt。
此次釋出是在BitcoinOS於2024年7月進行的演示之後,該演示在比特幣主網第853626個區塊上驗證了第一個零知識證明。
多年來,比特幣開發者面臨著一個看似棘手的三難困境:提高規模、增加計算表達能力或保持去中心化——最多選擇兩個。
BitcoinOS在不需要修改比特幣核心協議的情況下解決了這個問題。這一方面可能會改變開發者如何使用他們已經熟悉的語言(如Rust和Solidity)為世界最大的加密網路構建。
這些使協議開源的努力旨在改善在比特幣上使用SNARK(簡潔的非互動式知識論證)的方式。
SNARK是一種加密證明,讓某人證明他們知道某些事情或做某事是正確的,而不透露任何其他細節,使用任何人都可以輕鬆檢查的簡單驗證方案。
這種方法已經存在一段時間了,但BitSNARK在此基礎上建立了一種據稱更簡化的方法。
與更復雜的實現相比,BitSNARK優化了SNARK驗證,只需三條指令而不是幾十條,並將這些複雜的計算包裝成僅約350位元組的證明。
這種效率使在比特幣有限的指令碼環境中執行零知識證明這一曾經理論上的概念"足夠小"而實用於現實世界應用,Yago聲稱。
它透過使用"證明者-驗證者"模型來實現,參與者準備並簽署一系列比特幣交易,以啟用證明驗證。
該協議使用二進位制搜尋演算法來定位有爭議的操作並試圖解決爭議,並由它聲稱使系統上的不誠實對雙方來說都過於昂貴的經濟激勵措施來保護。
BitSNARK開源的影響超出了技術圈。
以前僅限於可程式設計區塊鏈(如以太坊)的金融應用現在在比特幣上成為可能:無需信任的跨鏈資產橋樑、去中心化交易所,甚至比特幣支援的穩定幣。
然而,比特幣社群並不是所有人都接受這些發展。
有批評者擔心複雜性增加和安全風險,他們認為簡單性和自我保管比擴充套件功能更有價值。
對於儲存庫,Yago向Decrypt確認,核心基礎設施將完全開源,而一些專有元素將仍限於BitcoinOS已經構建的應用程式。
談到安全性,Yago告訴Decrypt,BitcoinOS將BitSNARK視為構建"整個網際網路的通用安全層"的一種方式。
如果成功,BitcoinOS在BitSNARK方面的舉措可能有助於比特幣找到並"重塑我們所有人使用比特幣的方式",並確保這種"原始承諾"得以實現,Yago在一份宣告中說。
