Exactly Protocol
  • Getting started
    • 🔔Welcome
    • ➡️Introduction
    • ❔FAQ
    • 🔗Quick Links
  • Governance
    • 🏛️Exactly Protocol Governance
      • ✍️Proposals and Voting
      • ⚡Snapshot
      • 📄Exactly Improvement Proposal (EXAIP) Template
    • ⚫Exactly Protocol (EXA)
      • 📊EXA Tokenomics
      • ⚪EscrowedEXA (esEXA)
      • EXA Staking Program (stEXA)
  • EXA APP
    • The Exa App
    • How the Exa App works
    • The Exa Tech stack
    • The Exa App Webauthn Owner Plugin
    • Exa Plugin
    • Exa App FAQs
  • Guides
    • ⚙️Protocol
      • Auditor
      • MarketETHRouter
      • Market
        • ERC-4626
      • PriceFeedWrapper
      • PriceFeedDouble
      • InterestRateModel
      • RewardsController
    • 🛰️Peripheral Contracts
      • 🌀DebtManager
      • ⚫EXA
      • ⚪esEXA
      • 🪂Airdrop
      • 👀Previewer (read-only)
      • 👓DebtPreviewer (read-only)
      • RatePreviewer (read-only)
    • ✨Features
      • Bad Debt Clearing
      • Dynamic Close Factor
      • Earnings Accumulator
      • Cross-Asset Leverager & Deleverager
      • Liquidity Reserve
      • Rewards Distribution Model
      • Rate Manipulation Prevention
      • Rollover
    • 💲Fixed Rate Operations
      • 📥Deposits
      • 📤Borrows
    • 🔢Parameters
    • 📈Interest Rates Curves
    • ♻️Liquidations
      • 🤖Exactly's Bot
    • ⛓️Smart Contract Addresses
    • 🌐The Graph
    • 🔮Chainlink Price Feeds
  • Security
    • 🔎Audits
    • 🔑Access Control
    • 🛡️Hypernative
    • 🧪Testing
    • 🧯Emergency Procedure
    • 🐛Bug Bounty Program
  • Resources
    • 📃White Paper
    • 🔣Math Paper v1
    • 🔣Math Paper v2
    • 🤝Partnerships
    • 📺Presentations
    • 📣Brand Assets
  • Legal
    • ⚖️Terms and Conditions of Use
    • 🔏Privacy Policy
    • 🍪Cookies Policy
Powered by GitBook
On this page
  1. Security

🔎Audits

PreviousChainlink Price FeedsNextAccess Control

Last updated 12 months ago

Was this helpful?

CtrlK
  • Code Audits
  • Other
  • Mathematical Audit
  • Highlights from the auditors

Was this helpful?

Code Audits

Exactly Protocol was audited by the following companies:

Auditor
Date
Report

ABDK

Oct 2022

ABDK 1st audit

ABDK

May 2023

ABDK 2nd audit

ABDK

Sep 2023

ABDK PeripheralContracts 1st audit

ABDK

Oct 2023

ABDK EscrowedEXA 1st audit

ABDK

Feb 2024

ABDK Interest Rate Model v2 1st audit

ABDK

Mar 2024

ABDK Interest Rate Model v2 2nd audit

ABDK

Apr 2024

ABDK Installments Router and New Market Roles 1st audit

Chainsafe

May 2022

Chainsafe 1st audit

Chainsafe

Oct 2022

Chainsafe 2nd audit

Chainsafe

Mar 2024

Chainsafe Interest Rate Model v2 1st audit

Chainsafe

Aug 2024

Chainsafe Staking Program 1st audit

Coinspect

Nov 2021

Coinspect 1st audit

Coinspect

May 2022

Coinspect 2nd audit

Coinspect

Oct 2022

Coinspect 3rd audit

Coinspect

Oct 2022

Coinspect 4th audit

Coinspect

Mar 2023

Coinspect 5th audit

Coinspect

Jan 2023

Coinspect RewardsController 1st audit

Coinspect

Feb 2023

Coinspect RewardsController 2nd audit

Coinspect

Mar 2023

Coinspect RewardsController 3rd audit

Cryptecon

Sep 2022

Cryptecon Economics of the Exactly Protocol

Hashlock

March 2024

Hashlock Interest Rate Model v2 1st audit

Hashlock

Apr 2024

Hashlock Installments Router and New Market Roles 1st audit

OpenZeppelin

Oct 2023

EscrowedEXA 1st audit

Quantstamp

July 2024

Exa App WebAuthn Plugin 1st audit

Sherlock

Aug 2024

Sherlock Staking Program 1st audit

Other

  • Code Coverage on Codecov

  • Audit Coverage on Zellic

  • Defi Safety Process Quality Report

Mathematical Audit

."On September 8th, 2022 the Center for Cryptoeconomics released its audit report on Exactly Protocol titled "Economics of the Exactly Protocol", concluding that Exactly's model is "economically plausible, mathematically correct, and theoretically feasible".

Highlights from the auditors

  • Exactly is a unique lending protocol design focusing on fixed instead of variable terms. At the cost of less flexibility, it can offer fixed rates and conceptually a lower spread than comparable projects. Thus, if lenders and borrowers demand fixed terms, Exactly's unique design is likely to become successful.

  • From the audit of the technical paper, we find that the mathematical specification of the model correctly reflects the conceptual idea of Exactly's decentralized credit market protocol.

  • Numerical calculations revealed that results from the model presented in the technical paper are plausible. Based on an initial calibration we find that the protocol is in principle able to produce competitive interest rates and spreads.

You can read the complete report here.