币圈界报道：

霍金森携手罗萨推进Cardano新型编程语言研发

10月18日，Cardano联合创始人查尔斯·霍金森披露，他正与Input Output Global工程师卢卡斯·罗萨共同推进一项全新编程语言的开发工作。罗萨是Aiken语言的核心开发者之一，其参与为该项目注入了深厚的技术背景。

新语言定位：从结果出发重构交易表达范式

该语言的设计理念将重心转向用户所期望的交易目标，而非传统方式中对执行步骤的逐项描述。核心机制围绕“交易意图”展开，结合携带加密证明的数据结构，实现对条件满足性的可验证声明。

技术构想与当前状态

在X平台发布的声明中，霍金森确认了与罗萨的合作关系，并强调该语言将集成Groth16零知识证明技术，用于生成可验证的执行证据。然而，目前尚未提供任何源码、语法规范或开发者访问路径，项目仍处于概念披露阶段。

与现有生态工具的并行关系

尽管新语言尚无具体细节，但其愿景被定位为与Plutus和Aiken形成互补。前者基于Haskell，后者以简化开发流程为目标。而此次提出的语言则试图通过抽象执行过程，将逻辑验证责任转移至应用程序层，从而提升安全性和可读性。

关键实施问题待解

由于缺乏公开代码库和技术文档，诸如语言语法设计、工具链支持、数据范围界定以及如何向用户呈现最终交易等实际问题均未明确。对于一款旨在改变智能合约构建方式的语言而言，这些信息缺失使得外界难以评估其可行性与潜在影响。

截至10月19日，相关方仍未透露该语言的正式名称、开源计划或面向开发者的发布窗口，整体进展仍处于高度保密状态。