Assessment reportsPublic findings
Back to Zellic site
↗
Assessment reports>Barretenberg Bigfield>Audit Results>Assessment Results
GeneralOverview
Findings
Critical (7)
Medium (2)
Low (6)
Informational (2)
DiscussionMaturity of the codebase and lack of specificationsConcrete examples for assumptions for bounds and how to document themUndocumented assumption regarding meaning of bigfield fieldsFunctioning of evaluate_non_native_field_multiplicationAssumptions regarding bit width of the modulusBehavior in simulator modeHandling of too large ranges in uint256_t::sliceMissing maximum-bit number checks in constructorFix for decompose_into_bitsOverflow checks for unreduced elementsPrime limb witness indexes equality check in operator- and operator+Inefficient loopsPossible shaper boundsUnnecessary assert in mul_product_overflows_crt_modulusUnnecessary reductons in operator+Unreachable codeMisleading names of functions or variablesImprovements for comments/documentation
Audit ResultsAssessment Results

Assessment Results

At the time of our assessment, the reviewed code was not deployed.

During our assessment on the scoped Barretenberg Bigfield circuits, we discovered 17 findings. Five critical issues were found. Two were of high impact, eight were of low impact, and the remaining findings were informational in nature.

Zellic © 2025Back to top ↑