WORK

Recent audits and reviews

We independently verify the voting process and results so that the community can trust that outcomes reflect members votes. Further we do independent assurance for the community, checking that treasury funded work is delivered, the quality, evidence and documentation are strong enough for others to verify or continue the work.

Our assurance reviews are used by Intersect to judge if the treasury spending is justified. We take our work very seriously and don't accept verification that doesn't pass criteria and our own standards.

Our work requires deep understanding of Cardano core protocols, products and cryptography.

WORK / AUDITS · 8

Audits

Intersect Development

CARDANO

Constitutional Amendment Portal

Audit of the Intersect Constitutional Amendment Portal

Review

Completed

Delivery

Delivered

15-Jul-2026

CARDANO

Ekklesia Proposal Module

Audit Open Source Readiness audit of the Ekklesia Hydra Voting platform - Proposal Module

Review

Completed

Delivery

Delivered

15-Apr-2026

1 / 2

Intersect Governance Voting 2025

CARDANO · audit-results ↗

Board Election

Audit of the Intersect Board Election September 2025 Voting results

Review

Completed

Delivery

Delivered

28-Sep-2025

CARDANO · voting-results-audit-info ↗

Committee Election

Audit of the Intersect Committee Election April 2025 Voting results

Review

Completed

Delivery

Delivered

13-Apr-2025

CARDANO · voting-results-audit-info ↗

Committee Election

Audit of the Intersect Committee Election October 2025 Voting results

Review

Completed

Delivery

Delivered

09-Nov-2025

1 / 3

Intersect Governance Voting 2026

CARDANO · audit-results ↗

Board Election

Audit of the Intersect Board Election September 2026 Voting results

Review

Completed

Delivery

Delivered

27-Sep-2026

CARDANO · july-2026-vote-to-update-bylaws ↗

Bylaws Election

Audit of the Intersect Bylaw Election April 2026 Voting results

Review

Completed

Delivery

Delivered

02-Aug-2026

CARDANO · voting-results-audit-info ↗

Committee Election

Audit of the Intersect Committee Election April 2026 Voting results

Review

Completed

Delivery

Delivered

03-May-2026

1 / 3

WORK / ASSURANCE · 76

Assurance

2026 IO: Cardano Maintenance & Support

CARDANO · CTW-26-0004 ↗

Maintenance & Support

Assurance Review M1.1 August Maintenance & Support and Summary Report

Review

Completed

Delivery

Delivered

08-Oct-2026

CARDANO · CTW-26-0004 ↗

Maintenance & Support

Assurance Review M1.2 September Maintenance & Support and Summary Report

Review

Completed

Delivery

Delivered

16-Oct-2026

CARDANO · CTW-26-0004 ↗

Maintenance & Support

Assurance Review M1.3 October Maintenance & Support and Summary Report

Review

Pending

Delivery

Pending

CARDANO · CTW-26-0004 ↗

Maintenance & Support

Assurance Review M1.4 November Maintenance & Support and Summary Report

Review

Pending

Delivery

Pending

CARDANO · CTW-26-0004 ↗

Maintenance & Support

Assurance Review M1.5 December Maintenance & Support and Summary Report

Review

Pending

Delivery

Pending

1 / 5

Enhancing Plutus - Performance, Correctness, and Usability

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

Assurance Review M2.1 - Milestone 1 PL.01 - Poseidon Builtin

Review

Completed

Delivery

Delivered

06-Oct-2026

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

Assurance Review M2.3 - Milestone 3 Implement CIP-0156 multiIndexArray

Review

Completed

Delivery

Delivered

05-Oct-2026

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

Assurance Review M2.5 - Milestone 5 Implement CIP-0168 BuiltinValue Functions

Review

Completed

Delivery

Delivered

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

Assurance Review M2.8 - Milestone 8 Investigate Removal of the UPLC Scope Check

Review

In Progress

Delivery

Delivered

16-Oct-2026

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

Assurance Review M4.1 Milestone 15 - Proof-of-Concept standalone Plinth compiler

Review

Completed

Delivery

Delivered

