币圈界报道：

霍斯金森主导开发新型编程语言，聚焦零知识证明与意图表达

卡达诺联合创始人查尔斯·霍斯金森近日披露，他正以个人身份推动一门全新编程语言的研发，该语言将深度集成于卡达诺生态，并以原生代币ADA为支撑。尽管官方尚未正式发布相关细节，但其初步构想已引起业界关注。

核心研发团队公开，工具链协同推进中

该项目由卢卡斯·罗萨（Lucas Rosa）领导的RVCAS团队共同参与。罗萨现任Input Output Global软件工程师，亦是卡达诺智能合约语言Aiken的联合设计者，目前担任Midnight项目工具架构师。其技术背景为新语言的底层构建提供了关键支持。

三大技术支柱构成新语言核心框架

该语言的设计围绕三个核心概念展开：交易意图，即用户通过签名表达期望达成的最终结果，可附加条件确保资产仅在满足特定规则时转移；携带证明的数据（PCD），通过在数据上嵌入小型密码学证明，实现输出内容的合规性自证；以及基于Groth16协议的零知识验证机制，该协议由Jens Groth于2016年提出，具备生成高效、体积小的证明能力，显著降低链上验证开销。

潜在应用场景与生态影响待进一步验证

据分析，此语言有望支持开发者构建具备复杂条件判断能力的跨链协调应用，所有逻辑可通过极简证明在卡达诺主网上完成验证。类似“意图”理念已在以太坊生态的Open Intents Framework中探索，而本项目则将其与PCD和Groth16深度融合，形成更安全可信的执行范式。然而，目前尚无语言命名、代码库开放或发布时间表披露，其与现有Plutus及Aiken工具链的整合路径亦不清晰。此外，是否采用ADA支付交易费用仍未明确。现阶段该公告仍属战略意向声明，具体落地需待后续技术文档发布。