- 零知識 SNARK(簡潔的非交互式知識論證)是指一個人可以在不透露信息的情況下證明知識,並且不需要證明者和驗證者交互的過程。
- Rootstock 團隊表示:“這一發展代表著 BitVMX 證明系統的一次重大飛躍,展示了挑戰和驗證鏈上 SNARK 驗證器執行的能力。”
比特幣第 2 層 Rootstock 已經以交互方式驗證了 SNARK 證明,這對於原始區塊鏈網絡上零知識證明的開發具有潛在的突破。
Rootstock 使用 BitVMX 驗證了 SNARK,BitVMX 是 Rootstock 對 BitVM 的修改版本, BitVM 是一種旨在允許在比特幣上使用以太坊式智能合約的計算範式。
零知識 SNARK(簡潔的非交互式知識論證)是指一個人可以在不透露信息的情況下證明知識,並且不需要證明者和驗證者交互的過程。
驗證於週四在 Rootstock 的主網進行,並於前一天在測試網上完成。
Rootstock 團隊在週四通過電子郵件發表的聲明中表示:“這一進展代表了 BitVMX 證明系統的重大飛躍,展示了挑戰和驗證鏈上 SNARK 驗證器執行的能力。”“這一突破為利用 BitVMX 的通用虛擬 CPU,使用任何編譯到 RISC-V 架構的程序複製此過程打開了大門。”
由 Stephen Alpher 編輯。




