Skip to content

WORK

Delivered, not described.

Real recent work, Audit and Assurance deliveries made by Dquadrant, no hype. This is without any other development, devops and maintenance work we also do.

WORK / AUDITS · 8

Audits

Intersect Development

01

CARDANO

Constitutional Amendment Portal

Audit of the Intersect Constitutional Amendment Portal

02

CARDANO

Ekklesia Proposal Module

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

1 / 2

Intersect Governance Voting 2025

01

CARDANO · audit-results ↗

Board Election

Audit of the Intersect Board Election September 2025 Voting results

02

CARDANO · voting-results-audit-info ↗

Committee Election

Audit of the Intersect Committee Election April 2025 Voting results

03

CARDANO · voting-results-audit-info ↗

Committee Election

Audit of the Intersect Committee Election October 2025 Voting results

1 / 3

Intersect Governance Voting 2026

01

CARDANO · audit-results ↗

Board Election

Audit of the Intersect Board Election September 2026 Voting results

02

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

Bylaws Election

Audit of the Intersect Bylaw Election April 2026 Voting results

03

CARDANO · voting-results-audit-info ↗

Committee Election

Audit of the Intersect Committee Election April 2026 Voting results

1 / 3

WORK / ASSURANCE · 75

Assurance

2026 IO: Cardano Maintenance & Support

01

CARDANO · CTW-26-0004 ↗

Maintenance & Support

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

02

CARDANO · CTW-26-0004 ↗

Maintenance & Support

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

03

CARDANO · CTW-26-0004 ↗

Maintenance & Support

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

04

CARDANO · CTW-26-0004 ↗

Maintenance & Support

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

05

CARDANO · CTW-26-0004 ↗

Maintenance & Support

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

1 / 5

Enhancing Plutus - Performance, Correctness, and Usability

01

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

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

02

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

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

03

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

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

04

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

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

05

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

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

06

CARDANO · CTW-26-0006 ↗

Enhancing Plutus

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

1 / 6

IOE: Core Development 2025-2026 - Automatic Formal Verification

01

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

Automatic Formal Verification

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

02

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

Automatic Formal Verification

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

03

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

Automatic Formal Verification

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

1 / 3

IOE: Core Development 2025-2026 - Hydra

01

CARDANO

Hydra

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

02

CARDANO

Hydra

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

03

CARDANO

Hydra

Assurance Review Roadmap item MS 06.3 Hydra - Lightweight Hydra Node

04

CARDANO

Hydra

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

05

CARDANO

Hydra

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

1 / 5

IOE: Core Development 2025-2026 - Leios

01

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

Leios

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

02

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

Leios

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

03

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

Leios

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

04

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

Leios

Assurance Review Roadmap item MS 04.4 Leios - Initial Code Changes

05

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

Leios

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

06

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

Leios

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

1 / 6

IOE: Core Development 2025-2026 - Minotaur AVS

01

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

Minotaur AVS

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

02

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

Minotaur AVS

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

03

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

04

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

Minotaur AVS

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

05

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

Minotaur AVS

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

1 / 5

IOE: Core Development 2025-2026 - Mithril

01

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

Mithril

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

02

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

Mithril

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

03

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

Mithril

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

04

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

Mithril

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

05

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

Mithril

Assurance Review Roadmap item MS 08.5 Mithril - ZKP Prototype

06

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

Mithril

Assurance Review Roadmap item MS 08.6 Mithril - Cardano Node Integration

07

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

Mithril

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

08

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

Mithril

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

1 / 8

IOE: Core Development 2025-2026 - Plutus Core

01

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

Plutus Core

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

02

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

Plutus Core

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

03

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

Plutus Core

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

04

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

Plutus Core

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

05

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

Plutus Core

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

06

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

Plutus Core

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

07

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

Plutus Core

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

08

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

Plutus Core

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

09

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

Plutus Core

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

10

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

Plutus Core

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

11

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

Plutus Core

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

12

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

Plutus Core

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

13

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

1 / 13

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

01

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

Property Based Testing Tool

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

02

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

Property Based Testing Tool

Assurance Review Roadmap item MS 02.2 Property Based Testing Tool

1 / 2

IOE: Core Development 2025-2026 - Revised Stakepool Incentives

01

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

02

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

03

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

04

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

Revised Stakepool Incentives

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

1 / 4

IOE: Core Development 2025-2026 - Static Analyzer

01

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

Static Analyzer

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

02

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

Static Analyzer

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

03

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

Static Analyzer

Assurance Review Roadmap item MS 03.3 Static Analyzer - Stable Release

1 / 3

IOE: Core Development 2025-2026 - TMS

01

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

TMS Dashboard

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

02

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

TMS Dashboard

Assurance Review Roadmap item MS 16.2 Transaction Monitoring System - Dashboard

03

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

TMS Dashboard

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

1 / 3

Mithril Project 2026

01

CARDANO · CTW-26-0013 ↗

Mithril

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

02

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.10 One command SPO onboarding

03

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.11 Debt reduction and maintenance

04

CARDANO · CTW-26-0013 ↗

Mithril

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

05

CARDANO · CTW-26-0013 ↗

Mithril

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

06

CARDANO · CTW-26-0013 ↗

Mithril

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

07

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.4 - Certificate chain caching

08

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.5 - Debt reduction and maintenance

09

CARDANO · CTW-26-0013 ↗

Mithril

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

10

CARDANO · CTW-26-0013 ↗

Mithril

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

11

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.8 Certificate chain optimization

12

CARDANO · CTW-26-0013 ↗

Mithril

Assurance Review M1.9 Prepare Mithril for Cardano hard fork

1 / 12