Charles Hoskinson Is Building a New Programming Language for $ADA Cardano founder Charles Hoskinson has revealed that he is personally developing a new programming language for the blockchain alongside Lucas Rosa, an Input Output Global engineer and co-creator of Aiken, one of Cardano’s main smart contract languages. The new language aims to combine transaction intents with cryptographic proofs, allowing users to express what they want a transaction to accomplish while providing proof that the required rules have been followed. The project will support three key technologies: transaction intents, proof-carrying data, and Groth16 proofs. This development could introduce new possibilities for how developers build and verify applications on $ADA , with a focus on expressing transaction requirements and verifying compliance through cryptographic methods. $BTC