Tweag

Audited Products

Security reviews from Tweag's High Assurance Software group, focused on Cardano smart contracts, formal models, and protocols where subtle design errors can become production risk.

Public audit record.

Total audits: 19

Jul 2025

Audited for Midnight Foundation

Midnight Glacier Drop

Scripts that enable the minting and distribution of Star tokens to authorized users.

  • cardano
  • plutus
  • aiken

Website

Jan 2025

Audited for Wolfram Blockchain Labs

Wolfram Oracle

A smart contract that provides real-world currency exchange rates to a Marlowe contract.

  • cardano
  • plutus

Website

Nov 2024

Audited for Midnight Foundation

Midnight Glacier Drop

Scripts that enable the minting and distribution of Star tokens to authorized users.

  • cardano
  • plutus
  • aiken

Website

Aug 2024

Audited for Intersect

Djed

Cardano's native overcollateralized stablecoin, developed by IOG and powered by COTI. DJED is backed by ADA and uses SHEN as a reserve coin.

  • cardano
  • plutus

Website

Jul 2024

Audited for Intersect

Cardano's Governance - Constitution Script

On-chain governance infrastructure developed with Intersect and its members for Cardano's proposed governance mechanisms.

  • cardano
  • plutus

Website

Jun 2024

Audited for Intersect

Cardano's Governance - Credential and Identity Manager

Off-chain and on-chain support for credential and identity management in Cardano governance workflows.

  • cardano
  • plutus

Website

Mar 2024

Cerra AMM Swap

Automated market maker contracts that serve as a base building block for Cerra's derivatives and lending products.

  • cardano
  • plutus

WebsiteReport

Feb 2024

Cerra P2P Lending

Peer-to-peer lending contracts that organize requests by interest rate and safeguard loan principal, collateral, and terms.

  • cardano
  • plutus

WebsiteReport

Jun 2023

$BOOK Token

A multifunctional utility and loyalty token ecosystem for authors and readers.

  • cardano
  • aiken

WebsiteReport

Mar 2023

Audited for IOG

Marlowe

Open source tools to create, verify, and deploy secure smart contracts on Cardano, with JavaScript, Haskell, and Blockly interfaces.

  • cardano
  • plutus
  • isabelle

WebsiteReport

Nov 2022

Audited for IOG

Djed

Cardano's native overcollateralized stablecoin, developed by IOG and powered by COTI.

  • cardano
  • plutus

WebsiteReport

Sep 2022

Optim Liquidity Bonds

Trustless contracts for borrowing and lending ADA delegation rights, helping small stake pools, ecosystem projects, and individuals bootstrap liquidity.

  • cardano
  • plutarch

WebsiteReport

Aug 2022

Genius Yield DEX

An all-in-one platform combining a concentrated liquidity DEX with an automated yield optimizer.

  • cardano
  • plutarch

Website

Aug 2022

GeroWallet

A next-generation Web3 wallet for buying digital assets with fiat, plus swapping, staking, and synthetic-asset margin trading.

  • cardano
  • plutus

Website

Jun 2022

Genius Yield DEX

An all-in-one platform combining a concentrated liquidity DEX with an automated yield optimizer.

  • cardano
  • plutus

Website

May 2022

CardaxDEX

A private, non-custodial multi-chain DEX for token swaps and liquidity provision.

  • cardano
  • plutarch

Website

May 2022

Audited for IOG

Djed

Cardano's native overcollateralized stablecoin, developed by IOG and powered by COTI.

  • cardano
  • plutus

Website

Jan 2022

MinSwap

A decentralized exchange governed by a community that zaps.

  • cardano
  • plutus

WebsiteReport

Dec 2021

Meld

A non-custodial DeFi protocol for cross-chain lending, borrowing, staking, and integrated fiat banking.

  • cardano
  • plutus

Website

Nov 2021

Audited for Nomadic Labs

ctez

Collateralized tez that is fungible, decentralized, and designed to avoid opportunity cost from missing out on delegation.

  • tezos
  • ligo

Website

Oct 2021

Indigo protocol

A protocol for tokenizing real-world assets and giving users on-chain access to financial opportunities.

  • cardano
  • plutus

Website