Hoskinson Says He Is Building A New Cardano Language Around Cryptographic Proofs

TL;DR: Cardano founder Charles Hoskinson says he is personally developing a programming language that combines transaction intents, proof-carrying data and Groth16 proofs. Charles Hoskinson is returning to the keyboard. The Cardano founder says he is working directly on a new programming language with Input Output Global engineer Lucas Rosa, aimed at making complex blockchain actions […]
Key Takeaways
- TL;DR: Cardano founder Charles Hoskinson says he is personally developing a programming language that combines transaction intents, proof-carrying data and Groth16 proofs.
- Charles Hoskinson is returning to the keyboard.
- The Cardano founder says he is working directly on a new programming language with Input Output Global engineer Lucas Rosa, aimed at making complex blockchain actions […]
Summary generated by IndiCrypto from Bitcoinist. IndiCrypto is a news aggregator and does not provide investment advice. Read the original article for full context.
More in Web3

Circle Makes $1.4B in Revenue but Keeps Just 7% as Profit
Circle generated about $1.4 billion in revenue during the first half of 2026, but retained only about 7 cents of net profit for every dollar earned after partner payments and infrastructure spending. Circle Sends 59% of Revenue to USDC Partners and Costs…

Super League shareholders approve Metaplanet’s 2,100 BTC investment
Shareholders cleared a condition for Metaplanet's investment, with the Superplanet name and SUPA ticker contingent on a fourth-quarter closing. Read the full story on CryptoSlate Understand the crypto stories that matter and what to watch next. Get The…

Bitcoin Price Clings to $81K as Sellers Circle Critical Support
Bitcoin’s price is caught in an increasingly uncomfortable position, trading near $81,392 on Tuesday, Oct. 20, as short-term selling pressure clashes with a longer-term technical structure that has yet to surrender its bullish foundations. With the…