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

Cardano 创始人 Charles Hoskinson 正与 Lucas Rosa 合作，为 Cardano 网络开发一种融合交易意图与 Groth16 证明的新编程语言。该语言支持交易意图、携带证明的数据与 Groth16 证明系统，允许应用在保护隐私的前提下协调复杂交易，最终由 Cardano 验证小型证明。目前该新语言的名称、公开代码及发布日期均未公布。