05-Oct-2026

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

Assurance Review M4.4 - Milestone 18 Multi-GHC Version Support & Documentation

Review

In Progress

Delivery

Delivered

09-Oct-2026

1 / 6

IOE: Core Development 2025-2026 - Automatic Formal Verification

CARDANO · UTXO-EC-0002-25-01 ↗

Automatic Formal Verification

Assurance Review Roadmap item MS 01.1 Automatic Formal Verification - Reasoning Core

Review

Completed

Delivery

Delivered

15-May-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Automatic Formal Verification

Assurance Review Roadmap item MS 01.2 Automatic Formal Verification - Blockchain Formalization

Review

Completed

Delivery

Delivered

07-Jun-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Automatic Formal Verification

Assurance Review Roadmap item MS 01.3 Automatic Formal Verification - Universal Annotation Language

Review

Completed

Delivery

Delivered

06-Nov-2026

1 / 3

IOE: Core Development 2025-2026 - Hydra

CARDANO

Hydra

Assurance Review Roadmap item MS 06.1 Hydra - Hydra V1 Feature Set

Review

Completed

Delivery

Delivered

15-May-2026

CARDANO

Hydra

Assurance Review Roadmap item MS 06.2 Hydra - CNT payments across Heads

Review

Completed

Delivery

Delivered

15-May-2026

CARDANO

Hydra

Assurance Review Roadmap item MS 06.3 Hydra - Lightweight Hydra Node

Review

Completed

Delivery

Delivered

03-Feb-2026

CARDANO

Hydra

Assurance Review Roadmap item MS 06.4 Hydra - Early Bitcoin lightning interoperability

Review

Cancelled

Delivery

Not Delivered

CARDANO

Hydra

Assurance Review Roadmap item MS 06.5 Hydra - Resolve known problems, audit, UX improvements, marketing initiatives

Review

Completed

Delivery

Delivered

18-Aug-2026

1 / 5

IOE: Core Development 2025-2026 - Leios

CARDANO · UTXO-EC-0002-25-01 ↗

Leios

Assurance Review Roadmap item MS 04.1 Leios - Progress report on impact analysis and technical requirements

Review

Completed

Delivery

Delivered

15-May-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Leios

Assurance Review Roadmap item MS 04.2 Leios - Progress report on technical design, implementation plan

Review

Completed

Delivery

Delivered

15-May-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Leios

Assurance Review Roadmap item MS 04.3 Leios - Quality and performance benchmarking strategy

Review

Completed

Delivery

Delivered

03-Feb-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Leios

Assurance Review Roadmap item MS 04.4 Leios - Initial Code Changes

Review

Completed

Delivery

Delivered

03-Feb-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Leios

Assurance Review Roadmap item MS 04.5 Leios - Formal Specification and Conformance Tests

Review

Completed

Delivery

Delivered

03-Feb-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Leios

Assurance Review Roadmap item MS 04.6 Leios - Second phase of code changes

Review

Completed

Delivery

Delivered

01-Aug-2026

1 / 6

IOE: Core Development 2025-2026 - Minotaur AVS

CARDANO · UTXO-EC-0002-25-03 ↗

Minotaur AVS

Assurance Review Roadmap item MS 07.1 Minotaur AVS - Enable SPOs to Customize Rewards

Review

Completed

Delivery

Delivered

04-Jul-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Minotaur AVS

Assurance Review Roadmap item MS07.2 Minotaur AVS - Assured liveness of the network

Review

Completed

Delivery

Delivered

25-Apr-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Minotaur AVS

Assurance Review Roadmap item MS07.3 Minotaur AVS - Enable and support launch of first PC (Midnight) unlocking new revenue opportunities to validators

Review

Completed

Delivery

Delivered

13-May-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Minotaur AVS

Assurance Review Roadmap item MS07.4 Minotaur AVS - Clear UI/UX & online presence for onboarding validators

Review

Completed

Delivery

Delivered

19-Jun-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Minotaur AVS

Assurance Review Roadmap item MS07.5 Minotaur AVS - Minotaur AVS V1 feature set release

