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 hasnt shared a name, specs or a release date.