查尔斯·霍金森推新编程语言，剑指区块链加密革新

卡达诺（Cardano）的联合创始人查尔斯·霍金森（Charles Hoskinson）近日披露一项全新编程语言的研发动向，旨在通过强化加密能力为区块链技术注入新动能。该语言或将支持携带证明的数据（Proof-Carrying Data）处理，显著提升系统安全与可验证性。

技术创新：融合意图结构与零知识证明

据霍金森介绍，新语言的核心设计将整合“意图结构”（Intent Structures）与基于Groth16算法的零知识证明机制。这一组合有望实现代码执行过程中的自我验证，降低对第三方信任的需求，从而增强去中心化系统的可靠性。

“这项工作是将意图模型、携带证明的数据和零知识证明三者深度结合的开创性尝试，代表了区块链编程范式的一次跃迁。”他强调。

Midnight项目或成关键落点

在谈及未来潜在应用场景时，霍金森明确表示，目前唯一能承载其构想的项目是卡达诺旗下的隐私保护平台——Midnight。尽管尚未证实两者存在直接关联，但业界普遍推测，新语言可能为隐私计算功能提供底层支持。

“我正构想一个只有Midnight能实现的概念，这或许是我在加密领域最重大的贡献。”他表示。

编程语言选择的演进与反思

霍金森长期坚持使用Haskell作为卡达诺核心开发语言。然而，在2025年一次访谈中，他坦言若从头构建卡达诺，可能会采用不同技术路径。此前他曾认真评估过Clojure等替代方案。

最终决策受制于Cloud Haskell生态以及Liquid Haskell、Agda等形式化验证工具的支持程度。这一转变反映出区块链开发在安全性与灵活性之间持续寻求平衡的演进逻辑。

尽管新语言尚未发布，但其技术理念已引起开发者社区广泛讨论，被视为卡达诺迈向更高级别可验证性与隐私保护的重要一步。