TL;DR：Cardano创始人Charles Hoskinson表示，他正在亲自开发一种编程语言，该语言结合了交易意图、携带证明的数据和Groth16证明。
查尔斯·霍斯金森重返键盘。这位Cardano创始人表示，他正与Input Output Global工程师卢卡斯·罗萨直接合作开发一种新的编程语言，旨在让复杂的区块链操作更易于表达和验证。
他的描述将三个概念结合在一起。交易意图描述用户想要达成的目标，而不强制其指定每一个执行步骤。携带证明的数据附带有证据，证明某项计算或操作符合特定规则。Groth16证明是紧凑的密码学证明，可以被高效验证。
原则上，这些组件可以为Cardano开发者提供另一种构建应用的方式，使其能够协调操作并验证结果，而无需将每一项底层计算都放到链上。
有一个重要的前提：Hoskinson尚未公开发布完整的规范、该语言的名称，也没有公布面向普通开发者开放的时间表。在社交媒体上宣布正在进行的工作，并不等同于一个新的生产级编程环境。
Cardano 已经支持 Plutus 和 Aiken 等工具，而独立的 Midnight 隐私网络则使用其自己的开发者工具。一门新语言必须展现出实际优势、可行的安全性以及足够好的开发者体验，才能鼓励采用。
这个想法雄心勃勃。尚未解答的问题是，它如何从Hoskinson的描述转变为可供构建者实际使用的、可公开审查的代码。
由新闻台撰写，Samuel Rae 编辑。
