币圈界报道：

霍斯金森推进新型编程语言：整合意图表达与零知识证明

卡达诺联合创始人查尔斯·霍斯金森正在构建一种创新性编程语言，其核心目标是将用户交易意图、携带证明的数据（Proof-Carrying Data）与高效的零知识证明机制相融合，以增强区块链应用在安全与隐私层面的表现。

强化链上执行的可验证性与数据隐匿性

该语言的设计理念在于通过引入可验证的执行条件，使智能合约能够明确表达期望结果，并附带不可伪造的密码学证据。这一特性有望显著提升复杂交易场景下的可信度与合规性，同时减少对敏感信息的暴露需求。

依托先进密码学实现轻量级验证

据霍斯金森在X平台披露，新语言将采用Groth16算法生成极简形式的零知识证明，确保验证过程高效且资源消耗低。这种设计不仅支持高吞吐量验证，也为跨链交互和隐私计算提供了坚实的技术基础。

现有生态工具与历史路径回顾

当前卡达诺生态系统已部署Plutus与Aiken等以Haskell为基础的开发环境，而关联项目Midnight则使用Compact语言处理高度机密的应用逻辑。霍斯金森曾表示，早期架构曾评估过Clojure的可能性，最终因技术成熟度与生态支持选择Haskell，反映出其对系统稳定性的高度重视。

未来重构可能性与持续探索

尽管新语言尚处于概念阶段，但霍斯金森在近期访谈中坦言，若系统面临根本性升级需求，不排除采用全新编程范式。此次项目标志着卡达诺在底层语言层面的又一次深度演进，但具体技术参数、开发进度及上线时间仍未对外公开。