Cardano’s boss sat down to code himself 👨💻
Charles Hoskinson, the founder of Cardano, usually leads a team. Now he says he’s personally writing a new programming language for his blockchain. His partner is Lucas Rosa of Input Output Global, one of the creators of Aiken, the language used today to build many Cardano applications.
What makes it special?
The language is built on three ideas.
1. Intent-based transactions (intents).
Right now, on the blockchain, you have to spell out every step, like instructions for a robot: “go there, pick this up, give that away.” With intents, you simply say what you want. It’s like ordering at a café: you ask for a “cappuccino” instead of explaining to the barista how to operate the espresso machine. The system decides how to make it happen.
2. Proof-carrying data.
This is data that comes with a “receipt” confirming everything is above board. You don’t have to blindly trust that the information is correct. Verification is built right into the data itself.
3. Groth16 proofs (from the world of ZK).
This is a cryptographic trick called a “zero-knowledge proof.” It creates compact proofs that a computer can verify quickly, confirming that a condition has been met without revealing private information. For example, you prove to a club that you’re at least 18 without showing your ID. The club only sees “yes, the condition is met.”
Why put all of this together?
The idea is for an application to do what you asked and, at the same time, mathematically prove that all the rules have been followed without revealing anything extra. This could be useful where privacy matters, such as finance and identity verification.
When can we expect it?
It’s still early. The name is being kept secret, there’s no code, and there are no dates. This is an idea announcement, not a finished product. The question now is whether it will become code that developers can verify and use.
Cardano is no longer the “Wild West”
Cardano visits Brazil’s oil industry
