Code without blind spots

We audit smart contracts, verify critical code and build blockchain systems. We are also building the .

GET IN TOUCH SEE OUR WORK

Services

Security audits and smart contract engineering for blockchain systems.

Security audits and assurance

We review smart contracts and blockchain systems for security weaknesses.

Cardano

Ethereum

Solana

Midnight

Sonic

Design and development

Smart contract development for DeFi protocols, bridges, and settlement infrastructure, from architecture through mainnet deployment.

Haskell

Plutarch

Plinth

Third-party logos belong to their respective owners; no endorsement is implied. ETH diamond by ethereum.org, CC BY 4.0.

Our record

A record across EVM and UTXO systems since 2022.

AUDITS

CRITICAL FINDINGSOut of 362 total findings

CLIENT PROJECTS

Midgard Labs is the next chapter for the team behind Anastasia Labs. Our record includes work delivered under both names.

Selected work

Protocols, applications and tools built by our team.

Layer 2

Midgard

We are building an optimistic rollup Layer 2 for Cardano. The pre-alpha testnet is in development.

Stablecoin infrastructure

USDCx

Architecture and implementation for USDCx on Cardano, a USDC-backed stablecoin delivered with Input Output and powered by Circle’s xReserve infrastructure.

Cross-chain infrastructure

LayerZero

Technical consulting on the Cardano implementation of the LayerZero cross-chain messaging protocol.

Standards · CIP-143

Programmable Assets

We authored CIP-143 for programmable tokens that work with existing Cardano applications, later folded into the candidate CIP-113 standard. With Input Output, we applied it to a Wyoming Stable Token proof of concept with freeze and seize controls.

Distribution infrastructure

Midnight Glacier Drop

Operated one of the Hydra Heads that processed Midnight’s Glacier Drop claims off-chain and settled them on Cardano.

Off-chain framework

Lucid Evolution

An open-source transaction builder and off-chain framework for Cardano dApps, built for production use.

Open-source libraries

Design Patterns and Aiken Tooling

Design-pattern and data-structure libraries for Aiken and Plutarch, including tries, linked lists and Merkle structures.

Reference implementations

Reference DApps

Open-source reference applications that other teams can build on or adapt.

We take engagements from public bounty programs to confidential reviews under NDA. Client reports are published with client approval and state the status of the findings, including any unresolved issues. Publication does not certify a system as secure.

Ecosystem

Teams and projects we have worked with across the blockchain ecosystem. Our experience spans security audits, protocol engineering, open-source development and incident-response support.