查尔斯·霍金森推新编程语言支持零知识证明与意图机制

卡达诺（Cardano）创始人查尔斯·霍金森（Charles Hoskinson）宣布，他正在与开发者卢卡斯·罗萨（Lucas Rosa）合作，共同开发一种专为卡达诺生态打造的全新编程语言。该项目目前尚未公布名称、发布时间表或公开发布细节，但已引发社区高度关注。

全新编程语言：面向未来智能合约

霍金森在社交媒体平台X上表示，该语言是“同类**”，专为支持**加密原语而设计，核心目标是实现“意图”和“携带数据的证明”（PCD）功能。他特别指出，账号@rvcas的卢卡斯·罗萨正作为主要合作者推进此项目。

罗萨在卡达诺生态系统中具有重要地位，是Aiken语言的主要开发者之一，该语言用于构建智能合约。此外，他还担任Midnight项目工具架构师，专注于区块链底层基础设施建设。

核心技术突破：从零知识证明到意图交互

当前卡达诺主要依赖Plutus（基于Haskell）和Aiken两种智能合约语言。此次新语言的推出，被视为对现有开发体系的重要补充。

Groth16是一种由密码学家Jens Groth于2016年提出的**零知识证明协议。它仅需三个群元素即可生成紧凑的验证证明，显著**区块链节点的计算开销，加快验证速度，适用于大规模交易场景。

微型词典： Groth16 是一种轻量级零知识证明系统，可在保障隐私的同时大幅减少验证所需资源，广泛应用于链上身份认证与跨链交易。

携带数据的证明（PCD）是一种分布式计算框架，允许每个计算阶段附带前序操作的完整证明。**验证方只需检查一个简洁证明，即可确认整个流程的正确性，极大增强系统的可审计性与信任度。

微型词典： PCD 实现了链上计算过程的“链式可信传递”，使复杂多步骤操作具备透明、可验证的特性，是构建去**化应用的关键技术。

意图（Intents）代表了一种新型交易范式：用户不再需要手动选择桥接方式或路由路径，而是直接声明期望结果，如“将资金转移到另一条链”。系统将自动规划**执行路径，实现真正以用户目标为导向的跨链交互。

未来影响待揭晓

尽管该语言的具体整合路径仍未披露，但霍金森强调其定位为“同类**”，并明确表示将与现有工具并行发展，而非立即替代Plutus或Aiken。

社区普遍期待后续公告，**关注该语言是否支持与现有合约兼容、部署时间线以及对开发者生态的实际影响。