Starknet 0.12.0 已正式部署在主网上，实现更大的吞吐量和更低的延迟。

撰文：newchen@Web3CN.Pro

前言

据悉，Starknet 0.12.0 已于 7.12 日正式部署在主网上，实现更大的吞吐量和更低的延迟。在通读本篇文章之前，你需要对零知识证明的概念有一个初步的认知：

零知识证明属于密码学概念，是一种交互式的证明。让我们先举一个经典的例子：A 是红绿色盲，B 有两个台球，一个是红色，一个是绿色。在 A 的眼中，这两个球的颜色完全一样，B 需要向 A 证明这两个台球一个是红色，一个是绿色。此时，A 将台球放在背后，他可以将两个球互换位置或者不换，而 B 需要判断 A 是否将两个球互换位置，重复多次，若每次 B 猜的结果都是正确的，则 A 认为两个台球一个是红色，一个是绿色是真实情况。这个就是经典的零知识证明的例子，在零知识证明里，我们只需要「证明者」以及「验证者」两个身份。

1. Starknet 简介

StarkNet 是一个无需许可的去中心化 Validity-Rollup（也被称为「ZK-Rollup」）。它作为 Ethereum 上的 Layer2 能够使任何 Dapp 在计算方面实现无限的扩展并且无需牺牲 Ethereum 的可组合性和安全性。

StarekNet 的母公司 StarkWare 成立于 2018 年，总部位于以色列，旗下所研发的主要产品有 Starknet 以及 StarkEx。其公司估值已经达到 80 亿美金。截至目前为止，StarkNet 已经经历五轮融资，共融资 2.73 亿美金。

值得一提的是，以太坊基金会特别公开支持利用 starks 的 starkware，他们向 starkware 提供了 1200 万美元的资助。而这也是行业普遍看好 StarkNet 今后发展及其正统性的原因之一。

代币经济模型

StarkNet 已于 2022 年 11 月 16 日宣布在以太坊主网上部署其原生代币 $STRK，用作投票、质押和支付费用等。

代币经济模型中除投资者以及核心贡献者的 49.9% 代币之外，其余 50.1% 的代币全部归 StarkNet 基金会所有。在这其中，仍然有 8.1% 的代币未被分配。这部分将由社区决定相应的用途，因此这部分代币普遍被推测为潜在的空投额度。而 Starknet 基金会目前也已经任命 Facebook 前高管 Diego Oliva 为其第一任首席执行官。Oliva 此前也曾表示，他将专注于 Starknet 去中心化社区的治理，着重强调开发者以及用户的权益。

路线图

V 0.12.0 吞吐量和延迟

在官方近期公布了 2023 整体的路线图，0.12.0 版本已于本周三，也就是 7.12 日正式部署在主网上。Starknet 的最新版本 0.12.0 引入了显著的性能改进，包括吞吐量和延迟方面的提升。通过采用基于 Rust 的 Sequencer 和 Rust-Cairo VM，StarkNet 的性能将得到显著提升，并且 OKEX 交易所已开始支持 ETH starknet 主网的充值。

V 0.13.0 交易成本

在 V 0.13.0 版本中，Starknet 的交易成本将大幅降低。这是通过 volition 降低交易成本的主要组成部分来实现。L1( 以太坊 ) 数据成本占今天交易成本的 95% ，而 Volition 将允许开发人员使用混合数据可用性 (DA) 模式构建 Starknet 应用程序。此外，以太坊的 EIP-4844（分片 Blob 交易）预计将于 2023 年第四季度发布。由于以太坊的 EIP-4844 和 Starknet 的 Volition( 链下数据可用性 )，Starknet 的数据成本将大幅降低。

V 0.14.0 费用市场

网络拥塞是每个开发人员以及用户所头痛的事情。为了解决这个问题，Starknet 将在 V 0.14.0 引入费用市场，以便根据用户为交易支付 gas 的多少来有效地分配 Starknet 有限资源。

V 0.15.0 更短的固定块间隔

在 V0.15.0 版本中，一些改进计划旨在提升 Starknet 的性能和用户体验，通过解耦块和证明之间的关系，减少块间隔并改善网络的吞吐量。这将使 Starknet 成为一个更强大和高效的区块链平台。

2. 技术分析

ZK-Rollup VS OP-Rollup

目前市场上使用最广泛的 Layer2 — — Arbitrium 的底层技术是 OP- Rollup，（Optimistic Rollup）。它是通过欺诈证明（Fraud proofs）实现扩容。在 Op-Rollup 中，交易数据被系统乐观地相信是正确的，而不进行实时验证，直接进入一个等待期。在等待期内，如果有节点提出异议并提供了证据证明存在恶意交易，那么该交易将被取消；如果没有异议，等待期结束后，交易将自动完成并在主链上验证交易。

而 Starknet 则是基于 ZK-Rollup 技术的 Layer2。ZK-Rollup 主要依赖于零知识证明技术，通过将计算和验证过程分离，将合约执行的验证放在链下完成，然后将验证结果提交到以太坊主网上。计算过程在链下进行，而验证结果仅作为一个证明提交到以太坊，因此，这种方法提供了最高级别的安全性和用户隐私保护。

OP-rollup 和 ZK-rollup 相比，ZK-rollup 则是一种比 OP-rollup 更加安全的替代方案，而 OP-rollup 则是具有 EVM 兼容性的 DeFi 项目的更好选择。由此可见，具备 EVM 兼容性的 ZK-rollup 以其天然的安全性的优势将会是 Layer2 的未来的叙事发展方向。安全性的实现这一优势要归功于 StarkNet 对最安全、最可扩展的密码学证明系统 — — STARK 的依赖。

