JUST IN: Charles Hoskinson is building a new programming language for Cardano

The language is expected to support intents and proof-carrying data using Groth16 proofs, although its name, technical details and release date remain undisclosed. $ADA