查尔斯·霍金森表示正在为卡尔达诺开发全新编程语言_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

查尔斯·霍金森表示正在为卡尔达诺开发全新编程语言

2026-10-22 00:26:11

查尔斯·霍金森透露：正与Input Output Global工程师卢卡斯·罗萨联手开发Cardano新编程语言

10月18日，Charles Hoskinson表示，他正亲自与Input Output Global的工程师Lucas Rosa合作，为Cardano开发一种新的编程语言。Rosa是Aiken的共同创作者。这一披露指向了Cardano应用开发者的一条潜在新路径：以交易意图和加密证明为核心，而非传统的交易执行描述。

Hoskinson尚未公布该语言的名称、公开代码或提供开发者访问的时间表。这些缺失意味着该项目仍处于早期披露阶段，开发者目前尚无法评估或使用这一工具。

项目启动与背景

在X平台的一篇帖子中，Hoskinson确认了他与Rosa正在共同研发该语言。Rosa的参与使该项目与Aiken建立了直接联系，而Aiken已是Cardano现有的智能合约开发选项之一。

编程语言决定了开发者如何表达应用规则、构建交易以及与网络底层执行模型交互，因此此次宣布备受关注。然而，帖子本身并未列出具体规范或代码库，也未提出将该语言纳入Cardano更广泛开发者栈的路径。

目前，公众所能了解的内容仅限于Hoskinson所提及的元素及其预期用途。缺乏代码也使得诸如语言语法、工具链支持以及适用范围等实际问题悬而未决。

交易意图与加密证明

据CoinDesk报道，Hoskinson指出，该语言将结合“交易意图”（transaction intents）、“携带证明的数据”（proof-carrying data）以及Groth16加密证明技术。其设计理念强调用户希望交易达成的目标，同时附带旨在证明所需条件已满足的证据。

在该提议的系统下，用户只需指定期望的交易结果，应用程序则负责处理执行过程，并附加加密证据以证明条件已得到满足。这一区分对项目定位至关重要：不同于仅将用户交互描述为一系列执行步骤的传统模式，Hoskinson所描述的模型从结果出发，并将实现任务交由应用程序完成。证明组件旨在作为相关陈述条件的证据伴随整个流程。

Groth16是公告中明确提及的具体证明技术。无论是Hoskinson的披露还是后续报道，均未详细说明该技术如何在语言层面实现、哪些数据会被涵盖在证明范围内，以及应用程序如何将生成的交易呈现给Cardano用户。

对于一款声称涉及交易构建与验证的语言而言，这些都是关键的实施问题。在没有公共代码库或技术文档的情况下，仅凭高层级的公告无法解决这些问题。

与Plutus和Aiken并存

Hoskinson重申，他正与Input Output Global工程师、Aiken共同创作者Lucas Rosa个人主导开发这款新的Cardano编程语言。他指出，该语言将融合交易意图、携带证明的数据及Groth16加密证明。在此系统中，用户指定期望的交易结果，应用程序负责执行并提供满足条件的加密证据。

若最终发布，该项目将成为继Plutus和Aiken之后，Cardano生态系统的又一开发选项。据CryptoSlate报道，Aiken旨在降低Cardano智能合约开发的门槛，使其比基于Haskell的Plutus环境更易上手。

截至10月19日，据CryptoSlate称，Hoskinson仍未公布该语言的名称、公开源代码或宣布面向开发者的发布日期。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文