Hoskinson Says He Is Building A New Cardano Language Around Cryptographic Proofs
Photo: Bitcoinist
TL;DR: Cardano founder Charles Hoskinson says he is personally developing a programming language that combines transaction intents, proof-carrying data and Groth16 proofs. Charles Hoskinson is returning to the keyboard. The Cardano founder says he is working directly on a new programming language with Input Output Global engineer Lucas Rosa, aimed at making complex blockchain actions easier to express and verify. His description brings together three ideas. Transaction intents describe what a user wants to achieve without forcing them to specify every execution step. Proof-carrying data attaches evidence that a computation or action meets certain rules.
Source: Bitcoinist
