Compound is a DeFi lending protocol that allows users to supply collateral assets and borrow a base token. The BytecodeRepository is a cross-chain infrastructure that solves the fundamental challenge of deploying identical, audited smart contracts for Compound across multiple blockchain networks.

Certora's code review of the BytecodeRepository source code identified important security issues which were addressed by the development team. The details of the methodology, findings, and responses can be found in the full report below.