Cardano创始人Charles Hoskinson表示，自己正在亲自开发一款面向区块链的新编程语言。
据区块链媒体U.Today当地时间18日报道，这款新语言在设计上将支持通过Groth16证明机制处理Intent和“证明携带数据”（Proof-Carrying Data，PCD）。
Hoskinson是在回应社区有关“Cardano除了高度去中心化之外，还有哪些差异化能力”的提问时透露上述信息的。他表示，这将是首个利用Groth16证明实现Intent和PCD处理的编程语言。
不过，Hoskinson并未公布这款新语言的名称、具体规格以及发布时间。
在此之前，Hoskinson还曾预告，Cardano的隐私保护合作链Midnight将迎来新的应用方式。他表示，自己正在构思一套“可以解决加密行业大多数问题”的方案，并称这或许会成为其职业生涯的代表作。不过，这一构想与上述新编程语言之间是否有关联，目前仍未得到确认。
在编程语言路线方面，Hoskinson过去曾多次公开表达立场。他长期推崇Cardano早期开发所采用的Haskell。2022年6月，在Elon Musk与Jack Dorsey讨论不同编程语言优劣时，他还曾建议两人尝试使用Haskell。
不过，Hoskinson也承认，自己后来并非始终坚持Haskell是唯一正确的选择。2024年5月，他曾表示自己一度可能会选择Clojure，并解释最终敲定Haskell的原因包括可借助Cloud Haskell、Liquid Haskell和Agda等技术。到2025年4月的一次采访中，他又提到，如果从零开始重做Cardano，转向其他编程语言的可能性并不低。
目前，Cardano生态支持基于Haskell的Plutus、Aiken等智能合约语言；Midnight则采用聚焦隐私保护的编程语言Compact。由于这款新语言的具体能力和落地时间尚未披露，其与现有开发工具链如何区分、如何配合，仍有待后续公布更多细节。
Seung-a Yoo
ysah@d-today.co.kr