Founder

would

Cardano

<p>Cardano founder Charles Hoskinson (<a href="https://x.com/IOHK_Charles" rel="noopener noreferrer nofollow">@IOHK_Charles</a>) says he is personally developing a new programming language for <a href="https://x.com/Cardano" rel="noopener noreferrer nofollow">@Cardano</a> and its native token, <a href="https://x.com/search?q=%24ADA&amp;src=cashtag_click" rel="noopener noreferrer nofollow">$ADA</a>. Few details have been released so far.</p>
<p>Hoskinson described the language as <cite>"the first of its kind, enabling intents and PCD via Groth16 proofs,"</cite> and said that <a href="https://x.com/rvcas" rel="noopener noreferrer nofollow">@rvcas</a> is building it with him. <cite>He made the disclosure on Oct. 18.</cite></p>
<h2 id="who-is-building-it">Who is building it</h2>
<p>The handle <a href="https://x.com/rvcas" rel="noopener noreferrer nofollow">@rvcas</a> belongs to Lucas Rosa. <cite>Rosa is an Input Output Global software engineer and co-creator of Cardano's smart contract language Aiken.</cite><cite>His personal website lists his current role as tooling architect at Midnight.</cite></p>
<p>Hoskinson's comment <cite>came in response to a community member who asked him to restate the case for Cardano as the most decentralized root of trust.</cite></p>
<h2 id="what-intents-pcd-and-groth16-mean">What intents, PCD and Groth16 mean</h2>
<p>Three technical ideas sit at the center of the project. <cite>Transaction intents are user-signed, high-level messages that set out a desired outcome, and a user can attach conditions under which assets move only once the terms are met.</cite><cite>Proof-carrying data (PCD) is a cryptographic method that attaches a small proof to a piece of information, certifying that the output follows predefined rules.</cite></p>
<p><cite>Groth16 is a zero-knowledge proof protocol introduced by cryptographer Jens Groth in 2016.</cite><cite>It produces compact proofs that make verification on blockchain platforms faster and less resource-intensive.</cite><cite>According to CoinDesk, as relayed by PANews, developers could use the language to build applications that coordinate transactions and verify complex conditions, with a small proof ultimately verified on the Cardano chain.</cite></p>
<p>Intents are also being explored elsewhere. <cite>They are part of development work beyond Cardano, including Ethereum's Open Intents Framework.</cite><cite>Hoskinson's proposal adds proof-carrying data and Groth16 proofs to that combination.</cite></p>
<h2 id="what-is-still-unknown">What is still unknown</h2>
<p><cite>Hoskinson has not released a name, code or a timeline for the language.</cite><cite>It is also unclear how it would relate to Cardano's existing smart contract tools, since developers already write in Plutus and Aiken.</cite><cite>Hoskinson has also not confirmed that the language would use ADA for fees.</cite></p>
<p>For now, the announcement is a statement of intent rather than a product. Developers and $ADA holders will need technical specifications and a release schedule before judging how the language fits into Cardano's tooling.</p>
<p><strong>Sources:</strong></p>
<ul>
 <li><a href="https://unchainedcrypto.com/charles-hoskinson-reveals-work-on-a-cardano-programming-language-using-groth16-proofs/" rel="noopener noreferrer nofollow">Unchained: Charles Hoskinson Reveals Work on a Cardano Programming Language Using Groth16 Proofs</a></li>
 <li><a href="https://www.tokenpost.com/news/technology/34856" rel="noopener noreferrer nofollow">TokenPost: Hoskinson Develops Cardano Language for Intents and Cryptographic Proofs</a></li>
 <li><a href="https://panews.io/articles/01a156a3-e3a0-7533-80ed-1b21f987baee" rel="noopener noreferrer nofollow">PANews: Cardano Founder Charles Hoskinson Personally Developing a New Programming Language</a></li>
</ul>

Cardano founder building a brand-new programming language!

Table of Contents

BSCN

Other articles published on Oct 21, 2026

Join our free newsletter for daily crypto updates!