区块链安全公司Veridise发现,ZK审计发现关键问题的可能性是前者的两倍