币圈界报道：

霍斯金森推进新型编程语言：以零知识证明重构交易意图表达

卡达诺项目创始人查尔斯·霍斯金森正在构建一种创新性编程语言，其核心目标是将用户交易意图、携带证明的数据（Proof-Carrying Data, PCD）以及Groth16密码学证明深度融合，从而显著增强区块链应用在验证强度与隐私保护方面的表现。

构建基于意图的可验证执行范式

该语言的设计理念聚焦于让开发者能够清晰定义期望的执行结果，而非仅描述具体操作步骤。通过引入“意图即代码”的思想，系统可在不暴露完整数据的前提下完成可信验证，有效降低中间环节的信息泄露风险。

集成前沿密码学技术实现高效验证

据霍斯金森在社交媒体平台X上的披露，新语言将依托于Groth16算法生成轻量级零知识证明，确保交易真实性的同时保持极低的计算开销。这一设计使复杂逻辑判断可在无需全网共识的情况下被快速验证，大幅提升链上处理效率。

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

当前卡达诺生态系统已部署Plutus（基于Haskell）、Aiken及与Privacy-first项目Midnight关联的Compact语言。这些工具分别服务于智能合约开发、合约可读性优化以及高敏感度数据应用。霍斯金森曾表示，早期架构曾评估过Clojure等语言，最终因技术成熟度与生态支持选择Haskell。

未来演进中的语言战略探索

尽管新语言仍处于概念阶段，尚未公布技术细节或发布时间表，但霍斯金森在近期访谈中暗示，若未来系统需要深度重构，不排除采用全新语言栈的可能性。此次进展标志着卡达诺在底层编程范式上的持续创新尝试。