Cardano 创始人正开发新编程语言，计划整合 Groth16 零知识证明

据 CoinDesk 报道，Cardano 创始人 Charles Hoskinson 表示，正与 Input Output Global 工程师、Aiken 智能合约语言联合开发者 Lucas Rosa 共同开发一款面向 Cardano 的新编程语言。该语言计划整合交易意图（Transaction Intents）、证明携带数据（Proof-Carrying Data）及 Groth16 零知识证明，使开发者能够构建支持条件交易、数据验证及隐私保护的应用，并通过简洁的密码学证明验证执行结果。目前，Hoskinson 尚未公布该语言的名称、技术规格、公开代码或预计上线时间。