簡潔は常にセキュリティを第一に考えています。 @NethermindSecおよび@EthereumFndnと共同で、SP1 HypercubeのRISC-V制約の正しさを正式に検証しました。

4/ 過去 6 か月間、私たちは Hypercube を本番環境に向けて丹念に準備してきました。 セキュリティを最大限に高めるために、Nethermind に Hypercube の正式な検証を依頼しました。また、この取り組みに対してイーサリアム財団から部分的な助成金も受け取りました。

5/ 形式的検証は、Hypercube の回路が指定されたとおりに正確に動作することを数学的に保証するものです。 Nethermind は、これらの正式な方法と ZK セキュリティのリーダーです。

6/ Hypercube は、オペコード制約が正式に検証された最初の zkVM になりました。また、公式のRISC-V仕様がこのようなシステムの正式な検証に使用されたのはこれが初めてです。