Overview
- Charles Hoskinson said on Sunday that he is personally developing a new programming language for Cardano with Input Output Global engineer Lucas Rosa.
- He described the design as centering on transaction intents, proof-carrying data (PCD) and Groth16 zero-knowledge proofs so apps can state what users want and supply cryptographic evidence that rules were followed.
- Hoskinson has not provided a name, a technical specification, public code or a release date, leaving implementation and timeline open to confirmation.
- The announcement adds a potential development option alongside existing Cardano tools such as Plutus and Aiken and links conceptually to IOG’s Midnight privacy work because of its focus on compact proofs.
- Market coverage noted ADA trading near $0.217 at the time and the next clear signals the community should watch are a published spec, a code repository, security audits and developer tooling that would show whether the idea gains real use.