Summary
The most critical subjects covered in our audit are asset solvency, functional correctness, access control, precision of arithmetic operations and front-running. The general subjects covered are specification, gas efficiency and trustworthiness.
In summary, we find that the codebase provides a good level of security. The significant findings reported in Version 1 were addressed in Version 2 , which itself raised one additional medium severity correctness issue and one informational finding. The medium severity issue was addressed in Version 3 ; the informational finding was acknowledged.
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.
About Grove Basin
GroveLabs implements Basin, a liquidity pool that facilitates atomic swaps between a tokenized credit asset, its underlying collateral, and a stablecoin.