ChainSafe: BLS12-381 Implementation audit report
Project Information
CATEGORY
Add category here
NETWORK
Halo2
WEBSITE
https://chainsafe.io/
DESCRIPTION
From Apr. 8, 2024 to Apr. 18, 2024, ChainSafe engaged Veridise to review the security of their BLS12-381 Implementation. The review covered their Rust implementation of BLS12-381 elliptic-curve-based signatures, which enables writing zero-knowledge proof circuits including BLS12-381 curve operations using the Halo2 proving stack. Veridise conducted the assessment over 6 person-weeks, with 3 engineers reviewing code over 2 weeks. The auditing strategy involved extensive manual analysis of the source code performed by Veridise engineers.
Audit Report
SCOPE
The scope of this audit is limited to the changes in this pull request restricted to the following directories:
- halo2-ecc/src/bls12_381
- halo2-ecc/src/ecc
Total Findings
0
Mitigated
0
Critical Severity
0
High Severity
0
Medium Severity
0
Low Severity
0