7/ スピードはセキュリティがなければ意味がありません。

@veridiseInc と共に、形式検証を R0VM のコアな部分にしています。

これまでに、v2 回路におけるコア RISC-V 機能の 123 個のコンポーネントのうち 122 個が決定論的であることを証明しました。https://t.co/cmaYKELhig

RISC Zeroは、初の形式検証済みのRISC-V zkVMを構築しています。

@VeridiseIncのPicusツールを使用して、回路の決定性を数学的に証明しています。

私たちの目標は、非常に高速で、証明可能なセキュリティを備えたzkVMを提供し、開発者が妥協する必要がないようにすることです。