查尔斯·霍斯金森推进Cardano新编程语言开发

Cardano联合创始人查尔斯·霍斯金森近日透露，他正在主导开发一种专为Cardano生态系统量身打造的全新编程语言。这一消息源于社区对Cardano在去中心化应用支持方面独特优势的持续关注。

聚焦用户意图与可验证性

据霍斯金森介绍，新语言的核心设计理念是将用户的操作意图与可验证的链上证据相结合，从而提升智能合约的安全性与透明度。该设计思路与当前主流编程范式形成差异化，尤其强调形式化验证能力。同时，项目提及了Groth16零知识证明技术的应用可能，暗示其在隐私保护方面的潜力。

然而，截至目前，该语言的命名、语法结构、测试计划及上线时间等关键细节仍未公开。这意味着该进展仍处于早期构想阶段，尚未进入实际部署或社区集成环节。

与隐私项目是否存在关联？

值得注意的是，霍斯金森本周早些时候曾披露名为Midnight的隐私导向项目愿景，引发外界猜测两者是否为同一研发方向。但目前并无官方信息证实二者之间的关联，也未明确说明新语言是否会成为Midnight的技术基础。

Cardano现有开发体系已包含Plutus智能合约平台和Aiken高级开发工具。新语言若最终推出，将如何与现有框架共存、互补或替代，仍有待技术白皮书或开发者文档进一步说明。