币圈界报道：

霍金森联手罗萨开发支持意图与PCD的原生编程语言

卡达诺创始人格雷厄姆·霍金森宣布，正与开发者卢卡斯·罗萨合作，构建一种面向卡达诺生态的全新编程语言。该工具目前尚无公开名称、发布计划或具体路线图，但其核心目标是实现对高级加密原语的原生支持。

专为卡达诺打造的首创性语言正在孵化

霍金森在社交平台X上披露，该项目被定位为“领域内首次”，致力于通过集成Groth16证明系统，实现对用户意图表达及携带数据的证明（PCD）的直接编程支持。他指出，账号@rvcas的卢卡斯·罗萨是该倡议的关键合作者。

罗萨长期活跃于卡达诺技术生态，不仅是Aiken语言的主要设计者之一，亦担任Midnight项目的核心工具架构师，专注于提升区块链底层基础设施的可扩展性与安全性。

当前，卡达诺智能合约主要依赖两种语言：基于Haskell的Plutus，以及由罗萨主导开发并持续维护的Aiken。

融合先进密码学：从零知识证明到链式验证

此次新语言的提出，是对社区关于卡达诺能否成为可信去中心化根节点的回应。其设计重点在于整合包括Groth16在内的前沿加密技术，以及支持意图机制和携带数据的证明（PCD）。

Groth16是一种由密码学家詹斯·格罗思于2016年提出的零知识证明方案，仅需三个群元素即可生成紧凑且高效的证明，极大优化了验证效率，降低链上资源开销。

微型词典：Groth16 是一种高效率的零知识证明系统，可在极小证明体积下完成复杂逻辑验证，适用于智能合约与隐私保护场景。

携带数据的证明（PCD）是一种分布式计算框架，允许每个计算阶段附带前序操作的完整证明。最终接收方可通过单一简洁证明验证整个流程，显著增强系统的可审计性与信任层级。

微型词典：PCD 实现链上计算的端到端可验证性，使多步骤任务可在不牺牲性能的前提下完成可信验证。

意图（Intents）代表一种新型交互范式：用户仅需设定期望结果，如资金跨链转移，而无需指定具体桥接路径或执行细节。网络将自动选择最优路由，推动以目标为导向的跨链体验。

生态整合路径仍待揭晓

目前，该语言如何融入卡达诺现有技术栈尚未披露。霍金森未说明其是否会替代或与Plutus、Aiken共存，也未提供开发时间表。

他重申，该项目具备“同类首创”特性，核心在于利用Groth16实现意图与PCD功能，并强调与罗萨的合作关系——后者既是知名工具架构师，也是卡达诺开发生态的重要贡献者。

卡达诺社区正密切关注后续进展，期待了解该语言的具体能力、部署节奏及其对智能合约开发范式的深远影响。