币圈界报道：

霍金森主导开发Cardano全新意图导向编程语言

查尔斯·霍金森正与Aiken联合创始人卢卡斯·罗萨协同推进一项关键研发项目，旨在为Cardano生态系统构建一种全新的编程范式。该语言的核心设计理念是整合交易意图表达、携带证明的数据结构以及Groth16零知识证明机制，以实现更高效、更安全的去中心化应用构建。

技术融合前沿：从意图到可验证计算

该项目将用户对交易结果的期望直接作为输入，而非要求其定义每一步操作路径。系统将自动解析并执行最优策略，显著降低使用门槛。同时，所有数据可附带密码学证明，确保其来源与处理过程的合规性，接收方仅需验证证明即可完成确认，极大提升网络效率。

底层支撑：高效验证与生态兼容性

Groth16协议在此扮演关键角色，其生成的证明体积小、验证速度快，适配高吞吐场景。近期Cardano已在测试环境中引入五种新的Plutus原生函数，进一步丰富底层工具链。尽管新语言尚未公开代码库或发布日程，但其设计已体现出对现有架构的深度考量。

深度介入：从架构演进到应用层革新

霍金森明确表示自己深度参与该语言的设计与实现，此举正值Cardano加速推进“Leios”升级的关键节点。此前该升级已着手优化网络吞吐量与扩展能力，而当前重心则转向上层应用的逻辑重构。新语言被定位为首个实现三大核心技术统一集成的尝试，具备开创性意义。

多语言共存下的生态演进路径

尽管新语言展现出强大潜力，但其定位并非取代既有体系。目前Cardano仍以Plutus为历史主干，Aiken提供更简洁的开发体验，而新项目将在保留这些语言编译至UPLC格式的基础上，探索独立的抽象层级。此外，类似Compact语言在隐私链Midnight中的应用也体现了霍金森对零知识技术的长期布局。因此，这一新工具更可能作为补充而非替代，推动生态向更高层次的智能协作演进。