This document describes the specification and verification of Radicle Drips Contracts using the Certora Prover. The work was undertaken from 06 December 2022 to 01 January 2023. The latest commit that was reviewed and run through the Certora Prover was 6fe9d38.

The scope of our verification was the Splits contract Splits.sol.

The Certora Prover proved the implementation of the contract above is correct with respect to the formal rules written by the Certora team. The team also performed a manual audit of the contract. All the rules are publically available and can be found in Radicle’s public github.