Database of public audits made by ABDK Consulting
| Company | Year | Report Link |
|---|---|---|
| edgeswap | 2021 | 1. EdgeSwap Circuit |
| nil Foundation | 2024 | 1. BlockchainVerifier |
| Term Structure | 2023 | 1. Zk zircom |
| Tornado | 2019-2020 | 1. Farm circuits 2. Farm circuits final version 3. Tornado Core |
| Zeropool | 2021-2022 | 1. Fawkes crypto 2. Libzeropool 3. Libzeropool update |
| zkLink | 2023 | 1. Zklink circuit |
| ZkSwap | 2021 | 1. Core v0.9 |
| Herodotus | 2023 | 1. Herodotus |
| StarkWare | 2023 | 1. Perpetual_V3.1 2. Perpetual_V3.2 |
| zkLend | 2023 | 1. zkLend Core |
| Company | Year | Report Link |
|---|---|---|
| Mystiko | 2023 | 1. Solidity ZoKrates |
| Railgun | 2021 | 1. Core |
| zkSync | 2020 | 1. ZKSync protocol 2. NFT 3. Zklink circuits and smart contracts |
| Company | Year | Report Link |
|---|---|---|
| equihashnano | 2021 | 1. Research report |
| blockswap | 2023 | 1. CIP cryptography audit 2. RPBS Cryptography |
| Polyhedra | 2023 | 1. Whitepaper |
| StarkWare | 2024 | 1. OS |
| Tornado | 2019 | 1. Tornado privacy solution |
| Zcoin Foundation | 2020 | 1. Lelantus Protocol |