Charles Hoskinson:Cardano(ADA)新编程语言将首个把意图结构与Groth16证明结合

一门语言同时处理意图与Groth16证明

Charles Hoskinson在10月18日表示,他正在为Cardano (ADA)构建一门新的编程语言,目标是让意图结构与携带证明的数据在同一门语言中处理,验证环节则通过Groth16证明完成。按照他的设想,开发者今后只需在一个地方声明一笔交易“想做什么”,就能同时附上可验证的密码学证据。意图结构允许交易直接声明其预期结果,而不必写清底层执行细节;携带证明的数据则指数据本身自带可验证证据的格式;Groth16是零知识领域目前使用最广泛的证明系统之一。Hoskinson声称,这一结构将是首个把三者结合起来的方案,并认为这种组合可能为Cardano生态打开多个新用例。落到实际层面,用这种方式编写的合约,可以让部署在主网上的应用向任何验证者证明:一笔转账或一次计算确实遵循了作者预先声明的规则。Hoskinson把高级密码学包装成这门语言的招牌特性,但没有说明它会触及技术栈的哪些部分。这番表态是对一位社区成员的回复,后者询问Cardano作为高度去中心化的基础层究竟有何独特优势。Hoskinson回答说,正在进行的工作可以强化网络的技术论证,也就是为这一主张再添筹码:一条按这种去中心化程度构建的权益证明链,拥有其他设计无法复制的优势。他没有给出语言名称、技术规格,也没有给出时间表。这段回复之所以重要,在于它回应的问题正触及Cardano与竞争性基础层之间的核心差异。市场方面,Cardano价格在周线下跌11%后仍维持在0.22美元附近,一份没有附带代码的公告,本身很难改变这一格局。

Haskell争议与Midnight构想

这次表态重新打开了一个Hoskinson反复回到的问题:Cardano到底应该用什么语言来构建?网络从早期起,开发架构就主要建立在Haskell之上,Hoskinson多年来也一直在公开为这个选择辩护。Haskell是一门以强静态类型著称的函数式编程语言,他长期主张这种特性适合金融合约场景,因为在这类场景中正确性比便利性更重要。2022年6月,他加入了Elon Musk与Jack Dorsey关于编程语言优劣的讨论,在Musk表示对C语言感兴趣之后,Hoskinson建议不妨给Haskell一个机会。不过他后来承认,自己对用Haskell构建Cardano (ADA)的决定从来都不是完全确定的。到2024年5月,他表示曾认真考虑过用Clojure作为替代方案,最终是Cloud Haskell的可用性,以及Liquid Haskell和Agda等工具的支撑能力,让这个选择落定。这段反复权衡的过程,是他依恋Haskell带有前提条件的最清晰的早期信号。2025年4月的一次采访中,他走得更远:如果Cardano可以推倒重来,他大概率会选择一门不同的语言。对照这条时间线,一门由他亲自开发的编程语言,可以被读作从反复权衡走向实际动手的第一步。这一步之所以关键,是因为一门原生处理意图结构的语言,可以把今天需要多层工具链才能完成的工作,压缩成一条开发路径。另外,他还说自己正在研究一个构想,认为它能解决加密行业的大部分问题,并称只有Midnight Network才能把这一构想带给整个行业,甚至认为这可能是他职业生涯中最重要的工作。Midnight是Cardano生态内主打隐私的项目。这个构想与新的编程语言之间是否有关联,他在发言中没有交代,也没有透露两者何时会以可用形态落地。

没有名称,没有发布时间

我们的判断是:这是一次方向性表态,而不是一次交付事件。Hoskinson此前已把网络的技术完成度与Leios路线图绑定,其测试网目前运行在26.8 txkB/s的吞吐水平上,因此一门新语言更可能是与这项工作并行推进,而非取而代之。这次声明中没有任何可验证的内容:没有名称、没有规格、没有代码,也没有说明与Midnight构想之间是否有关。围绕资产的猜测仍在别处进行,从Cardano技术分析端,到Bodega市场上针对100万美元目标的Cardano稳定币押注。在这些东西真正交付之前,开发者仍将在Haskell工具链上构建,这依旧是悬在头上的一项约束。