From Jul. 14, 2025 to Aug. 1, 2025, Aztec Labs engaged Veridise to conduct a security assessment of their Barretenberg Bigfield library. The security assessment covered the Bigfield component of the Barretenberg library, which enables zero-knowledge circuits to efficiently operate on field elements that are larger than the native finite field. Veridise conducted the assessment over 9 person-weeks, with 3 security analysts reviewing the project over 3 weeks.The review strategy involved a tool-assisted analysis of the program source code performed byVeridise security analysts as well as thorough code review