以太坊第 2 层网络的 StarkWare 开源证明者技术

以太坊扩展项目 StarkWare 开源了 StarkNet Prover，以努力使该技术公开可用并提高其代码的透明度。

证明者是 StarkNet的重要组成部分，StarkNet是一种广泛采用的基于 ZK-STARKs 技术的以太坊第 2 层扩展网络。证明者负责生成加密证明以压缩交易并提高第 2 层扩展的效率。

StarkNet Prover 的开源允许更多人审查代码，有助于检测错误并提高透明度。该团队表示，此举也被视为朝着 StarkNet 进一步去中心化迈出的积极一步。

StarkWare 联合创始人兼 ZK-STARKs 联合发明人 Eli Ben-Sasson 对开源发表评论说：“随着 STARK 技术成为一种公开可用的资源，这标志着扩展以太坊和密码学的重要一步。”

StarkNet 于 2021 年 11 月在以太坊主网上推出了 alpha 阶段，此后 StarkWare 团队逐渐开源了 StarkNet 堆栈的元素，包括Cairo 1.0编程语言、Papyrus客户端软件和 StarkNet sequencer。该团队表示，今天的举措标志着完整 StarkNet 软件堆栈开源的完成。