Cardano 创始人开发新编程语言，融合交易意图与 Groth16 证明

Cardano 创始人 Charles Hoskinson 正在为 Cardano 网络开发一种新的编程语言，合作伙伴为 Input Output Global 工程师 Lucas Rosa。该语言将是首个将用户希望交易完成的操作与密码学证明相结合的编程语言。新语言将支持三种工具：交易意图、携带证明的数据以及 Groth16 证明。交易意图允许用户说明想要完成的目标，具体步骤由应用处理。携带证明的数据可为信息附加密码学证据，证明其符合特定规则，其他应用无需重新计算即可验证。Groth16 是一种广泛使用的证明系统，能够生成体积小、验证速度快的证明，且不暴露隐私数据。三者结合后，开发者可以构建协调交易、检查复杂条件并在服务之间传递已验证信息的应用，最终由 Cardano 验证一个小型证明。目前，Cardano 开发者主要使用基于 Haskell 的 Plutus 以及 Aiken 编写智能合约，Hoskinson 旗下的 Input Output Global 构建的隐私区块链 Midnight 拥有自己的语言 Compact。该新语言的名称、公开代码及发布日期尚未公布。

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。