ChainSecurity has been a close partner to Grove as we ship products and infrastructure used by some of the largest financial institutions and onchain protocols. We can consistently rely on them to enforce and improve upon the strict security standards that Grove and our partners demand.
GroveLabs implements a contract that batches actions of the PSM and the savings token. This is a fork of Spark User Action.
The most critical subjects covered in our audit are functional correctness and precision of arithmetic operations. Security regarding all the aforementioned subjects is high.
The general subjects covered are unit testing and documentation. There is no documentation in the codebase.
In summary, we find that the codebase provides a high level of security.
It is important to note that security audits are time-boxed and cannot uncover all vulnerabilities. They complement but don’t replace other vital measures to secure a project.