Review

Completed

Delivery

Delivered

19-Jun-2026

1 / 5

IOE: Core Development 2025-2026 - Mithril

CARDANO · UTXO-EC-0002-25-03 ↗

Mithril

Assurance Review Roadmap item MS 08.1 Mithril - Decentralized Mithril Signature Diffusion - Prototype

Review

Completed

Delivery

Delivered

29-Apr-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Mithril

Assurance Review Roadmap item MS 08.2 Mithril - Mithril Support for UTXO HD

Review

Completed

Delivery

Delivered

13-May-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Mithril

Assurance Review Roadmap item MS 08.3 Mithril - Decentralized Mithril Signature Diffusion - Mainnet

Review

Completed

Delivery

Delivered

27-May-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Mithril

Assurance Review Roadmap item MS 08.4 Mithril - Multiple Mithril Aggregators - Mainnet

Review

Completed

Delivery

Delivered

07-Jun-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Mithril

Assurance Review Roadmap item MS 08.5 Mithril - ZKP Prototype

Review

Completed

Delivery

Delivered

07-Jun-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Mithril

Assurance Review Roadmap item MS 08.6 Mithril - Cardano Node Integration

Review

Completed

Delivery

Delivered

01-Aug-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Mithril

Assurance Review Roadmap item MS 08.7 Mithril - Mithril ZK proofs - Mainnet

Review

Completed

Delivery

Delivered

01-Aug-2026

CARDANO · UTXO-EC-0002-25-03 ↗

Mithril

Assurance Review Roadmap item MS 08.8 Mithril - Mithril Certificates for new datatypes

Review

Completed

Delivery

Delivered

01-Aug-2026

1 / 8

IOE: Core Development 2025-2026 - Plutus Core

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.1 Plutus Core - CIP-0132 dropList Primitive

Review

Completed

Delivery

Delivered

22-Feb-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.10 Plutus Core - Plinth (Plutus Tx) compiler and library enhancement

Review

Completed

Delivery

Delivered

14-Jun-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.11 Plutus Core - Plinth (plutus Tx) developer tooling enhancement

Review

Completed

Delivery

Delivered

18-Aug-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.12 Plutus Core - Plutus language performance benchmark

Review

Completed

Delivery

Delivered

18-Aug-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.13 Plutus Core - Plinth (Plutus Tx) compiler certifier: initial release

Review

Completed

Delivery

Delivered

18-Aug-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.2 Plutus Core - CIP-0109 Modular Exponentiation Builtin (modexp)

Review

Completed

Delivery

Delivered

10-Mar-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.3 Plutus Core - CIP-0138: builtin arrays

Review

Completed

Delivery

Delivered

26-Mar-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.4 Plutus Core - CIP-0153: builtin value

Review

Completed

Delivery

Delivered

11-Apr-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.5 Plutus Core - CIP-0133: MSM primitive

Review

Completed

Delivery

Delivered

03-Feb-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.6 Plutus Core - CIP-0112: Observe script type

Review

Pending

Delivery

Delivered

15-Oct-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.7 Plutus Core - Support case analysis on built-in types

Review

Completed

Delivery

Delivered

03-Feb-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.8 Plutus Core - Pattern matching primitives

Review

Completed

Delivery

Delivered

03-Feb-2026

CARDANO · UTXO-EC-0002-25-05 ↗

Plutus Core

Assurance Review Roadmap item MS 14.9 Plutus Core - Introduce Plutus V4 as a new Plutus ledger language version

Review

Pending

Delivery

Delivered

15-Oct-2026

1 / 13

IOE: Core Development 2025-2026 - Property Based Testing Tool

CARDANO · UTXO-EC-0002-25-01 ↗

Property Based Testing Tool

Assurance Review Roadmap item MS 02.1 Property Based Testing Tool - Library Tool

Review

Completed

Delivery

Delivered

13-May-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Property Based Testing Tool

Assurance Review Roadmap item MS 02.2 CLI Tool

Review

Completed

Delivery

Delivered

06-Nov-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Property Based Testing Tool

