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 | 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 |