Assessment reportsPublic findings
Back to Zellic site
↗
Assessment reports>Brevis>Audit Results>Assessment Results
GeneralOverview
Findings
Critical (4)
High (5)
Medium (5)
Low (12)
Informational (9)
DiscussionVarious possible simplifications and optimizationsAdditional validationLack of documentation or commentsMinor recommendationsCode duplicationConsistent usage of named constantsLists and tuples' ambiguous behavior when used recursivelyBehavior of bits2Bytes and addOutput for circuit variablesIncorrect hex string and parsing errors canceling each other outReferences to MiMC instead of PoseidonUnallocated inputs slots not constrainedKeccak padding function pad10*1Confusing function GroupBySetupVerification of Poseidon constantsTest suite
Audit ResultsAssessment Results

Assessment Results

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

During our assessment on the scoped Brevis circuits, we discovered 35 findings. Four critical issues were found. Three were of high impact, three were of medium impact, 15 were of low impact, and the remaining findings were informational in nature.

Zellic © 2025Back to top ↑