Trail of BitsがAIエージェントを活用したMiden zkVMの監査手法を公開

要点：Trail of BitsはAIエージェントを駆使し、6ヶ月かけてMiden zkVM向けのLSPサーバーや静的解析エンジンなどを構築しました。この手法により、署名偽造を可能にする高リスクな脆弱性や400件以上の型検証の欠陥を特定することに成功しました。