Veridiseが過去100回の検証を分析した結果、ZK検証では平均して1つのプロジェクトあたり約18個の問題が見つかり、非ZK検証では約16個と比較するとわずかに多いです。興味深いことに、ZK検証における重要な脆弱性の割合55%は他の種類の検証で見られる27.5%を大幅に上回っています。Veridiseの研究によれば、論理的なエラー、メンテナンス可能性、データ検証は一般的な脆弱性のタイプで、全体の検証発見数の65%を占め、特にZK検証における特定の問題においても主導的です。これらの結果は、ZKプロジェクトに対する全面的なかつ深い検証の必要性を強調しています。