Cardano founder Charles Hoskinson announced on October 18 that he is personally developing a new programming language for the blockchain, working alongside a developer on the project.
Hoskinson described the proposed language as supporting "intents and PCD via Groth16 proofs," characterizing it as the first of its kind. The tool would enable applications to execute user requests while providing mathematical evidence that specified conditions were met.
How the Language Would Function
In a practical example, a token swap user could specify the minimum amount they wish to receive. The software would handle the steps required to complete the transaction while ensuring conditions are satisfied. A proof component would then provide mathematical verification that relevant rules were followed.
Cardano already offers programming tools including Aiken, which developers use to create smart contracts. Hoskinson's proposed language would represent an additional development option for the ecosystem.
Key Details Remain Unspecified
Hoskinson did not provide a name, technical specification, or code link for the project. The announcement also did not include a release date. Hoskinson's October 17 post referenced a Midnight concept as the "magnum opus" of his career, though he did not explicitly state whether the new programming language is the same project.
ADA Price Movement
At the time of the announcement, ADA traded around $0.2173, down 1.76% in the ongoing session. The token had declined from the high $0.28 level it reached earlier in the month, with recent rebounds insufficient to reverse the decline.
