生活分享

Cardano 创办人 Hoskinson 亲自开发新编程语言：想把“交易意图”与密码学证明结合，名称和上线时间未公开

CoinDesk 报道，区块链 Cardano 的创办人 Charles Hoskinson 表示，他正与 Input Output Global（IOG）工程师 Lucas Rosa 开发新编程语言，未来 Cardano 应用可能用它构建。本文整理已知内容，以及仍未公开的名称、代码和上线时间。

阅读时间约 4 分钟

Cardano 创办人 Hoskinson 亲自开发新编程语言：想把“交易意图”与密码学证明结合，名称和上线时间未公开
图片：Mokaair (Original editorial artwork)

发生了什么事

CoinDesk 报道，区块链 Cardano 的创办人 Charles Hoskinson 表示，他正与 Input Output Global 的工程师 Lucas Rosa 一起亲自开发一种新的编程语言。

据 CoinDesk 引述，Hoskinson 周日在 X 上写道：“I’m actually personally developing a programming language for Cardano”（我其实正在亲自为 Cardano 开发一种编程语言）。CoinDesk 称，Rosa 是 Input Output Global 的软件工程师，也是 Aiken 的共同创作者。Aiken 是 Cardano 主要的智能合约语言之一；智能合约是在区块链上按预先写好的规则自动执行的程序。

CoinDesk 并报道，Hoskinson 表示这将是第一个把“用户希望交易完成什么”与“规则已被遵守的密码学证明”结合在一起的语言。密码学证明是一种用数学方法生成的证据，让他人能确认某件事属实。“第一个”是 Hoskinson 本人的说法，由 CoinDesk 转述。

三项核心技术是什么

据 CoinDesk，这个语言将支持三项工具：交易意图（intents）、证明携带数据（proof-carrying data）与 Groth16 证明。

  • 交易意图：CoinDesk 说明，用户只需说出想完成的事，步骤交给应用处理。例如交易者可要求在最终价格符合设定条件时，才把一种代币换成另一种，而不必写出达成的过程。
  • 证明携带数据：CoinDesk 说明，这是在信息上附加密码学证据，表明信息遵循某些规则；其他应用可检查该证据，而不必重做背后的每项计算。
  • Groth16：CoinDesk 形容这是广泛使用的证明系统，生成的证明很小、计算机能快速检查，并能在不泄露私人数据的情况下证明某项条件已达成。

CoinDesk 指出，三者结合后，开发者有望构建协调交易、检查复杂条件、并在服务之间传递已验证信息的应用，而 Cardano 最后只需检查一个小型证明。

与现有语言的比较

依 CoinDesk 报道整理的 Cardano 相关语言比较
语言CoinDesk 报道的说明
PlutusCardano 开发者用来编写智能合约，建立在编程语言 Haskell 之上
AikenCardano 主要智能合约语言之一，Lucas Rosa 为共同创作者
CompactMidnight 的语言，用于处理机密数据的应用；Midnight 是 Input Output Global 打造的隐私区块链
新语言（未命名）据称结合交易意图、证明携带数据与 Groth16 证明；名称、代码和上线时间均未公开

对普通读者的实际意义

目前这只是创办人的公开说法，而非已可使用的产品。CoinDesk 报道，Hoskinson 尚未公开语言名称、任何公开代码，也未宣布开发者何时可以开始使用。

若构想最终落地，按 CoinDesk 的说明，用户的操作可能更接近“说出想要的结果”，而验证则靠小型证明完成。但这些都属于报道中描述的可能性，实际成效仍有待观察。

常见问题

这个新语言已经可以使用了吗？

尚未。据 CoinDesk，Hoskinson 没有公开语言名称、任何公开代码，也没有宣布开发者何时可以开始使用。

谁参与开发？

CoinDesk 报道，Hoskinson 表示他与 Input Output Global 工程师 Lucas Rosa 合作，Rosa 是 Aiken 的共同创作者之一。

这些内容的消息来源是什么？

内容来自 CoinDesk 的报道，主要是 CoinDesk 对 Hoskinson 在 X 上发文的转述和说明。“第一个结合交易意图与密码学证明的语言”是 Hoskinson 本人的说法。

查看同分类最新消息

同主题延伸阅读

资料来源

生活分享