Hoskinson称正基于密码学证明构建新版Cardano语言

据Bitcoinist发布，Cardano创始人Charles Hoskinson表示，他正亲自与Input Output Global工程师Lucas Rosa合作开发一种新编程语言，结合交易意图、携带证明的数据（proof-carrying data）与Groth16证明，旨在简化复杂区块链操作。