Hoskinson 正基于 Groth16 证明开发 Cardano 编程语言

这条消息的分量不在语言本身，而在 Cardano 创始人亲自下场参与底层开发工具，并拉来 Aiken 的核心贡献者，等于把生态内已有的智能合约语言经验直接接入零知识证明方向。Groth16 属于证明系统层面的选择，若落地，影响的是在 Cardano 上构建隐私或可验证计算类应用的开发者，而非普通持币者。目前项目无名称、无代码、无时间表，信息量有限，值得观察的是它最终会与 Aiken 形成互补还是竞争关系，以及代码何时公开。