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

Cardano founder Charles Hoskinson is personally developing a new programming language for the Cardano blockchain alongside engineer Lucas Rosa. The language aims to integrate transaction intents, proof-carrying data, and Groth16 cryptographic proofs to improve efficiency and security.
Why it matters
This development represents a rare instance of a major blockchain founder directly coding core infrastructure, potentially setting new standards for smart contract functionality.
AIによる翻訳 2 分で読む Make preferred on 共有 この記事を共有 リンクをコピー X icon X (Twitter) LinkedIn Facebook メール Make preferred on Charles Hoskinson (CoinDesk archives) 要約 表示 Cardano 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.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in