Developers
  • Get Started
    • Important Links
  • Deployments
    • Deployment Tracker
    • Tenderly Virtual Testnet
    • LockStake Engine (Seal Engine)
  • Integration Touchpoints
    • Standards
    • Token Pairs & Routes
  • Modules
    • USDS
    • SKY
    • sUSDS (Savings USDS)
    • LitePSM
      • LitePSM User Guide
    • Staking Rewards
    • SkyLink
    • SmartBurn Engine
    • LockStake Engine (Seal Engine)
    • Allocation System
  • Data
    • APIs
  • guides
  • Security
    • Security Measures
      • Overview
      • Development Practices
      • Security Mechanisms
    • Bug Bounty Program
Powered by GitBook
On this page
  1. Security
  2. Security Measures

Development Practices

PreviousOverviewNextSecurity Mechanisms

Last updated 7 months ago

Formal Verification

The following codebases have been formally verified using Certora. Please find the links to the Certora specs here:

  • LitePSM:

  • USDS and DAI-USDS Converter:

  • SKY and MKR-SKY Converter:

https://github.com/makerdao/dss-lite-psm/tree/main/certora
https://github.com/makerdao/usds/tree/dev/certora
https://github.com/makerdao/sky/tree/dev/certora