做得好!zkVM 的健全性是一個非常重要的話題。對此的透明度是正確的方向。
RISC Zero
RISC Zero8月5日 06:55
隨著我們持續擴展對電路的正式驗證覆蓋範圍,我們已經識別並修復了另一個錯誤。這個錯誤是由 @VeridiseInc 的 Picus 發現的。 該問題已經修補,所有合作夥伴都已遷移到 2.2.0 或更高版本的 risc0-zkVM。 RISC Zero 仍然致力於提供最高水平的透明度、主動安全性和完整性。
1.58K