Cardano founder Charles Hoskinson says he is personally developing a new programming language for the blockchain with Lucas Rosa, an Input Output Global engineer and co-creator of Aiken, a smart-contract language used on Cardano. Hoskinson announced the work in a post on X on Sunday, but did not disclose a project name, technical specifications or release date.
The proposed language would combine transaction intents, proof-carrying data and Groth16 proofs. Groth16 proofs can provide a compact way to verify that conditions were met without requiring the verifier to repeat the underlying computation or receive all of the private data involved.
In practical terms, the design could allow applications to coordinate conditional transactions, verify complex requirements and pass authenticated information between services before Cardano checks a final proof. Hoskinson described the combination as the first of its kind, but has not published code or documentation that would allow the claim or the implementation to be independently assessed.
The project would add another development path to Cardano’s existing smart-contract tools. Developers currently use Plutus, which is built on Haskell, and Aiken; Input Output Global’s privacy-focused Midnight blockchain separately uses Compact for applications handling confidential data. No public timetable has been given for testing or adoption of Hoskinson’s proposed language.