鏈聞消息，區塊鏈技術初創公司 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 交易可以更快地結算並降低成本。

來源鏈接