AuditAgentは現在、Solanaをサポートしています。 実際の監査結果に基づいて訓練されたAI強化脆弱性検出。 現在はソリディティ、カイロ、@Solanaを横断しています。 手動レビューが始まる前の開発初期段階でセキュリティ基準を引き上げること。

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

私たちのフォーマル検証チームは、SP1とOpenVMでの成果を基に、@brevis_zk Pico RISC-V zkVMの開発を開始しています。 この取り組みを支援してくださった@EthereumFndnに感謝します。