Rootstock Labs 和 Fairgate 的开發團隊成功在比特幣主網實現了交互式驗證 SNARK 證明的技術突破。這項進展可能使比特幣適應更快、更便宜的第2層網絡,增強其與以太坊等其他網絡的可編程性。驗證使用了修改版的 BitVM(BitVMX),由團隊獨立开發,旨在允許比特幣上實現以太坊式智能合約。該驗證於周四完成,並在此前的測試網環境中測試成功,標志着 SNARK 驗證器性能的提升。
Rootstock Labs 和 Fairgate 的开發團隊表示,他們成功實現了在主比特幣網絡上以交互方式驗證 SNARK 證明(一種在許多區塊鏈系統中強大的加密貨幣類型)的技術突破。
此次演示可能代表着一項重大進步,使最大的區塊鏈能夠適應更快、更便宜的第 2 層網絡,其可編程性與以太坊和其他網絡上目前實現的類似。
SNARK 是使用 Robin Linus 的 BitVM 設計的修改版本(稱爲 BitVMX)進行驗證的,該設計由團隊獨立开發。Linus 开發了 BitVM 作爲一種計算範例,旨在允許在比特幣上使用以太坊式的智能合約。
零知識 SNARK(簡潔的非交互式知識論證)是指一個人可以在不透露信息的情況下證明知識,並且不需要證明者和驗證者交互的過程。
該驗證於周四在比特幣主網上進行,並於前一天在測試網環境中完成。
Rootstock 團隊在周四通過電子郵件發表的聲明中表示:“這一進展代表了 BitVMX 證明系統的重大飛躍,展示了挑战和驗證鏈上 SNARK 驗證器執行的能力。”“這一突破爲利用 BitVMX 的通用虛擬 CPU,使用任何編譯到 RISC-V 架構的程序復制此過程打开了大門。”
更正(7 月 26 日,19:00 UTC):更正第四段,說明驗證是在比特幣主網上進行的,而不是 Rootstock 的