为什么 Charles Hoskinson 亲自为 Cardano 打造一种新的编程语言

目录

• 你可能想知道
• 主题
• 重点摘要表
• 后续……

你可能想知道

• 结合交易意图与密码学证明的 Cardano 编程语言，能让开发者构建哪些应用？
• 这项提议中的语言与 Cardano 现有工具有何关联？目前还有哪些细节未知？

主题

Cardano 创始人 Charles Hoskinson 表示，他正与 Input Output Global 的软件工程师 Lucas Rosa 亲自为该网络开发一种新的编程语言。根据 Hoskinson 的描述，这一构想旨在结合用户希望交易达成的结果，以及证明相关条件已得到满足的密码学证据。这项提议或能让开发者以新的方式描述应用应达成的目标，并验证其规则是否得到遵循。

Hoskinson 于周日在 X 上发帖宣布了这项计划，写道：“我其实正在亲自为 Cardano 开发一种编程语言。”他说自己正与 Rosa 合作；Rosa 是 Aiken 的共同创作者之一，而 Aiken 是 Cardano 的主要智能合约语言之一。这项计划之所以受到关注，部分原因在于，尽管 Input Output Global 拥有一整支工程师团队，Hoskinson 仍亲自参与开发一项未来可能用于构建 Cardano 应用的工具。

据报道，这项设计将结合三个要素：交易意图、携带证明的数据，以及 Groth16 证明。每个要素分别处理应用如何表达请求、共享信息，以及确认特定规则已得到满足的不同环节。结合这些要素，旨在帮助应用协调操作并验证条件，而不必要求每位参与者重做所有底层工作。

交易意图描述的是期望达成的结果，而不是规定达成结果所需的每个步骤。例如，交易者可能会要求只有在最终价格符合指定条件时才进行代币兑换。用户不必列出完整的操作流程，只需说明目标与限制，再由应用决定如何执行请求。这种模式或许能让某些交互更容易描述，但应用仍须负责执行，并遵守用户设定的条件。

携带证明的数据会在信息中附加密码学证据，让其他应用能够检查信息是否符合既定规则。接收服务不必重做生成该信息的每项计算，而是可以检查随附的证据。当应用交换数据，或需要由另一项服务检查结果时，这种方式可能派得上用场。证明并不能免除制定适当规则的必要；它只是提供一种验证数据是否符合规则的方法。

第三个要素 Groth16 是一种广泛使用的证明系统，能够生成精简的证明，让计算机快速验证。这类证明可以在不透露用于满足条件的私人信息的情况下，证明条件已得到满足。当验证很重要、但不宜公开底层数据时，这一特性便与应用息息相关。来源描述并未说明这项提议中的语言将如何实现 Groth16，也未提及会配套哪些开发工具。

这三个要素结合后，或能帮助开发者构建可协调交易、评估复杂条件，以及在服务之间传递已验证信息的应用。在一种可能的工作流程中，应用可以解读用户的意图、安排必要操作，并生成证据以证明所要求的条件已得到满足。随后，Cardano 可以检查精简的证明，而不必重做整个流程涉及的每项计算。这只是对潜在能力的描述，并不代表已有可运行的实现或应用。

这项提议的做法也处于 Cardano 现有的开发环境中。开发者目前已使用基于编程语言 Haskell 构建的 Plutus，以及 Aiken 编写智能合约。Rosa 的参与将这项新计划与 Aiken 的开发联系起来，而这项公告则暗示，新语言会带来意图与证明的独特组合。目前公开的信息尚未确定它会取代、扩展，还是与这些现有工具并行运行。

Input Output Global 也打造了 Compact，这是一种用于 Midnight 上处理机密数据的应用的语言。Midnight 是与 Hoskinson 公司相关、以隐私为重点的区块链。Compact 与这项提议中的 Cardano 语言，是针对不同网络及应用场景的独立计划。Compact 的存在让人得以了解该公司在专用编程语言方面的工作，但公告并未表示新语言会重用 Compact，或采用相同设计。

目前仍有重要细节尚未公布。Hoskinson 尚未透露这种语言的名称、发布公开代码，或宣布开发者何时能开始使用。在缺少这些信息的情况下，开发者无法评估其语法、文档、兼容性、性能、安全模型或实际实现方式。这项公告传达了预定方向，但目前的信息仍不足以判断这项工具在实际项目中会如何运行。

核心构想是将用户要求的结果与可验证的证据联系起来，但项目是否已就绪、何时能使用，仍未得到确认。因此，要了解它最终会带来什么影响，还需等待更多技术信息、公开实现，以及实际测试工具的开发者分享经验。

重点摘要表

后续……

接下来真正有意义的一步，是提供足以让外界独立评估的技术细节。公开规范或代码，可以说明这种语言如何表示意图、开发者如何附加并验证证明，以及各个组件如何与 Cardano 现有的合约工具交互。文档与示例也有助于区分这种语言预期具备的能力，以及实际上能够实现的功能。

进一步探索隐私保护计算、证明系统安全性，以及意图式应用的易用性，将有助于整个领域评估这种做法。开发者与研究人员不仅需要考虑证明能否高效验证，也要检查其假设是否可靠，以及应用能否正确处理用户限制。同时，实际测试也能揭示当多项服务协调操作时，这些机制的表现如何。

目前这项公告呈现的是一种可能方向，而非已完成的产品。接下来最值得关注的问题是：这种语言将如何制定规范、如何与 Plutus 和 Aiken 并存，以及开发者何时能查看并测试它。这些问题的答案将决定这项提议中的组合能否成为 Cardano 开发环境中的实用新工具。