Elon Musk

Founder

Compact

Cardano

<div>
 <h3 id="summary">Summary</h3>
 <div>
  <div>
   <ul>
    <li>Cardano founder Charles Hoskinson is developing a programming language combining transaction intents, proof-carrying data, and Groth16 cryptographic proofs for blockchain applications.</li>
    <li>The proposed language could strengthen transaction verification and privacy capabilities, while Cardano already supports Plutus, Aiken, and Midnight’s Compact language.</li>
    <li>Hoskinson previously considered Clojure before selecting Haskell for Cardano, while the new programming language remains without specifications or release details.</li>
   </ul>
  </div>
 </div>
 <div>
  <p>&nbsp;</p><br>
 </div>
</div>
<div>
 <p>Cardano founder <a href="https://36crypto.com/charles-hoskinson-early-life-and-net-worth-the-vision-behind-cardano-and-blockchain-innovation/" rel="noopener noreferrer nofollow">Charles Hoskinson</a> is developing a new programming language designed to introduce advanced cryptographic capabilities into the blockchain ecosystem. <a href="https://x.com/IOHK_Charles/status/2111651533465289211" rel="noopener noreferrer nofollow">According to Hoskinson’s recent X post,</a> the language will combine transaction intents with proof-carrying data through Groth16 cryptographic proofs.</p><br>
 <p>The project introduces another programming approach for Cardano, which already supports several languages for building decentralized applications and smart contracts. Hoskinson disclosed the development while responding to a community member seeking clarification about Cardano’s advantages as a decentralized blockchain platform.</p><br>
 <p><em>“I’m actually personally developing a programming language for Cardano. It’s the first of its kind enabling intents + PCD via Groth16 proofs,</em>” Hoskinson wrote.</p><br>
 <p><strong>Also Read: </strong><a href="https://36crypto.com/anthropics-2-trillion-ipo-valuation-faces-25-cut-as-ai-spending-concerns-grow/" rel="noopener noreferrer nofollow">Anthropic’s $2 Trillion IPO Valuation Faces 25% Cut as AI Spending Concerns Grow</a></p><br>
 <h2 id="new-cardano-language-targets-transaction-intents-and-cryptographic-proof-verification">New Cardano Language Targets Transaction Intents and Cryptographic Proof Verification</h2>
 <p>The proposed language will incorporate transaction intents, allowing blockchain applications to express desired outcomes through defined execution conditions. Additionally, proof-carrying data enables information to include cryptographic evidence supporting its validity without exposing every underlying detail.</p><br>
 <p>Groth16 proofs are another component of the proposed architecture, offering a way to generate compact zero-knowledge cryptographic proofs. These capabilities could support applications requiring transaction verification, privacy protections, and more complex execution conditions within Cardano’s ecosystem.</p><br>
 <p>Still, Hoskinson has not explained how the proposed features will interact with Cardano’s existing smart contract infrastructure. Cardano currently supports Plutus, which builds on Haskell, alongside Aiken, another language designed for smart contract development.</p><br>
 <p>Meanwhile, Midnight, a privacy-oriented blockchain associated with Cardano, uses Compact for developing applications involving confidential information. Hoskinson recently disclosed work on a separate Midnight concept, describing the initiative as a major personal undertaking.</p><br>
 <h2 id="hoskinson-s-previous-programming-language-choices-shape-cardano-development">Hoskinson’s Previous Programming Language Choices Shape Cardano Development</h2>
 <p>Hoskinson’s programming language experience extends to <a href="https://36crypto.com/cardanos-midnight-token-night-struggles-to-maintain-support-after-steady-decline/" rel="noopener noreferrer nofollow">Cardano’s</a> original development architecture, which relied heavily on Haskell. In 2022, Hoskinson publicly recommended Haskell during an exchange about programming language preferences involving Elon Musk and Jack Dorsey.</p><br>
 <p>By May 2024, Hoskinson revealed that Clojure had also received consideration during Cardano’s early architectural planning. The eventual selection of Haskell reflected available technologies, including Cloud Haskell, Liquid Haskell, and Agda.</p><br>
 <p>During an April 2025 interview, Hoskinson acknowledged that a complete Cardano redesign might involve choosing another programming language. The newly disclosed project expands Cardano’s programming initiatives, although Hoskinson has not announced technical specifications, development milestones, or a release date.</p><br>
 <p><strong>Also Read: </strong><a href="https://36crypto.com/jack-mcdonald-early-life-and-net-worth-the-ripple-executive-leading-stablecoin-operations/" rel="noopener noreferrer nofollow">Jack McDonald: Early Life and Net Worth – The Ripple Executive Leading Stablecoin Operations</a></p><br>
</div>
<p>The post <a rel="noopener noreferrer nofollow" href="https://36crypto.com/cardano-founder-charles-hoskinson-developing-new-programming-language-with-advanced-cryptography/">Cardano Founder Charles Hoskinson Developing New Programming Language With Advanced Cryptography</a> appeared first on <a rel="noopener noreferrer nofollow" href="https://36crypto.com">36Crypto</a>.</p>

Cardano Founder Charles Hoskinson Developing New Programming Language With Advanced Cryptography

Table of Contents

36crypto

Other articles published on Oct 18, 2026

Solana Rapidly Closes The RWA Gap With Ethereum

Lesser-known memecoin ecosystems you should be watching...

TIA and INJ lead gains for the week.

MemeCore x LayerZero x Stargate

Meteora is making SERIOUS money.

Most Americans polled oppose betting on elections: Reuters

Join our free newsletter for daily crypto updates!