Overview
- Charles Hoskinson announced on X that he is personally developing the language and named Input Output Global engineer Lucas Rosa as his collaborator.
- He described three technical goals for the tool: transaction intents to express user requests, proof-carrying data to attach verifiable evidence, and Groth16 zk‑SNARK proofs to keep those proofs small and quick to check.
- No name, public specification, source code, or timeline for developer access has been released, leaving the effort at an early, non-public stage.
- The announcement positions the new language alongside existing Cardano tooling such as Plutus and Aiken and IOG’s Compact language used on the Midnight privacy chain.
- Founder-led engineering could steer Cardano toward more off‑chain computation with on‑chain verification, but practical impacts on developer tools and app design remain uncertain until IOG or Hoskinson publish details.