Veridise Audit Reports

Check out the below links to see interesting audit reports that I performed at Veridise! Most of the projects I worked on have remained private at request of the client, but the below are links to some of the public audits I performed which are available on Veridise’s website.

• o1js ZK constraint library and blockchain integration: The Mina execution layer and standard library for writing ZK circuits
• Mina fungible token standard: ERC-20-style token standard for the Mina blockchain
• Lumina DEX: An AMM written for the Mina blockchain
• Edgeless network smart contracts: A simple vault written in Solidity
• Range Solidity vaults: ERC-4626 vaults in Solidity
• Rate Limiting Nullifier from PSE: Privacy-preserving rate-limiting in circom
• GoodEntry: Managed vaults in Solidity
• Cata Labs: Catalyst: A cross-chain custom AMM
• Manta Network: ZK-circuits for an L2
• Tonic: An orderbook written for the NEAR blockchain