Cardano founder Charles Hoskinson is building a new programming language for the network

Cardano founder Charles Hoskinson is writing a new programming language for his blockchain. He says it will be the first to combine what a user wants a transaction to do with cryptographic proof that the rules were followed. “I’m actually personally developing a programming language for Cardano,” Hoskinson wrote on X on Sunday, adding that he’s working on it with Lucas Rosa, a software engineer at Input Output Global who co-created Aiken, one of Cardano’s main smart contract languages. That’s not something most founders do once their network is this big.