Charles Hoskinson personally develops a new programming language for Cardano with Lucas Rosa, one of the creators of Aiken. The project aims to combine transaction intents, proof-carrying data, and Groth16 proofs. For this new crypto building block, no name, public code, or launch schedule has yet been announced.