Skip to content
Dan Baruka
All projects01 / Cardano / 2026

Verifiable AI audits for Midnight smart contracts. Cardano is next.

Role
Design and engineering
Year
2026
Stack
Midnight, Compact, Cardano, TypeScript
(01) Overview

00trust audits Compact contracts with nine specialized agents. Every report is bound to the source commit and anchored on Midnight, so anyone can check the verdict.

Midnight ships first. Cardano is the next chain.

(02) Highlights
  1. 01Nine agents, one verdict. A review agent drops any finding it cannot confirm in the code.
  2. 02Report hash anchored on Midnight, bound to the commit, the compiler and the verifier keys.
  3. 03Midnight first. Cardano next.
Next projectSafrochain
(→)Contact

Hiring for a protocol role, launching a chain, or need a hand with validators and upgrades? Tell me about it.