ADA news: Charles Hoskinson is personally building a new programming language for Cardano
Summary
Cardano founder Charles Hoskinson says he is personally developing a new programming language with Input Output Global engineer Lucas Rosa. It is designed to combine transaction intents, proof-carrying data and Groth16 proofs, allowing users to specify desired outcomes while applications handle execution and cryptographically verify that rules were followed. The tools could help developers build apps that coordinate trades and share verified information while preserving privacy. Cardano already supports Plutus and Aiken smart-contract languages. Hoskinson has not announced the new language’s name, released code or provided a launch date.
