The Re protocol is a reinsurance platform that enables users to deposit stablecoins and earn yield on reinsurance programs. It incorporates transparent event-based accounting, configurable oracles, and flexible redemption processes.

During the audit, the Certora team identified a total of 13 issues. All findings were addressed and fixed by the Re development team.

The resolution of these issues enhances protocol reliability, mitigates risks of fund loss or misuse, and aligns the system with best practices for smart contract security.