BitCoinos發布開源軟件以實現網絡“原始承諾”
在周四的倫敦辦公室中，比特幣開發人員完成了最終代碼提交，該代碼提交將開放源代碼BITSNARK，這是一種專門的協議，實現了比特幣的零知識驗證。
Bitcoinos的首席執行官兼聯合創始人Edan Yago說，向開源BITSNARK“解鎖比特幣上的可編程性”，旨在幫助開發人員“以以前是不可能的方式來建立和實驗”。 解密.
該版本是在2024年7月的比特幣之後的演示，該演示驗證了第一個零知識證明在Block 853626上的比特幣主網上。 ＆nbsp;
多年來，比特幣開發人員面臨看似棘手的三元素：提高規模，增加計算表達性或保留權力下放化 - 最多要把兩個。
比特幣解決了這一點，而無需對比特幣核心協議進行修改。 這一方面可以通過他們已經熟悉的諸如生鏽和堅固性之類的語言來改變開發人員為世界上最大的加密網絡構建的方式。
這些使協議開源的努力旨在改善比特幣上使用Snark（簡潔的非交互性論點）。
Snark是加密的證據，讓某人證明自己知道某事或正確地做某事而沒有透露任何其他細節，使用任何人都可以輕鬆檢查的簡單驗證方案。
這種方法已經存在一段時間了，但是Bitsnark在此基礎上建立了一個據稱精簡的方法.
小步驟，大創意
與更複雜的實現不同，BITSNARK優化了SNARK驗證，僅需要三個說明而不是數十個說明，然後將這些複雜的計算包裝到大約350個字節的證明中。
Yago稱，這種效率使曾經理論上的理論概念是在比特幣有限的腳本環境中運行零知識證明“足夠小”，以實現對現實世界應用的實用性。
它通過使用“諺語 - 佛教徒”模型來做到這一點，參與者準備並簽署一系列可以進行證明驗證的比特幣交易。
該協議使用二進制搜索算法來定位有爭議的行動並試圖解決爭議，這是由於經濟激勵措施所確保的，它聲稱這使雙方的不誠實行為不誠實。
將申請帶到比特幣
Bitsnark進行開源的含義超出了技術界。
現在，比特幣上的以太坊等可編程區塊鏈以前獨有的財務應用程序是可能的：無信任的橋樑用於跨鏈資產，分散交流，甚至比特幣支持的穩定菌.
但是，並不是比特幣社區中的每個人都接受這些發展。
關注複雜性的提高和潛力安全風險隨著零知識，批評家的出現了，他們在簡單性和自我遵守方面的價值比擴展功能的前景更具價值。
為了存儲庫，Yago證實解密核心基礎架構將是完全開源的，而某些專有元素仍將僅限於BitCoinos已經構建的應用程序。
當被問及安全時，Yago告訴解密那比特幣將Bitsnark視為建立“為整個互聯網的通用安全層”的一種方式。
Yago在一份聲明中說，如果成功，BITSNARKS的比特幣倡議可以幫助比特幣找到並“重塑我們都可以使用比特幣”，並確保“為每個人實現Alpha Crypto“原始承諾””。
編輯塞巴斯蒂安·辛克萊（Sebastian Sinclair）
