Cardano founder Charles Hoskinson is developing a new programming language designed to improve how transactions are defined, verified and executed on the blockchain. The project aims to combine transaction intents with cryptographic proofs, potentially allowing applications to verify that specific conditions have been satisfied without repeating the underlying computations.
Hoskinson announced the initiative on Sunday through a post on X, stating that he is personally working on the language alongside Lucas Rosa, an Input Output Global software engineer who co-created Aiken, one of Cardano’s principal smart contract languages.
The proposed language is intended to support three core technologies: transaction intents, proof-carrying data and Groth16 cryptographic proofs. Together, these tools could give developers new ways to build applications that execute transactions according to user-defined conditions while providing verifiable evidence that the required rules have been followed.
Transaction intents allow users to specify the outcome they want rather than manually defining every step needed to achieve it. For example, a trader could request a token swap that proceeds only if the final price meets a predetermined condition. An application could then determine how to execute the transaction while respecting the user’s requirements.
Proof-carrying data introduces another layer of verification by attaching cryptographic evidence to information. Instead of independently repeating every calculation, another application could check the supplied proof to determine whether the information satisfies specified rules. This could help applications exchange verified data more efficiently.
The third component, Groth16, is a cryptographic proof system capable of producing compact proofs that can be verified relatively quickly. Such proofs can demonstrate that a condition has been met without disclosing the private information used to establish it, potentially supporting applications that require both verification and confidentiality.
Combined, these capabilities could enable developers to build applications that coordinate trades, evaluate complex transaction conditions and transfer verified information between services. Rather than repeating extensive computations, Cardano-based applications could potentially validate a compact cryptographic proof confirming that the required conditions were satisfied.
The initiative would add another layer to Cardano’s existing smart contract development environment. Developers currently use Plutus, which is based on Haskell, as well as Aiken to build smart contracts on the network. Hoskinson’s company, Input Output Global, has also developed Compact for Midnight, its privacy-focused blockchain designed for applications involving confidential data.
However, the new programming language remains at an early, publicly undefined stage. Hoskinson has not disclosed its name, released public source code or announced when developers will be able to use it. Its eventual impact will depend on the language’s technical implementation, developer adoption and integration with Cardano’s existing infrastructure.
For Cardano, the project represents a potential effort to make complex blockchain interactions more expressive and easier to verify. If successfully implemented, the combination of transaction intents and cryptographic proofs could give developers additional tools for building applications that prioritize conditional execution, verifiable information and privacy. For now, the announcement outlines a technical direction rather than a released product, with further details still to come.
XRP
