Audited products
Auditing Cardano is a specialized discipline. Beyond a solid grasp of blockchain fundamentals, it calls for a deep familiarity with the platform's ledger, transaction model, governance mechanisms, and smart contract ecosystem. Our High Assurance Software group brings exactly that, having contributed to core components of Cardano and audited critical infrastructure across it. Alongside rigorous manual review, we use cooked-validators, our open-source framework, to model realistic transaction scenarios and run automated attack simulations against the systems we review. The result is a comprehensive assessment with concrete remediation suggestions. Explore the audits below.
Audited in July 2025 for Midnight Foundation
Midnight Glacier Drop is a collection of scripts that enable the minting and distribution of Star tokens to authorized users.
Audited in January 2025 for Wolfram Blockchain Labs
Wolfram Oracle is a smart contract that provides real-world currency exchange rates to a Marlowe contract.
Audited in November 2024 for Midnight Foundation
Midnight Glacier Drop is a collection of scripts that enable the minting and distribution of Star tokens to authorized users.
Audited in August 2024 for Intersect
Cardano's native overcollateralized stablecoin, developed by IOG and powered by COTI. DJED is backed by ADA and uses SHEN as a reserve coin.
Audited in July 2024 for Intersect
Intersect and its members play an important role in shaping the proposed on-chain governance mechanisms - and the development of off-chain tools and processes to support it.
Audited in June 2024 for Intersect
Intersect and its members play an important role in shaping the proposed on-chain governance mechanisms - and the development of off-chain tools and processes to support it.
Audited in March 2024
Derivatives and Pool Lending functionality will be built on top of AMM smart contracts. This is the reason why we are starting with Automated Market Maker. It is extremely important to get this part right, as batching and fund pooling (global state) architecture and functionality will serve as a base building block for our future products, including Derivatives and Lending pools.
Audited in February 2024
In our operational model of peer-to-peer lending, a diverse set of individuals can initiate requests for lending or borrowing. These requests are then organized according to their interest rates, leading to the establishment of an order book. Central to this process is the smart contract, serving as the binding agreement that links the involved parties. This contract safeguards the allocated funds, encompassing the initial loan sum and collateral, as well as the relevant parameters defining the terms. Moreover, it holds the crucial responsibility of overseeing the accurate implementation of the stipulated loan conditions.
Audited in June 2023
A true multifunctional utility and loyalty token ecosystem for Authors & Readers.
Audited in March 2023 for IOG
Marlowe offers developers a set of open source tools to easily create, verify, and deploy secure smart contracts on Cardano. Now more accessible than ever, code in JavaScript and Haskell, or use Blockly for a low-code, visual solution.
Audited in November 2022 for IOG
Cardano's native overcollateralized stablecoin, developed by IOG and powered by COTI.
Audited in September 2022
Borrow and Lend ADA delegation rights. All on-chain and trustless. Lend to small stake pools, ecosystem projects, or individuals. Earn additional yield and contribute to decentralization of the network. SPOs can bootstrap small pools and projects can raise funds in a decentralized way.
Audited in August 2022
The all-in-one platform, that combines a concentrated liquidity DEX with an automated yield optimizer.
Audited in August 2022
GeroWallet is named in honor of Gerolamo Cardano, an Italian polymath, and is a next-generation Web3 wallet. In addition to traditional functionality that currently exists in Web3 wallets, GeroWallet provides users with the ability to purchase digital assets using fiat. GeroWallet also allows users to swap, stake, and margin trade synthetic assets. These functions are designed with a focus on user experience, providing a full suite of features for naive and seasoned enthusiasts.
Audited in June 2022
The all-in-one platform, that combines a concentrated liquidity DEX with an automated yield optimizer.
Audited in May 2022
Private Non-custodial Multi-chain DEX. Swap tokens & Earn passive income by becoming a liquidity provider.
Audited in May 2022 for IOG
Cardano's native overcollateralized stablecoin, developed by IOG and powered by COTI.
Audited in December 2021
MELD is a non-custodial DeFi protocol for web3 finance, providing cross-chain lending, borrowing and staking on the MELD blockchain supporting the six leading blockchains as well as integrated fiat Banking.
Audited in November 2021 for Nomadic Labs
Ctez, your portal to Tezos DeFi. Collateralized tez that is fungible, decentralized, and without opportunity cost from missing out on delegation. Achieved with a bit of mathematics.
