币圈界报道：

霍金森主导开发Cardano新型意图驱动编程语言

查尔斯·霍金森正与Aiken联合创作者卢卡斯·罗萨深度协作，推进一项专为Cardano生态打造的全新编程语言研发工作。该系统以整合交易意图表达、携带验证证明的数据结构及Groth16零知识证明机制为核心目标，旨在构建更高效、安全且用户友好的智能合约执行范式。

项目处于高度保密阶段，未披露命名与发布路径

截至目前，该项目尚未公开正式名称、开源代码库链接或任何关于测试网部署或主网上线时间的计划。所有信息仍处于初步构想阶段，团队也未透露首批应用场景或技术集成细节。

从底层架构到应用层：霍金森亲历开发全过程

不同于以往仅担任战略指导角色，霍金森此次明确表示直接参与新语言的设计与实现。这一举措正值Cardano推进“Leios”升级的关键时期，该升级将完成网络吞吐量提升与扩展能力增强等核心架构任务。而当前工作的重心则转向基于新语言构建下一代去中心化应用。

他强调，此项目是首个将“结果导向的交易意图”、“可验证的数据附带证明”以及“高效零知识验证”三者统一于单一编程模型中的尝试，具有开创性意义。

以最终结果定义操作，重构用户交互逻辑

传统区块链交互依赖用户精确指定每一步操作流程。而基于意图的系统允许用户仅声明期望达成的目标，例如：“将代币X兑换为代币Y，且成交价不得超过Z。”系统将自动解析并寻找最优路径完成交易，无需用户手动设定中间步骤。

这种模式显著降低使用门槛，同时提升自动化水平，为复杂金融协议的构建提供新可能。

证明绑定数据实现高效验证

“携带证明的数据”机制使关键计算结果附带一份密码学证明，接收方只需验证该证明即可确认其有效性，无需重复执行全部计算过程。此举极大减轻节点负担，提高整体网络效率。

Groth16作为支撑该机制的核心零知识证明协议，以其生成短小、快速可验证的证明著称。今年5月，Cardano已在测试网中验证了五项新增的Plutus原生函数，进一步丰富其底层工具集。

新语言有望通过内嵌这些高级逻辑，推动应用程序性能再上台阶。不过，目前尚不清楚其如何与现有架构协同运行。

多语言共存格局下，新工具定位待明

尽管新项目备受关注，但其并非孤立存在。Cardano生态系统长期由Plutus主导，而Aiken作为较新替代方案，因语法简洁、开发体验优化受到欢迎。两者编写的合约最终均转化为通用的UPLC字节码供节点执行。

目前，霍金森未说明新语言是否也将遵循相同路径，亦未表明其是否有意取代或超越Aiken或Plutus。现有公告中无任何替代性声明。

此外，专注隐私保护的Midnight网络所采用的Compact语言也在霍金森的战略布局中占有一席之地，尤其在处理私有数据与零知识证明场景方面。

因此，尽管共享部分技术理念，该新语言凭借其“意图优先”和“数据-证明绑定”的独特设计，展现出鲜明差异化特征。霍金森将其形容为“前所未有的方法论”。未来进展，仍需等待代码开放与官方披露。