| Name | Report | Artifact | Year |
|---|---|---|---|
| Ethereum Weak Subjectivity | 2020 | ||
| Ethereum Gasper (GHOST + Casper) | GitHub | 2020 | |
| PlatON Giskard | GitHub | 2020 | |
| Ethereum CBC Casper | GitHub | 2019-Present | |
| Algorand | GitHub | 2019 | |
| Ethereum Beacon Chain Phase 0 | GitHub | 2019 | |
| Ethereum Casper FFG | GitHub | 2018 | |
| Elrond ESDT | 2022 | ||
| MultiversX Async Calls V2 | GitHub | 2023 |
| Name | Report | Artifact | Year |
|---|---|---|---|
| Wasmi | Wasmi - WebAssembly (Wasm) Interpreter | 2024 |
| Name | Report | Blog Post | Artifact | Year |
|---|---|---|---|---|
| TermFinance | FV Summary | 2024 | ||
| Oveit | 2024 | |||
| Soroswap Aggregator | Report Audit Summary | 2024 | ||
| Lido (Dual Governance) | 2024 | |||
| Optimism | Blog Post | Proofs | 2024 | |
| FxDAO | 2024 | |||
| Band Standard Reference Contract | 2023 | |||
| Synonym | 2023 | |||
| Zivoe Locker Contracts | 2023 | |||
| Zivoe Core Contracts | 2023 | |||
| Hatom Liquid Staking | 2023 | |||
| Blockswap Stakehouse Withdrawals | 2023 | |||
| HydraDX Withdrawal Fee | 2023 | |||
| Galactic Skyteller v1 | 2023 | |||
| Ojo | 2023 | |||
| Gigastar Channel Revenue Distribution | 2023 | |||
| Galactic Skyteller Debit Card v0 | 2023 | |||
| Morpho | 2023 | |||
| Proof of Neutrality Network | Blog Post | Model | 2023 | |
| AshSwap | Blog Post | 2023 | ||
| Optimism | 2022 | |||
| EigenLayer Design Review | 2022 | |||
| WorldMobileGroup Ownership | 2022 | |||
| EUROe Stablecoin | 2022 | |||
| Tinyman AMM v2 | Blog Post | here | 2022 | |
| Hatom Protocol | 2022 | |||
| HydraDX Omnipool | 2022 | |||
| xBacked | Blog Post | 2022 | ||
| Jpg.Store | 2022 | |||
| Pact.fi Router | Blog Post | 2022 | ||
| Blockswap Stakehouse, 2nd audit | Blog Post | 2022 | ||
| Blockswap Gateway | 2022 | |||
| Swaap Labs Pools | Blog Post | 2022 | ||
| Quipuswap Stableswap | Blog Post | 2022 | ||
| Hone | Blog Post | 2022 | ||
| Gyroscope Protocol | Blog Post | 2022 | ||
| EXA Finance | Blot Post | 2022 | ||
| Blockswap Stakehouse | Blog Post | 2022 | ||
| Algofi AMM & Nanoswap | 2022 | |||
| Atlendis | Blog Post | 2022 | ||
| Folks Finance (Audit) | Blog Post | 2022 | ||
| Folks Finance (Design) | Blog Post | 2022 | ||
| Alchemix v2 | Blog Post | 2022 | ||
| Pact.fi | Blog Post | 2022 | ||
| Pact.fi StableSwap | Blog Post | 2022 | ||
| SundaeSwap | 2022 | |||
| Tinyman (Security Review) | Blog Post | 2022 | ||
| Tracer Perpetual Pools V2 | 2021 | |||
| Quipuswap TTDex | Blog Post | GitHub | 2021 | |
| Stakefish Ethereum Staking 2.0 | Blog Post | 2021 | ||
| Algodex (phase 2) | 2021 | |||
| Algodex (phase 1) | 2021 | |||
| Algofi | Blog Post | 2021 | ||
| Yieldly Multi-Token Staking Pool | Blog Post | 2021 | ||
| Element Finance Governance | Blog Post | 2021 | ||
| Algorand Governance Rewards | Blog Post | 2021 | ||
| Tinyman | Blog Post | 2021 | ||
| Tezos Liquidity Baking | GitHub | 2021 | ||
| XET Script | Blog Post | 2021 | ||
| Tezos Dexter | GitHub | 2021 | ||
| Element Finance | Blog Post | 2021 | ||
| StakerDAO | 2021 | |||
| StakeWise | 2020 | |||
| Stakefish | Blog Post | 2020 | ||
| Ethereum Deposit | GitHub | 2019-2020 | ||
| Polkadot Module | GitHub | 2019-2020 | ||
| GnosisSafe | GitHub | 2019 | ||
| Ethereum Casper (Deprecated) | GitHub | 2018 | ||
| Uniswap V1 | GitHub | 2018 | ||
| Bihu | GitHub | 2018 | ||
| ERC20 Tokens | Github | 2017-2018 |
| Name | Report | Blog Post | Artifact | Year |
|---|---|---|---|---|
| Zorp zkVM design review | 2023 |
| Name | Report | Artifact | Year |
|---|---|---|---|
| Elrond WASM | GitHub | 2020-Present | |
| IELE | FM'2019 | GitHub | 2016-Present |
| EVM | CSF'2018 | GitHub | 2016-Present |
| Name | Report | Artifact | Year |
|---|---|---|---|
| Tezos Michelson | GitHub | 2019-Present |
| Name | Report | Artifact | Year |
|---|---|---|---|
| ERC777 | GitHub | 2018 | |
| ERC20 | GitHub | 2017 |