# Hoskinson Develops Cardano Language for Intents and Cryptographic Proofs

By Simon Yoon

Canonical URL: https://www.tokenpost.com/news/technology/34856
Published: 2026-10-19T15:21:48.000Z
Updated: 2026-10-19T15:21:48.000Z
Section: Technology

> The proposal combines transaction intents, proof-carrying data and Groth16 proofs, but its technical specification and release date have not been announced.

Cardano founder Charles Hoskinson says he is developing a programming language that combines transaction intents with cryptographic proofs, outlining a proposal for how applications handle on-chain actions.

Hoskinson said he is working with Lucas Rosa, a maintainer of the Cardano smart contract language Aiken. The proposed language would bring together intents, proof-carrying data and Groth16 proofs. An intent describes the result a user wants while leaving software to determine the transaction steps. Proof-carrying data moves information with evidence that another system can check.

The proposal concerns how an application could express a requested outcome and provide verifiable evidence tied to it. Hoskinson has not explained how the language would combine those elements in practice or how developers would use it to build applications.

Cardano developers already use Plutus and Aiken to write smart contracts. Aiken creates on-chain validator scripts that compile to Plutus Core; developers write the code that generates transactions in another language. Cardano’s Plutus V3 also includes cryptographic functions intended to support zero-knowledge proof verification.

Transaction intents are also part of development work beyond Cardano, including Ethereum’s Open Intents Framework. The concept describes a desired outcome without requiring users to lay out each transaction step themselves. Hoskinson’s proposal adds proof-carrying data and Groth16 proofs to that combination.

Hoskinson has not announced a name for the language, a technical specification or a release date. Its relationship to Cardano’s existing tools and the steps toward a release have not been detailed.


