币圈界报道：

霍金森布局下一代加密语言，推动卡达诺技术跃迁

卡达诺联合创始人查尔斯·霍金森近日披露一项前沿编程语言开发项目，旨在通过强化加密机制重塑区块链底层能力。该语言有望成为卡达诺生态系统实现技术突破的关键支点，激发广泛的技术想象空间。

融合零知识证明与意图模型的架构革新

据霍金森介绍，新语言将支持基于Groth16协议的零知识证明数据携带功能，实现计算结果与验证凭证的无缝集成。这一设计使程序不仅能表达操作意图，还能附带可验证的证明信息，显著提升链上交互的安全性与效率。

“将意图结构与携带证明的数据相结合，是区块链编程范式的一次根本性演进，”他指出，“这标志着可信执行环境从理想走向现实。”

该技术构想回应了社区对去中心化基础层在安全性与可扩展性方面持续升级的需求。霍金森强调，此举意在巩固卡达诺在高安全协议领域的领先地位，为后续复杂应用铺路。

Midnight项目或成新语言核心载体的潜在猜想

在谈及技术愿景时，霍金森透露正致力于构建一个仅能由特定系统承载的加密概念，并明确表示唯有‘Midnight’项目具备实现这一目标的能力。作为卡达诺旗下专注隐私保护的子项目，Midnight目前尚未被证实与新语言存在直接整合路径。

“我正在打造一个只能由Midnight实现的构想，它可能构成我职业生涯中最关键的贡献，”他坦言。

从Haskell到未来语言：开发者视角的演进反思

霍金森长期坚持使用Haskell作为卡达诺核心开发语言，曾在2022年马斯克与多西的编程语言论战中坚定捍卫其选择。然而，他对单一语言依赖亦保持审慎态度。

2024年5月，他曾认真评估过采用Clojure的可能性。最终，由于Cloud Haskell的成熟生态以及Liquid Haskell和Agda等形式化工具的加持，他仍选择维持现有技术栈。

在2025年4月的一次访谈中，霍金森坦言，若能重来一次，他可能会采纳不同的语言策略，反映出区块链基础设施建设中技术路线的动态调整本质。