Assurance Review Roadmap item MS2.3 - VSCode extension

Review

Completed

Delivery

Delivered

30-Oct-2026

1 / 3

IOE: Core Development 2025-2026 - Revised Stakepool Incentives

CARDANO · UTXO-EC-0002-25-04 ↗

Revised Stakepool Incentives

Assurance Review Roadmap item MS 12.1 Revised Stakepool Incentives - Identify current issues with Stakepool schema

Review

Completed

Delivery

Delivered

05-Oct-2026

CARDANO · UTXO-EC-0002-25-04 ↗

Revised Stakepool Incentives

Assurance Review Roadmap item MS 12.2 Revised Stakepool Incentives - Revise legacy and any new proposal

Review

Completed

Delivery

Delivered

05-Oct-2026

CARDANO · UTXO-EC-0002-25-04 ↗

Revised Stakepool Incentives

Assurance Review Roadmap item MS 12.3 Revised Stakepool Incentives - Design evaluation and estimate for build

Review

Completed

Delivery

Delivered

30-Aug-2026

CARDANO · UTXO-EC-0002-25-04 ↗

Revised Stakepool Incentives

Assurance Review Roadmap item MS 12.4 Revised Stakepool Incentives - Produce a demo/show

Review

Completed

Delivery

Delivered

30-Aug-2026

1 / 4

IOE: Core Development 2025-2026 - Static Analyzer

CARDANO · UTXO-EC-0002-25-01 ↗

Static Analyzer

Assurance Review Roadmap item MS 03.1 Static Analyzer - Proof of Concept

Review

Completed

Delivery

Delivered

15-May-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Static Analyzer

Assurance Review Roadmap item MS 03.2 Static Analyzer - List of coding rules and antipatterns

Review

Completed

Delivery

Delivered

31-Mar-2026

CARDANO · UTXO-EC-0002-25-01 ↗

Static Analyzer

Assurance Review Roadmap item MS 03.3 Static Analyzer - Stable Release

Review

Completed

Delivery

Delivered

06-Nov-2026

1 / 3

IOE: Core Development 2025-2026 - TMS

CARDANO · UTXO-EC-0002-25-05 ↗

TMS Dashboard

Assurance Review Roadmap item MS 16.1 Transaction Monitoring System - AI Backend

Review

Completed

Delivery

Delivered

30-Sep-2026

CARDANO · UTXO-EC-0002-25-05 ↗

TMS Dashboard

Assurance Review Roadmap item MS 16.2 Transaction Monitoring System - Dashboard

Review

Completed

Delivery

Delivered

18-Aug-2026

CARDANO · UTXO-EC-0002-25-05 ↗

TMS Dashboard

Assurance Review Roadmap item MS 16.3 Transaction Monitoring System - Alerting System

Review

Completed

Delivery

Delivered

30-Sep-2026

1 / 3

Mithril Project 2026

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.1 Decentralize the configuration parameters of Mithril networks

Review

Completed

Delivery

Delivered

13-Oct-2026

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.10 One command SPO onboarding

Review

Pending

Delivery

Pending

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.11 Debt reduction and maintenance

Review

Pending

Delivery

Pending

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.12 Infrastructure for production and testing of Mithril

Review

Pending

Delivery

Pending

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.2 - Cardano database artifacts on IPFS - PoC

Review

Completed

Delivery

Delivered

13-Oct-2026

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.3 - Production-candidate Recursive SNARK proofs

Review

Completed

Delivery

Delivered

06-Nov-2026

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.4 - Certificate chain caching

Review

Completed

Delivery

Delivered

06-Nov-2026

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.5 - Debt reduction and maintenance

Review

Completed

Delivery

Delivered

06-Nov-2026

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.6 - Infrastructure for production and testing of Mithril

Review

Pending

Delivery

Pending

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.7 - Cardano database artifacts on IPFS - MVP

Review

Pending

Delivery

Pending

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.8 Certificate chain optimization

Review

Pending

Delivery

Pending

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.9 Prepare Mithril for Cardano hard fork

Review

Pending

Delivery

Pending

1 / 12