Arianee: Full Privacy Extension ZK Circuits audit report
Project Information
CATEGORY
Zero-knowledge
NETWORK
Ethereum
WEBSITE
https://www.arianee.org/
DESCRIPTION
From July 8, 2024 to July 10, 2024, Arianee engaged Veridise to review the security of their Full-Privacy Extension ZK Circuits. The review covered both the smart contracts and zeroknowledge circuits that allow issuers to privately interact with the Arianee protocol. Note, however, that this report will focus on the ZK Circuit review. Veridise conducted the assessment over 9 person-days, with 3 engineers reviewing code over 3 days. The auditing strategy involved a tool-assisted analysis of the source code performed by Veridise engineers as well as extensive manual code review.
Audit Report
SCOPE
The scope of this audit is limited to the packages/privacy-circuits/src/circom folder of the source code provided by the Full-Privacy Extension ZK Circuits developers in the https://github.com/Arianee/arianee-sdk repository, which contains the three main circuits of the Full-Privacy Extension ZK Circuits and all shared utilities.