Charles Hoskinson says he is developing a new programming language for Cardano
BIBIBI
AT A GLANCE
Charles Hoskinson says he is working with Lucas Rosa to develop for Cardano a new language combining transaction intents and cryptographic proofs.
Article
Cardano Founder Charles Hoskinson personally develops a new programming language
PANews October 20 News, according to CoinDesk,Cardano Founder Charles Hoskinson said on X on Sunday that he is personally developing a new programming language for Cardano. His collaborator is Input Output Global software engineer Lucas Rosa, who is also Cardano the co-creator of the Aiken smart contract language. Hoskinson said this will be the first language to combine transaction intents with cryptographic proofs that “the rules have been followed,” supporting transaction intents, proof-carrying data, and Groth16 proofs. Developers can use it to build applications that coordinate transactions and validate complex conditions, ultimately verified by Cardano on-chain...
Charles Hoskinson said on X on Sunday that he is personally developing a new programming language for Cardano.
03
His collaborator is Input Output Global software engineer Lucas Rosa.
04
Lucas Rosa is also Cardano the co-creator of the Aiken smart contract language.
05
Hoskinson said the language will combine transaction intents with cryptographic proofs that “the rules have been followed.”
06
Hoskinson said the language supports transaction intents, proof-carrying data, and Groth16 proofs.
07
The original article said developers can use it to build applications that coordinate transactions and validate complex conditions.
AI-assisted interpretation
The following is analysis, separate from reported facts. Verify important claims independently.
This is a programming-language initiative still at the development-statement stage. According to Hoskinson, it aims to let applications express what transactions intend to accomplish and carry cryptographic proofs showing that the relevant rules have been followed.
Why it matters to readers
If the relevant functionality is implemented, developers may gain a new tool for coordinating transactions and validating complex conditions; however, the available material only provides a development statement and cannot confirm its actual completion status or usability.
Beginners can initially understand it as Cardano a proposed new development tool; it does not currently mean that it has been released or that existing applications have adopted it.
Risks and unknowns
The provided text is truncated, so the complete content of the report cannot be confirmed.
The material does not provide Hoskinson's original X post, so the full wording cannot be directly verified.
The language's name, release date, code repository, technical specifications, and development progress have not been disclosed.
It has not been specified whether the language has been tested, audited, launched, or adopted by developers.
“First” is Hoskinson's claim; the available evidence is insufficient for independent verification.
Related Developments
Loading event timeline…
Related concepts
Trading intentions
This term is not in the glossary yet. Browse related concepts in the glossary.
