Для аудита предлагаемого ценового потока разработчики Compound привлекли стартап OpenZeppelin, а для проверки свойств контрактов — Certora.