Cardano Founder Charles Hoskinson Develops New Programming Language for Network
Key Highlights Cardano founder Charles Hoskinson revealed he is personally writing a new programming language for the Cardano blockchain alongside software engineer Lucas Rosa. The upcoming language focuses on three core mechanisms: user transaction intents, proof-carrying data, and Groth16 cryptographic proofs. Designed to combine user-defined transaction goals with verifiable proof of rule execution, the tool ...