Cardano Delegate Backs High Assurance Proposal With 66.68 Million ADA Yes Vote

Cardano delegate backs High Assurance proposal with 66.68M ADA yes vote focused on smart contract security tools.

A Cardano delegate has voted yes with 66.68 million ADA on the treasury withdrawal proposal named “IO: Cardano High Assurance Technical Collaboration.”

The vote was cast on behalf of loyal delegates, and it supports tooling aimed at stronger smart contract security and easier developer onboarding.

Cardano Treasury Proposal Receives Large Yes Vote

The delegate said the vote formally supports the Cardano High Assurance Technical Collaboration proposal.

The proposal focuses on security tools, developer access, and technical collaboration across the Cardano ecosystem.

The yes vote was made with 66.68 million ADA. That amount represents delegated voting power, not only a single personal holding.

The delegate said the vote was submitted “on behalf of my loyal delegates.”

I just voted YES with 66.68 million ADA on the treasury withdrawal proposal: IO: Cardano High Assurance Technical Collaboration

On behalf of my loyal delegates.

Rationale
I am formally registering a YES vote on the Cardano High Assurance Technical Collaboration. Throughout…

— Dave (@ItsDave_ADA) May 20, 2026

The proposal seeks treasury funding for tools linked to high-assurance development.

It centers on formal verification, which helps developers test software with mathematical methods before launch. Cardano has long promoted security and research-based development.

The proposal presents high-assurance tooling as a wider resource for builders, rather than a service limited to specialists.

Blaster Tool Targets Smart Contract Security

The proposal includes plans to embed the Blaster formal verification tool into Cardano-native languages.

The listed languages include Aiken, Scalus, Pebble, and Futura. Formal verification can help developers check whether code meets defined safety rules.

It can also reduce risks linked to faulty smart contracts and application logic. The delegate said Web3 has seen large losses from smart contract and bridge exploits.

The statement argued that stronger verification tools may help protect applications before deployment.

“Cardano’s fundamental value proposition is its high-assurance security,” the delegate said in the rationale.

The statement also said this security has often required costly experts and audits. The proposal aims to make those checks more available to developers.

It frames Blaster integration as a way to support security during normal development work.

**Read Also: **

Cardano DRep Abstains On Revised Singapore Summit Governance Vote

Developer Environment Aims To Reduce Setup Barriers

The proposal also includes a Container-Based Developer Environment. The stated goal is to simplify complex setup steps for Cardano builders.

Developer environments can require several tools, versions, and configuration steps. The proposal says the container system could reduce setup time and help developers begin work faster.

The delegate said the environment could compress multi-day configurations into a single-click setup.

That claim relates to onboarding, which remains a key issue for blockchain developer ecosystems.

The proposal also calls for shared stewardship across ecosystem partners. The delegate said this approach supports resilience and matches Cardano’s open-source model.

The vote adds attention to Cardano governance and treasury use. It also places security tooling at the center of current ecosystem debate.

The proposal now remains part of Cardano’s broader governance process.

Supporters are expected to watch how the treasury vote develops, and how builders respond to the proposed tools.