Cardano founder Charles Hoskinson is building a new programming language for the network

NewsLatest Crypto NewsMarketsFinanceTechPolicyFocusBitcoin NewsEthereum NewsXRP NewsSolana NewsPricesLatest Crypto PricesBitcoin (BTC)Ethereum (ETH)XRP (XRP)SOL (SOL)Hyperliquid (HYPE)See all crypto pricesLatest US Stock PricesS&P 500 (SPY)Bullish (BLSH)Circle (CRCL)Coinbase (COIN)Strategy (MSTR)See all US stock pricesData & IndicesMarket DataIndex OfferingAPIResearch InsightsDocumentation and GovernanceResearchResearch HubExchange BenchmarkEventsConsensus Hong Kong 2027Consensus Miami 2027SponsoredThought LeadershipMedia & Partnership OpportunitiesVideosCoinDesk DailyPublic Keys at NYSEThe Policy ProtocolMarkets OutlookCoinDesk SpotlightShortsPodcastsPublic Keys at NYSEThe Policy ProtocolCoinDesk Podcast NetworkMarkets OutlookNewslettersCoinDesk HeadlinesCrypto Daybook AmericasState of CryptoCrypto Long & ShortCrypto for AdvisorsTokenization WeeklyCoinDesk InsiderLanguageENEnglishenDeutschdeEspañolesFilipinofilFrançaisfrBahasa IndonesiaidItalianoit日本語ja한국어koNederlandsnlPortuguêspt-brРусскийruTürkçetrУкраїнськаuk中文zhSign UpSign InSearch/NewsNewsLatest Crypto NewsMarketsFinanceTechPolicyFocusSee all news articlesNewslettersCoinDesk HeadlinesCrypto Daybook AmericasState of CryptoCrypto Long & ShortCrypto for AdvisorsTokenization WeeklyCoinDesk InsiderSee all newslettersCrypto NewsBitcoin NewsEthereum NewsXRP NewsSolana NewsVideoVideoVideosCoinDesk DailyPublic Keys at NYSEThe Policy ProtocolMarkets OutlookCoinDesk SpotlightShortsSee all videosPodcastsPublic Keys at NYSEThe Policy ProtocolCoinDesk Podcast NetworkMarkets OutlookSee all podcastsPricesPricesLatest Crypto PricesBitcoin (BTC)Ethereum (ETH)XRP (XRP)SOL (SOL)Hyperliquid (HYPE)See all crypto pricesLatest US Stock PricesS&P 500 (SPY)Bullish (BLSH)Circle (CRCL)Coinbase (COIN)Strategy (MSTR)See all US stock pricesResearchResearchResearch HubBespoke research, primers, and quarterly updates trusted by allocators and protocol teams.Exchange BenchmarkThe institutional standard for evaluating exchange transparency, market integrity, and risk.EventsEventsConsensus Hong Kong 2027Consensus Miami 2027Data & IndicesData & IndicesMarket DataUnrivaled digital asset data for institutional analysis and insights.Index OfferingDiscover our index offerings with $49 billion in benchmarked assets, trusted by 100+ global partners.APIInstitutional-grade crypto data streamed live from 300+ exchanges.Research InsightsData-driven analysis of key digital asset trends.Documentation and GovernanceIndex methodologies, policies, announcements and updates.MoreResearchEventsData & IndicesResearch HubBespoke research, primers, and quarterly updates trusted by allocators and protocol teams.Exchange BenchmarkThe institutional standard for evaluating exchange transparency, market integrity, and risk.Consensus Hong Kong 2027Consensus Miami 2027Market DataUnrivaled digital asset data for institutional analysis and insights.Index OfferingDiscover our index offerings with $49 billion in benchmarked assets, trusted by 100+ global partners.APIInstitutional-grade crypto data streamed live from 300+ exchanges.Research InsightsData-driven analysis of key digital asset trends.Documentation and GovernanceIndex methodologies, policies, announcements and updates.SponsoredSponsoredThought LeadershipExpert perspectives from our partnersMedia & Partnership OpportunitiesReach the architects of the digital economy.cd-js-only{display:none!important} .cd-nav-bar noscript{display:contents} .cd-nav-bar{z-index:300!important} .cd-nojs summary{list-style:none;cursor:pointer} .cd-nojs summary::-webkit-details-marker{display:none} .cd-nojs summary::marker{content:""} .cd-nojs details[open] .cd-chevron{transform:rotate(180deg)}Search/enenEnglish enDeutsch deEspañol esFilipino filFrançais frBahasa Indonesia idItaliano it日本語 ja한국어 koNederlands nlPortuguês pt-brРусский ruTürkçe trУкраїнська uk中文 zhSign InSign UpTechCardano founder Charles Hoskinson is building a new programming language for the networkHoskinson said on X the language will bundle transaction requests with cryptographic proofs. He hasn’t shared a name, specs or a release date.By Shaurya Malwa|Edited by Omkar GodboleOct 19, 2026, 8:16 a.m. EDT2 min readMake preferred on ShareShare this articleCopy linkX iconX (Twitter)LinkedInFacebookEmailMake preferred on Charles Hoskinson (CoinDesk archives)#se-_R_157ianpfiupanivb_ .document-body > p:first-of-type::first-letter{float:none!important;font-size:inherit!important;line-height:inherit!important;margin-right:0!important;margin-top:0!important;font-weight:inherit!important}SummaryShowCardano founder Charles Hoskinson said he is personally developing a new programming language with Input Output Global engineer Lucas Rosa.The language would combine transaction intents, proof-carrying data and Groth16 proofs to help applications execute user requests and efficiently verify that conditions were met.Hoskinson has not disclosed the language’s name, released public code or announced when developers will be able to use it.Cardano founder Charles Hoskinson is writing a new programming language for his blockchain. He says it will be the first to combine what a user wants a transaction to do with cryptographic proof that the rules were followed. “I’m actually personally developing a programming language for Cardano,” Hoskinson wrote on X on Sunday, adding that he’s working on it with Lucas Rosa, a software engineer at Input Output Global who co-created Aiken, one of Cardano’s main smart contract languages. That’s not something most founders do once their network is this big. Hoskinson runs a company full of engineers and is still choosing to write the tool future Cardano apps could be built on himself. The language would support three tools: transaction intents, proof-carrying data and Groth16 proofs. An intent lets a user say what they want done and leave the steps to the app. A trader could ask to swap one token for another only if the final price meets set conditions, without spelling out how to get there.