币界网报道：可编程隐私网络Aleo宣布，随着主网启动的临近，为了评估代码库的安全性和完整性，已聘请Trail of Bits、NCC Group、zkSecurity等了三家独立的安全公司对Aleo的snarkOS和snarkVM进行了审计。审计过程中发现了31个问题，Aleo均已解决。