SP1ハイパーキューブは数十億ドルのTVLを確保しました。RISC-V制約の正確性はテストだけに頼るべきではありません。 @SuccinctLabsおよびサポート@ethereumfndnと提携し、@NethermindSec 62コアオペコードを公式にLeanのRISC-V Sail仕様に照らして検証しました。 ハードフォーマル手法、本番のzkインフラに適用。 メインネット誕生おめでとうございます