Algorand Ecosystem Audits

This is an incomplete but growing collection of audit reports in the Algorand ecosystem.

Why collect all these audit reports?

This collection is collected for builders by builders and it is intended for everyone who wants to learn from past audits to improve their own projects.

How to contribute?

First, thank you for helping! Clone this repository, add a project / audit report in this README.md file (the projects are ordered alphabetically), and create a pull request. Too much work? Feel free to drop an email to kevin[at]blockshake[dot]io and we will add the report for you.

---

Algofi

• Lending Protocol V2
  • https://github.com/runtimeverification/publications/blob/bcdc507b9bfc36f7f6df447898505a98b84c6143/reports/smart-contracts/algofi-v2-audit-report.pdf
• Lending Protocol V1
  • https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Algofi.pdf
• DEX
  • https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Algofi-dex-nanoswap.pdf
  • https://github.com/Algofiorg/algofi-audits/blob/main/NCC_Group_Algofi_AMM_Nanoswap_March_2022.pdf
• Vault
  • https://github.com/coinspect/publications/blob/master/Coinspect%20-%20Smart%20Contract%20Audit%20-%20Algofi%20Algo%20Vault.pdf
• Governance
  • https://github.com/Algofiorg/algofi-audits/blob/main/Certik_Algofi_Governance_September_2022.pdf

AlgoFund

• Launchpad
  • https://certik-public-assets.s3.amazonaws.com/CertiK-Audit-for-AlgoFund-v9.pdf

AlgoRai

• Vault
  • https://kudelskisecurity.com/wp-content/uploads/AlgoRai-Secure-Code-Review-Report-Public-Release.pdf

Cometa

• Yield Farming
  • https://certik-public-assets.s3.amazonaws.com/CertiK-Audit-for-Cometa---Audit-1-v4.pdf

Deflex

• Order Routing and Limit Orders
  • https://github.com/vantagepointreports/releases/blob/main/VPQ-20220418%20-%20Deflex%20-%20Smart%20Contract%20Audit%20of%20Deflex%20Protocol_Public_V1.1.pdf

Defly

• Wallet
  • https://kudelskisecurity.com/wp-content/uploads/Defly-SCR-2022-ExecSummary-v2.1.pdf

Folks Finance

• Lending Borrowing
  • https://github.com/Folks-Finance/audits/blob/main/Runtime%20Verification%20-%20Smart%20Contract%20Audit%20-%20February%202022.pdf
  • https://github.com/Folks-Finance/audits/blob/main/Vantage%20Point%20-%20Smart%20Contract%20Audit%20-%20February%202022.pdf
  • https://github.com/Folks-Finance/audits/blob/main/Coinspect%20-%20Smart%20Contract%20Audit%20-%20March%202022.pdf
• LP
  • https://github.com/Folks-Finance/audits/blob/main/Vantage%20Point%20-%20Revision%20Audit%20of%20Token%20Pair%20and%20Oracle%20Adapter%20-%20May%202022.pdf
• ALGO Liquid Gov
  • https://github.com/Folks-Finance/audits/blob/main/Vantage%20Point%20-%20Revision%20Audit%20of%20Liquid%20Governance%20V2%20-%20June%202022.pdf
  • https://github.com/Folks-Finance/audits/blob/main/Vantage%20Point%20-%20Revision%20Audit%20of%20Liquid%20Governance%20V3%20-%20September%202022.pdf

GARD

• Overcollateralized Borrowing / Stablecoin / Governance
  • https://www.algogard.com/audits/GARD-March-2022-Coinspect-Audit.pdf
  • https://www.algogard.com/audits/GARD-March-2022-Vantage-Point-Audit.pdf

Glitter Finance

• Bridge
  • https://certik-public-assets.s3.amazonaws.com/CertiK-Audit-for-Glitter-Finance-(Algorand)-v17.pdf
  • https://certik-public-assets.s3.amazonaws.com/CertiK-Audit-for-Glitter-Finance-(Algorand)-Addendum-v17.pdf

Humble:

• DEX
  • https://www.dropbox.com/sh/p95hbna2ked2e4g/AAB3peuMjRdtQQS3mVAiHWkfa?dl=0&preview=Reach+-+Security+Review+for+HumbleSwap+Smart+Contract+v1.0.pdf

Opulous

• DeFi Loans
  • https://certik-public-assets.s3.amazonaws.com/CertiK-Audit-for-Opulous-v10.pdf
• Staking Pools
  • https://certik-public-assets.s3.amazonaws.com/CertiK-Audit-for-Opulous---Staking-Pools-(Audit-2)-v10.pdf

Pact

• DEX
  • https://kudelskisecurity.com/wp-content/uploads/Algorand-Foundation-and-PACT-Finance-PACT-Finance-Security-Assessment-v2.0-Public-002.pdf
  • https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Pact_Fi.pdf
• Stable-Swaps:
  • https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Pact_Fi_StableSwap.pdf
• Router:
  • https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Pact_Fi_Router.pdf

Silo

• https://github.com/headline-design/silo-protocol/blob/main/smartContract_audits/Final%20-%20Silo%20Defi%20Smart%20Contract%20Audit%20Report.pdf

Tinyman

• V1.0
  • https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tinyman.pdf
• V1.1
  • https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tinyman-security-review.pdf
  • https://github.com/coinspect/publications/blob/master/Coinspect%20-%20Smart%20Contract%20Update%20Review%20-%20Tinyman%20v220107.pdf
• V2.0
  • https://github.com/runtimeverification/publications/blob/main/reports/smart-contracts/Tinyman-amm-v2-audit/tinyman-amm-v2-audit-report.pdf

VerdeX

• Launchpad
  • https://certik-public-assets.s3.amazonaws.com/CertiK-Audit-for-VerdeX-Launchpad-v7.pdf

Vestige

• Vault, Launchpad, Stake
  • https://github.com/vestigefi/SmartContracts/blob/main/Vestige%20-%20Secure%20Code%20Review%20of%20VestigeSafe%2C%20TinyStake%2C%20%26%20TinyStart%20v1.1.pdf