Cardano founder is developing a new programming language that integrates transaction intentions with Groth16 proofs

According to CoinDesk, Cardano founder Charles Hoskinson stated that he is personally developing a new programming language for the Cardano network and collaborating with Input Output Global engineer Lucas Rosa. Lucas Rosa is a co-creator of Aiken, one of Cardano's main smart contract languages. Hoskinson posted on the X platform that this will be the first programming language to combine user transaction completion intentions with cryptographic proofs.

It is reported that the language will support three tools: transaction intent, data with carry proofs, and Groth16 proofs. Transaction intent allows users to specify the goals they want to achieve, while leaving the specific steps to the application, for example, traders can request that a token be exchanged for another only when the final price meets certain conditions, without specifying the exact path.

Data with carry proofs can attach cryptographic evidence to information, proving that it complies with specific rules, allowing other applications to verify without recalculating. Groth16 is a widely used proof system that can generate small-sized, fast-verifying proofs, demonstrating that conditions have been met without exposing private data.

With the combination of the three, developers can build applications that coordinate transactions, check complex conditions, and pass verified information between services, ultimately verified by Cardano with a small proof. Currently, Cardano developers mainly use Haskell-based Plutus and Aiken to write smart contracts, while Input Output Global, founded by Hoskinson, has its own privacy blockchain Midnight with its language Compact. The name, public code, and release date of this new language have not yet been announced.