Hoskinson Says He Is Building A New Cardano Language Around Cryptographic Proofs
TL;DR: Cardano founder Charles Hoskinson says he’s personally growing a programming language that mixes transaction intents, proof-carrying information and Groth16 proofs. Charles Hoskinson is returning to the keyboard. The Cardano founder says he’s working immediately on a brand new programming language with Input Output Global engineer Lucas Rosa, aimed toward making advanced blockchain actions simpler…
