の検索結果 形式検証
Crypto
Cardano、研究提案に否決公算 ホスキンソン氏は研究所閉鎖に言及
Cardano創設者のチャールズ・ホスキンソン氏は、IOGの研究提案が否決された場合、研究所閉鎖の可能性に言及した。dRep投票では反対が82.2%を占め、研究重視の開発路線と分散型ガバナンスのあり方が争点になっている。
Crypto
Solana共同創業者、PQC巡り「AIが先に破る可能性」に警鐘
Solana共同創業者のアナトリー・ヤコベンコ氏は、暗号資産の署名方式を巡る当面の脅威としてAIを挙げ、PQC（量子耐性暗号）への過信に警鐘を鳴らした。対策として、異なる署名方式を組み合わせる2-of-3マルチシグの採用を提案した。
Crypto
Aave Labs、Aave V4のセキュリティ枠組み公開
Aave LabsはAave V4のセキュリティロードマップを公表した。設計段階から保護機構を組み込み、形式検証や監査、ファジング、公開コンテストを組み合わせる。常設のバグバウンティやAI活用も長期方針に据えた。