New Web Product
Cardano Founder Developing New Programming Language
Cardano founder Charles Hoskinson is building a new programming language for the Cardano blockchain. The language will combine transaction requests with cryptographic proofs, and will support tools like transaction intents, proof-carrying data, and Groth16 proofs. Hoskinson is working on the language with Lucas Rosa, a software engineer at Input Output Global. The new language aims to allow developers to build apps that can coordinate trades, check conditions, and pass verified information between services, with Cardano verifying a small proof at the end.