DeFi applications, zero-knowledge circuits, wallets, blockchains — you name it, we’ve audited it! During our audits, we’ve uncovered dozens of serious security vulnerabilities that were missed by other security auditors. These vulnerabilities would have cost our clients millions of dollars when exploited. Want to learn more? Check out some news articles featuring vulnerabilities detected during our audits.
Testimonials
The Veridise team was extremely detailed, helpful and collaborative during the audit and formal verification, it was a joy working with them.
Andy Guzman
Product Owner at Semaphore, Privacy and Scaling Explorations Team, Ethereum Foundation
Veridise is a highly technical and persistent team — we felt very comfortable in their hands.
chudnov
Ribbon Finance
We are super happy to have worked with Veridise. It’s clear they looked into our circuits in great detail. One of the bugs they found was critical and quite subtle, so we were impressed with their work.
Uma
Succinct
As the regular retainer of Ankr, Veridise has done an amazing job. They helped our protocols avoid very critical mistakes when other audit firms signed off and issued reports…
Ryan
Co-Founder of Ankr
Past Audits
Protocol | Resource | Start Date | Language(s) | Tag(s) |
---|---|---|---|---|
Edgeless Network Contracts | Report | Mar 2024 | Solidity | Smart Contracts, Solidity, Cross-Chain, Liquid Staking, Staking |
DeFi #53 | Mar 2024 | Solidity | Smart Contracts, Solidity, Liquid Staking, Vault | |
DeFi #51 | Mar 2024 | Solidity | Smart Contracts, Solidity, Cross-Chain | |
DeFi #50 | Feb 2024 | Solidity | Smart Contracts, Solidity, Payments | |
DeFi #58 | Feb 2024 | Solidity | Smart Contracts, Solidity, Request for Quote (RFQ), Vault | |
Snap # | Feb 2024 | Typescript | Wallet Integration, Metamask Snap, Blockchain Wallet Integration | |
DeFi #59 | Feb 2024 | Leo,Solidity,Typescript | Smart Contracts, Relayer/Off-Chain Backend Service, Leo, Solidity, mongoose, Bridge | |
Key Management #5 | Feb 2024 | Rust | Wallet / Key Management, AWS | |
onthis.xyz Snap | Report | Feb 2024 | Typescript | Wallet Integration, Metamask Snap, Transaction Analysis |
DeFi #55 | Feb 2024 | Rust | Relayer/Off-Chain Backend Service, Relayer/Off-Chain Backend Service, Smart Contracts, AWS, ethers, Solidity, ethers, Soroban, ethers, ethers, Bridge | |
DeFi #60 | Jan 2024 | Typescript,Rust | Relayer/Off-Chain Backend Service, Request for Quote (RFQ) | |
Key Management #4 | Jan 2024 | |||
DeFi #47 | Jan 2024 | Solidity | Smart Contracts, Solidity, NFT Marketplace | |
ZK #5 | Jan 2024 | Solidity | ZK Circuits, Solidity | |
DeFi #46 | Jan 2024 | Solidity | Smart Contracts, Solidity, Lending | |
DeFi #42 | Jan 2024 | Leo | Smart Contracts, Leo, AMM | |
DeFi #45 | Jan 2024 | Solidity | Smart Contracts, Solidity | |
DeFi #44 | Jan 2024 | Solidity | Smart Contracts, Solidity, Staking, Token / ERC20 | |
DeFi #49 | Jan 2024 | Solidity | Smart Contracts, Solidity, Rewards / Distribution | |
Cata Labs: Generalised Incentives and Underwriting | Jan 2024 | Solidity | Smart Contracts, Solidity, AMM | |
DeFi #48 | Jan 2024 | Solidity | Smart Contracts, Solidity, Transaction Execution | |
DeFi #41 | Jan 2024 | Solidity | Smart Contracts, Solidity, Token / ERC20 | |
DeFi #27 | Jan 2024 | Leo | Smart Contracts, Leo, AMM | |
DeFi #32 | Jan 2024 | Rust | Smart Contracts, Soroban, AMM | |
Source Code Verification #2 | Dec 2023 | Solidity | Smart Contracts, Solidity, AMM | |
Genesis Liquid Restaking | Report | Dec 2023 | Solidity | Smart Contracts, Solidity, Liquid Staking |
DeFi #35 | Dec 2023 | Solidity | Smart Contracts, Solidity, Token / ERC20 | |
DeFi #36 | Dec 2023 | Solidity | Smart Contracts, Solidity, Vault | |
DeFi #38 | Dec 2023 | Solidity | Smart Contracts, Solidity, Rewards / Distribution | |
StakeStone | Report | Dec 2023 | Solidity | Smart Contracts, Solidity, Vault |
Meow Protocol | Report | Nov 2023 | Solidity | Smart Contracts, Solidity, Lending |
Server #2 | Nov 2023 | JSON | Relayer/Off-Chain Backend Service, Firebase Security Rules | |
Tomo V2 | Report | Nov 2023 | Solidity | Smart Contracts, Solidity |
DeFi #29 | Nov 2023 | Solidity | Smart Contracts, Solidity, Transaction Execution | |
ZK #4 | Nov 2023 | Go | ZK Circuits, Gnark, Recursive Verifier | |
Daimo Webauthn | Report | Nov 2023 | Solidity | Smart Contracts, Solidity, Account Abstraction / ERC 4337 |
Tie Finance: Eth Leverage On AAVE | Report | Nov 2023 | Solidity | Smart Contracts, Solidity, Vault |
GoodEntry geV2 | Report | Oct 2023 | Solidity | Smart Contracts, Solidity, Options, Vault |
BlockChain #2 | Oct 2023 | Rust | Blockchain Implementation | |
Atem Network | Oct 2023 | Solidity | Smart Contracts, Solidity, Vesting | |
DeFi #40 | Oct 2023 | Solidity | Smart Contracts, Solidity, Rewards / Distribution | |
Web3 AntiVirus Snap | Report | Oct 2023 | Typescript | Wallet Integration, Metamask Snap |
DeFi #31 | Oct 2023 | Solidity | Smart Contracts, Solidity, Options, Vault | |
MetaMask Snap #5 | Oct 2023 | Typescript | Wallet Integration, Metamask Snap | |
Aperture Finance | Report | Sep 2023 | Solidity | Smart Contracts, Solidity |
ZK #6 | Sep 2023 | Rust | ZK Circuits, Halo2, Machine Learning, Recursive Verifier | |
DeFi #20 | Sep 2023 | Rust | Smart Contracts, Solana | |
DeFi #21 | Sep 2023 | Solidity | Smart Contracts, Solidity, Options | |
Daimo, P256Verifier | Report | Sep 2023 | Solidity | Smart Contracts, Solidity, Account Abstraction / ERC 4337 |
Range Vault Manager Contracts, Range GHO Vault | Report | Sep 2023 | Solidity | Smart Contracts, Solidity, Vault |
DeFi #16 | Aug 2023 | Solidity | Smart Contracts, Solidity | |
DeFi #22 | Aug 2023 | Solidity | Smart Contracts, Solidity, Games | |
Gamma Protocol | Unwinding | Report | Jul 2023 | Solidity | Smart Contracts, Solidity, Yields |
Cog Finance | Report | Jul 2023 | Vyper | Smart Contracts, Vyper, AMM, Yields |
Versa | Report | Jul 2023 | Solidity | Smart Contracts, Solidity, Account Abstraction / ERC 4337 |
Key Management #1 | Jul 2023 | Rust | Wallet / Key Management, AWS | |
DeFi/ZK #3 | Jul 2023 | Solidity | ZK Circuits, Solidity | |
Cubist Snap | Report | Jul 2023 | Typescript | Wallet Integration, Metamask Snap |
DeFi #23 | Jul 2023 | Solidity | Smart Contracts, Solidity, NFT Marketplace | |
DeFi #31 | Jul 2023 | Solidity | Smart Contracts, Solidity, Library/Infrastructure | |
L-Token | Report | Jun 2023 | Solidity | Smart Contracts, Solidity, Token / ERC20 |
DeFi #24 | Jun 2023 | Solidity | Smart Contracts, Solidity, Bridge, Token / ERC20, Bridge | |
Mina Snap | Report | Jun 2023 | Typescript | Wallet Integration, Metamask Snap |
Partisia Blockchain Snap | Report | Jun 2023 | Typescript | Wallet Integration, Metamask Snap |
Kleros Scout | Report | Jun 2023 | Typescript | Wallet Integration, Metamask Snap |
ANKR Sui Liquid Staking | Jun 2023 | Sui Move | Smart Contracts, Sui Move, Staking | |
DeFi #18 | Jun 2023 | Solidity | Smart Contracts, Solidity | |
Server #1 | May 2023 | Rust | Wallet / Key Management, AWS | |
Davos #2 | Report | May 2023 | Solidity | Smart Contracts, Solidity |
AlloyX #3 | May 2023 | Solidity | Smart Contracts, Solidity | |
Shib Original Vision Locker | Report | May 2023 | Solidity | Smart Contracts, Solidity |
Prime Protocol #3 | Report | May 2023 | Solidity | Smart Contracts, Solidity, Cross-Chain, Stablecoin |
DeFi #19 | May 2023 | Rust | Smart Contracts, Solidity, NFT Marketplace | |
DeFi #25 | May 2023 | Solidity | Smart Contracts, Solidity, NFT Marketplace | |
Rate Limiting Nullifier | Report | May 2023 | Circom,Solidity | Smart Contracts, ZK Circuits, Circom, Solidity |
DeFi #15 | Apr 2023 | Solidity | Smart Contracts, Solidity, AMM | |
ZK #2 | Apr 2023 | Rust | ZK Circuits, arkworks, Library/Infrastructure | |
DeFi #14 | Apr 2023 | Solidity | Smart Contracts, Solidity | |
DeFi #13 | Apr 2023 | Solidity | Smart Contracts, Solidity, Staking | |
Shib Original Vision | Report | Apr 2023 | Solidity | Smart Contracts, Solidity, Token / ERC20 |
Unirep | Report | Apr 2023 | Solidity | Smart Contracts, ZK Circuits, Circom, Solidity, Reputation |
Sismo HydraS2 | Report | Mar 2023 | Solidity | ZK Circuits, Solidity |
Sismo CommitmentMapper | Mar 2023 | Solidity | ZK Circuits, Solidity, Reputation | |
Gamma Protocol | Report | Mar 2023 | Solidity | Smart Contracts, Solidity, Options |
Prime Protocol #2 | Report | Mar 2023 | Solidity | Smart Contracts, Solidity, Cross-Chain, Stablecoin, Staking |
Manta Circuits | Report | Mar 2023 | Rust | ZK Circuits, arkworks |
Manta Chain | Report | Mar 2023 | Rust | Blockchain Implementation, Substrate |
Cata Labs Catalyst | Feb 2023 | Solidity | Smart Contracts, Solidity, AMM, Cross-Chain | |
Poolshark | Report | Feb 2023 | Solidity | Smart Contracts, Solidity, AMM |
ANKR Token Staking | Feb 2023 | Solidity | Smart Contracts, Solidity, Staking | |
ANKR BNB Token Staking | Report | Jan 2023 | Solidity | Smart Contracts, Solidity, Staking |
Tonic | Report | Jan 2023 | Rust | Smart Contracts, NEAR, Orderbook |
AlloyX #2 | Jan 2023 | Solidity | Smart Contracts, Solidity, Staking, Yields | |
Scroll ZkEVM | Jan 2023 | Rust | Blockchain Implementation, ZK Circuits, Solidity | |
DeFi #4 | Dec 2022 | Solidity | Smart Contracts, ZK Circuits, Solidity | |
Parallel #2 | Report | Dec 2022 | Solidity | Smart Contracts, Solidity, Lending |
Semaphore | Report | Dec 2022 | Solidity | Smart Contracts, ZK Circuits, Solidity |
DeFi #2 | Nov 2022 | Solidity | Smart Contracts, Solidity | |
Dogechain #3 | Oct 2022 | Solidity | Smart Contracts, Solidity, Library/Infrastructure | |
Succinct | Report | Oct 2022 | Circom | ZK Circuits, Circom |
ZK #1 | Sep 2022 | Circom | ZK Circuits, Circom, Library/Infrastructure | |
Prime Protocol #1 | Report | Aug 2022 | Solidity | Smart Contracts, Solidity, Cross-Chain, Lending |
Dogechain #2 | Aug 2022 | Solidity | Blockchain Implementation, Solidity | |
MakerDAO | Report | Aug 2022 | Cairo | Smart Contracts, Cairo, Stablecoin |
Davos #1 | Aug 2022 | Solidity | Smart Contracts, Solidity, Rewards / Distribution, Stablecoin | |
Circom-Bigint (Circomlib) | Report | Jul 2022 | Circom | ZK Circuits, Circom, Library/Infrastructure |
Ribbon Earn | Report | Jul 2022 | Solidity | Smart Contracts, Solidity, Staking |
AlloyX | Report | Jul 2022 | Solidity | Smart Contracts, Solidity, Staking, Yields |
Blockchain #1 | Jul 2022 | Solidity | Smart Contracts, Solidity, Library/Infrastructure | |
DeFi #1 | Jun 2022 | Solidity | Smart Contracts, Solidity, Orderbook | |
Helio | Report | May 2022 | Solidity | Smart Contracts, Solidity, Rewards / Distribution, Stablecoin |
Parallel #1 | Report | May 2022 | Solidity | Smart Contracts, Solidity |
Dogechain #1 | Report | May 2022 | Go,Solidity | Blockchain Implementation, Smart Contracts, Solidity |