Matter Labs 推出零知识证明智能编程语言及框架 Zinc 的测试版本

区快洞察消息，区块链技术初创公司 Matter Labs 推出零知识证明智能编程语言及框架 Zinc 的 v0.1 Alpha 版本。Matter Labs 表示，Zinc 是用于创建安全的零知识证明线路以及基于其运行程序的智能编程语言和执行环境，是发展「基于以太坊扩容方案 ZK-Sync 中智能合约的一大进展」。Matter Labs 创始人 Alex Gluchowski 表示，Zinc 遵循 Rust 原理，并基于简化的 Rust 语法，精通「Rust、C ++、Solidity 等语言的开发者可在一天内快速上手」。同时，Zinc 与其他现有的 ZKP 编程语言不同，开发者不需要了解「所有 R1CS （一阶约束系统）的细微差别即可编写安全代码」。区快洞察此前报道，Matter Labs 于 2019 年 12 月推出其基于零知识证明的以太坊 Layer 2 扩容方案 ZK-Sync 的测试网。Matter Labs 表示其为以太坊交易创建了一条侧链，通过在基于智能合约的托管帐户中进行脱链操作，ZK-Sync 交易可以更快地结算并降低成本。