Hoskinson personally developing new Cardano programming language

Cardano founder Charles Hoskinson is personally developing a new programming language for the blockchain, per CoinDesk. The language combines transaction intents, proof-carrying data and Groth16 proofs, letting applications verify complex conditions without exposing private data.

No specification, timeline or release details were disclosed in the announcement. The work adds to a stretch of active Cardano development following the foundation's Veridian spin-out and the CIP-0113 programmable-token standard.