الإيجاز يضع الأمان دائما في المقام الأول. بالتعاون مع @NethermindSec و @EthereumFndn ، تحققنا رسميا من صحة قيود RISC-V ل SP1 Hypercube.

4 / على مدار الأشهر الستة الماضية ، قمنا بإعداد Hypercube بشق الأنفس للإنتاج. لتحقيق أقصى قدر من الأمان ، طلبنا من Nethermind التحقق رسميا من Hypercube. تلقينا أيضا منحة جزئية من مؤسسة Ethereum لهذا الجهد.

5 / التحقق الرسمي هو ضمان رياضي بأن دوائر Hypercube تتصرف تماما كما هو محدد. Nethermind هي شركة رائدة في هذه الأساليب الرسمية وأمن ZK.

6 / Hypercube هو الآن أول zkVM مع قيود رمز التشغيل التي تم التحقق منها رسميا. هذه أيضا هي المرة الأولى التي يتم فيها استخدام مواصفات RISC-V الرسمية في التحقق الرسمي من مثل هذا النظام.