RISC Zeroは、正式に検証された最初のRISC-V zkVMを構築しています。 @VeridiseIncのPicusツールを使用して、回路の決定性を数学的に証明しています。 私たちの目標は、信じられないほど高速でありながら、証明可能な安全性を備えたzkVMであり、開発者が妥協する必要がないことです。