CertoraのチーフサイエンティストMooly Sagivは、最大の暗号セキュリティリスクは複雑なコードの脆弱性ではなく、鍵管理や人為的なミスなどのより単純な問題であると考えています。Breakpoint 2025カンファレンスで、彼は監査だけでは安全を保証できないと強調し、形式的検証と人的レビューの組み合わせを提唱しました。Sagivは、継続的インテグレーション（CI）パイプラインに統合された形式的検証は「未知の未知」を発見できると指摘しましたが、その有効性は属性の正確な定義に依存すると警告しています。また、人工知能が生存の脅威として重要であることを軽視し、それは攻撃者のツールであると同時に防御者のツールでもあると考えています。