Brahma is a protocol-enabling seamless access to risk-managed, cross-chain strategies for sustainable yield.
Zellic conducted an audit for Brahma from May 2nd to May 13th, 2022, on the scoped contracts and discovered 6 findings. The audit uncovered 3 findings of high impact, 2 of medium impact, and 1 of low impact.
Zellic thoroughly reviewed the Brahma Protected MoonShots codebase to find protocol-breaking bugs as defined by the documentation and any technical issues outlined in the Methodology section of this document. Specifically, taking into account Brahma's threat model, we focused heavily on issues that would break core invariants like the issuance and redeeming of shares within the Vault as well as problems that may arise on various interactions with the protocol.
Our general overview of the code is that the codebase is of satisfactory quality. The code coverage is high, and tests are included for the majority of the functions. The documentation is adequate.