Compound money markets are defined by a pair of prevailing interest rates (the supply and the borrowing rate), applied to all users uniformly, which adjust over time as the relationship …

Compound money markets are defined by an interest rate, applied to all borrowers uniformly, which adjust over time as the relationship between supply and demand changes.

This report presents work and conclusions based on a collaboration between Compound and Certora using Certora’s Prover tool to formally verify security properties of Compound’s Money …

dApps, machines, and exchanges with token balances can use the Compound protocol as a source of monetization and incremental returns by “sweeping” balances; this has the potential …

This report presents work and conclusions based on a collaboration between Compound and Certora using Certora’s Prover tool to formally verify security properties of Compound’s Money …

dApps, machines, and exchanges with token balances can use the Compound protocol as a source of monetization and incremental returns by “sweeping” balances; this has the potential …