币圈界报道：

霍金森布局下一代区块链语言：融合零知识证明与意图建模

卡达诺核心推动者查尔斯·霍金森近日披露一项前沿编程语言研发计划，目标在于通过深度集成加密原语提升区块链系统的安全性与表达能力。该语言被寄望于为卡达诺生态注入全新动能，拓展去中心化应用的边界。

基于Groth16的证明携带数据架构实现突破

新语言将支持在数据传输中嵌入可验证的零知识证明，实现所谓“携带证明的数据”（Proof-Carrying Data）机制。这一设计使智能合约能直接验证输入数据的合法性，而无需依赖外部信任源。尽管具体命名、技术细节及上线时间尚未公布，但其底层理念已引发技术圈广泛关注。

霍金森指出：“将意图抽象模型与可验证证明相结合，是迈向可信计算的关键一步，具有颠覆性意义。”

此举被视为对卡达诺作为高安全性基础层定位的进一步强化，回应了社区对其技术深度与扩展潜力的持续期待。

Midnight项目或成新语言关键承载平台

在谈及技术愿景时，霍金森暗示其构想中的系统仅能由“Midnight”项目实现，称其可能是自己职业生涯中最具里程碑意义的成果。作为卡达诺旗下专注于隐私保护的子项目，Midnight以高效匿名交易著称，其与新语言的潜在整合正成为业界推测焦点。

尽管未明确确认二者关系，但外界普遍认为，若新语言得以落地，有望显著增强Midnight在复杂隐私场景下的执行能力。

从Haskell到多元选择：编程语言战略的演进反思

霍金森长期坚持采用Haskell作为卡达诺核心开发语言，曾在2022年马斯克与多西的编程语言辩论中公开力挺。然而，他亦坦言对单一语言依赖存在顾虑。

2024年5月，他曾认真评估过Clojure作为替代方案的可能性。最终，基于Cloud Haskell的分布式能力以及Liquid Haskell和Agda等工具链的成熟度，使其维持原有技术路线。

在2025年的一次访谈中，他坦言若重来一次，或许会选择更灵活的语言体系，体现出对区块链开发范式持续迭代的深刻认知。