Charles Hoskinson, the founder of Cardano, has announced that he is personally developing a new programming language in collaboration with Input Output Global engineer Lucas Raza, one of the creators of Aiken. This new language aims to integrate user intention-based transactions, cryptographic proofs, and a zero-knowledge proof system known as Groth16. The goal is to enable applications to perform complex operations while verifying compliance with specified conditions without revealing confidential information. Details on the name, technical specifications, and release timeline of the language have not yet been disclosed.