据 CoinDesk 报道，Cardano 创始人 Charles Hoskinson 表示，正与 Input Output Global 工程师、Aiken 智能合约语言联合开发者 Lucas Rosa 共同开发一款面向 Cardano 的新编程语言。该语言计划整合交易意图（Transaction Intents）、证明携带数据（Proof-Carrying Data）及 Groth16 零知识证明，使开发者能够构建支持条件交易、数据验证及隐私保护的应用，并通过简洁的密码学证明验证执行结果。目前，Hoskinson 尚未公布该语言的名称、技术规格、公开代码或预计上线时间。
来源：吴说区块链
本文由 GTokenTool 摘编，版权归原作者所有；内容仅供参考，不构成投资建议。