Cardano founder Charles Hoskinson developing new programming language with Input Output Global engineer

Cardano founder Charles Hoskinson is personally developing a new programming language with Input Output Global engineer Lucas Rosa. The language aims to combine transaction intents, proof-carrying data, and Groth16 proofs to allow applications to execute user requests and efficiently verify that conditions were met.