币圈界报道：

霍斯金森主导研发零知识驱动新编程语言，强化卡达诺信任架构

卡达诺联合创始人查尔斯·霍斯金森披露，他正个人主导开发一门专为该生态设计的全新编程语言，其核心目标是实现更高级别的可验证性与用户意图表达能力。尽管官方尚未公开具体技术细节，但该语言被定位为行业首创，将深度整合零知识证明机制。

核心开发团队背景曝光：卢卡斯·罗萨领衔技术攻坚

该项目由账号@rvcas所代表的卢卡斯·罗萨主导推进。作为Input Output Global资深软件工程师，罗萨同时也是卡达诺智能合约语言Aiken的联合创建者，并现任Midnight项目工具架构师。其技术履历显示其在密码学与区块链底层架构领域具备深厚积累。

三大技术支柱：意图、证明承载数据与高效零知识协议

新语言的设计围绕三大关键要素展开：首先，通过“交易意图”机制，用户可签署带有预设条件的高级指令，确保资产仅在特定规则达成时才完成转移；其次，“携带证明的数据”（PCD）技术允许在信息传递中嵌入小型数学证明，以自动验证输出是否符合既定逻辑；第三，系统采用2016年由Jens Groth提出的Groth16协议，该协议能生成极小体积的零知识证明，显著降低链上验证资源开销。

未来应用前景与当前待解问题并存

据分析，该语言有望支持构建复杂协调型交易应用，所有验证过程可通过一个简洁的证明在卡达诺链上完成。值得注意的是，类似“意图”理念已在以太坊生态中探索，如Open Intents Framework，而本项目则将其与PCD和高效零知识证明深度融合。然而，目前语言命名、代码仓库、上线时间及手续费支付机制（是否使用ADA）均未明确。鉴于现有Plutus与Aiken已成熟可用，新语言如何与现有工具链共存仍待进一步说明。现阶段，此消息更偏向战略意向宣告，而非可立即投入使用的开发产品。