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 的