Examined Components & Results
Within Manta Atlantic, the following components were audited independently by the contracted auditors. Various auditors were assigned various components, to ensure detailed cross-examination for the purpose of reducing the likelihood of missing vulnerabilities. To view a list of the audit results, you can visit this Github link.
Manta Atlantic’s ZK Circuits (Manta-ZK Lib)
Manta Atlantic’s ZK circuits comprise the core competency of the network. The ZK circuits ensure the proper functioning of the value proposition of Atlantic: compliant on-chain privacy for identity and transacting.
Veridise examined Manta Atlantic’s Manta-ZK Lib. Through it examination, Veridise discovered no critical or high-severity issues. A full copy of the report can be reviewed here.