JUST IN: #Cardano $ADA Founder Charles Hoskinson says "I'm actually personally developing a programming language for Cardano. It's the first of its kind, enabling intents and PCD (proof-carrying data) via Groth16 proofs."