Zk-STARKs VS Zk-SNARKs

STARK（Zero-Knowledge Scalable Transparent Arguments of Knowledge）和 Zk-SNARK（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）都属于零知识证明的技术，用于创建可以验证但不泄露全部信息的证明。但它们在实现方式和特性上存在一些关键的区别。

选择使用 SNARKs 还是 STARKs 取决于具体的应用场景和需求。SNARKs 在证明大小和验证速度上有优势，但需要信任设置。而 STARKs 不需要信任设置，对量子计算机攻击有抵抗力，但证明较大，验证速度较慢。

这里引入了一个概念 — — 信任设置（Trusted Setup），他是一种在某些类型的零知识证明系统（如 zk-SNARKs）中使用的过程，它在系统开始运行之前创建了一些初始参数。这些参数在证明的生成和验证过程中都会被使用。

信任设置的关键是确保生成者在创建初始参数后彻底销毁他们所使用的秘密信息。如果生成者保留了这些秘密信息，他们就有能力创建看似有效的虚假证明，这将危及系统的安全性。因此，信任设置过程需要接受严格的审查和监控，以确保所有生成者都按规定销毁了秘密信息。这就是为什么称其为「信任设置」，因为用户必须相信这个过程是公正的，生成者没有作弊行为。

而 zk-STARKs 却是一种不需要信任设置的零知识证明系统。这意味着，与需要信任设置的系统（如 zk-SNARKs）不同，zk-STARKs 的证明生成和验证过程不依赖于任何秘密信息。这提供了更高的透明性和安全性，因为系统的安全性不依赖于任何特定个体或组织的行为。zk-STARKs 是通过使用一种被称为「FRI」（Fast Reed-Solomon Interactive Oracle Proofs）的技术实现的。

FRI 协议

FRI 协议的基本思想是通过一系列的抽样和插值步骤，逐步降低多项式的度。在每一步，证明者都会提供一个新的多项式，并声称它是原始多项式的一个压缩版本。验证者可以通过检查这些多项式在随机点上的值，来验证这个声称是否正确。

这个过程会一直持续到多项式的度足够低，以至于验证者可以直接检查它的所有系数。由于在每一步中多项式的度都会减半，所以这个过程可以在对数时间内完成，这使得 FRI 协议非常高效。

FRI 协议的一个关键特性是，它只依赖于公开的、预先定义的参数，而不需要任何秘密信息。这使得它可以用于构建不需要信任设置的零知识证明系统，如 zk-STARKs。然而，FRI（Fast Reed-Solomon Interactive Oracle Proofs）协议并不相当于信任设置。相反，FRI 协议是一种用于生成和验证 zk-STARKs 证明的技术。它允许证明者向验证者证明一个多项式的系数是低度的，而不需要透露多项式的具体内容。FRI 协议的关键特性是，它只依赖于公开的、预先定义的参数，而不需要任何秘密信息。这使得它可以用于构建不需要信任设置的零知识证明系统，如 zk-STARKs。FRI 协议是 zk-STARKs 的一个关键组成部分，它使得 zk-STARKs 能够在不需要信任设置的情况下工作。但 FRI 协议本身并不是一个信任设置过程，因为它不涉及生成或销毁任何秘密信息。

Starknet 工作原理

StarkWare 公司旗下的产品有专门为项目方定制的 ZKR 企业服务的 StarkEx 以及更加通用的 StarkNet。StarkNet 由五个部分组成，分别是：Starknet 上的 prover（证明者），Sequencer（排序器）和 Full node（全节点）；以及部署在以太坊上的 verifier（验证者）和 Starknet core（核心状态合约）。

其工作原理是在 StarkNet 上发起一个交易，由链下服务器排序器进行接受，排序，验证，并打包到区块，执行交易，然后状态转发给 starknet core 状态合约。随即，证明者将交易生成证明，并发送给以太坊的验证者验证。验证者将验证结果发送到以太坊的 starknet core 核心状态合约，并从 Starknet core 合约触发一组新的以太坊交易，以更新链上的全局状态以进行记录保存。而全节点（Full node）则发挥了储存功能，包括状态改变、元数据、证明以及记录在 Starknet 中被执行的所有事务，并跟踪系统的当前全局状态。

3. StarkNet 生态

Starknet 生态项目繁多，目前包含 100 多种 dapps 和服务。其中钱包类别有 Braavos 以及 Argent 两类钱包，但是这两者之间的助记词不互通。Defi 类协议现已部署了 60 多个，包括 10kswap，Jediswap，Myswap 等 DEX 以及 Zklend 等借贷协议；截至目前位置，由 Defilama 数据显示，StarkNet 总 TVL 仅有\(17.36M, 虽然整体 TVL 呈现上升状态，但对比同类型的 zkSync Era 的\)189.21M，仍存在近十倍的差距，由此可见，StarkNet 生态仍处于早期。

跨链桥则有官方跨链桥 stargate、以及 Orbiter，Layerswap 等；Did 有 StarknetID 以及任务平台 StarQuest。目前，Starknet 各类协议的 NFT 奥德赛活动正在如火如荼地进行中，StarkNet 未来生态将会持续繁荣还是昙花一现，我们只有拭目以待……

参考文献

https://mathoverflow.net/questions/22624/example-of-a-good-zero-knowledge-proof

https://www.8btc.com/article/6725086

https://www.odaily.news/post/5186733