Cardano founder Charles Hoskinson is building a new programming language for the network
Hoskinson said on X the language will bundle transaction requests with cryptographic proofs. He hasn’t shared a name, specs or a release date.
Make preferred on
Share this article
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.
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
Diversified RWA stablecoins sustain 5-7% yield from real credit as crypto funding compresses to ~4%. GENIUS pushes yield off-chain; TAM grows to $4B in 3 years.
Diversified RWA stablecoins sustain 5-7% yield from real credit as crypto funding compresses to ~4%. GENIUS pushes yield off-chain; TAM grows to $4B in 3 years.
Why it matters:
Diversified RWA stablecoins sustain 5-7% yield from real credit as crypto funding compresses to ~4%. GENIUS pushes yield off-chain; TAM grows to $4B in 3 years.

