← Back to KHAO

AI ·

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

2 min read

Compiled by KHAO Editorial — aggregated from 1 source. See llms.txt for citation guidance.

★ Tier-1 Source

Charles Hoskinson (CoinDesk archives)

Cardano founder Charles Hoskinson is writing a new programming language for his blockchain.

Key facts

Summary

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. “I’m 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.

Read full article at CoinDesk →