前言
据悉，Starknet 0.12.0已于7.12日正式部署在主网上，实现更大的吞吐量和更低的延迟。在通读本篇文章之前，你需要对零知识证明的概念有一个初步的认知：
零知识证明属于密码学概念，是一种交互式的证明。让我们先举一个经典的例子：A是红绿色盲，B有两个台球，一个是红色，一个是绿色。在A的眼中，这两个球的颜色完全一样，B需要向A证明这两个台球一个是红色，一个是绿色。此时，A将台球放在背后，他可以将两个球互换位置或者不换，而B需要判断A是否将两个球互换位置，重复多次，若每次B猜的结果都是正确的，则A认为两个台球一个是红色，一个是绿色是真实情况。这个就是经典的零知识证明的例子，在零知识证明里，我们只需要“证明者”以及“验证者”两个身份。
StarkNet是一个无需许可的去中心化Validity-Rollup（也被称为“ZK-Rollup”）。它作为Ethereum上的Layer2能够使任何Dapp在计算方面实现无限的扩展并且无需牺牲Ethereum的可组合性和安全性。
StarekNet的母公司StarkWare成立于2018年，总部位于以色列，旗下所研发的主要产品有Starknet以及StarkEx。其公司估值已经达到80亿美金。截至目前为止，StarkNet已经经历五轮融资，共融资2.73亿美金。
值得一提的是，以太坊基金会特别公开支持利用starks的starkware，他们向starkware提供了1200万美元的资助。而这也是行业普遍看好StarkNet今后发展及其正统性的原因之一。
“无聊猿”BAYC交易总额突破100万ETH:4月16日消息，据OpenSea官方数据显示，“无聊猿”BAYC交易总额已突破100万 ETH，截至目前为1,002,776 ETH，按照当前价格计算约合21亿美元。另据NFTgo.io最新数据显示， BAYC地板价为54.37 ETH，过去24小时上涨0.70%，当前市值达到16.8亿美元。[2023/4/16 14:06:36]
代币经济模型
StarkNet已于2022年11月16日宣布在以太坊主网上部署其原生代币$STRK，用作投票、质押和支付费用等。
图1-1 $STARK 代币经济模型
代币经济模型中除投资者以及核心贡献者的49.9%代币之外，其余50.1%的代币全部归StarkNet基金会所有。在这其中，仍然有8.1%的代币未被分配。这部分将由社区决定相应的用途，因此这部分代币普遍被推测为潜在的空投额度。而Starknet基金会目前也已经任命Facebook前高管Diego Oliva为其第一任首席执行官。Oliva此前也曾表示，他将专注于Starknet去中心化社区的治理，着重强调开发者以及用户的权益。
路线图
V 0.12.0 吞吐量和延迟
Bitcoin.com将对FTX、BlockFi、Celsius、Voyager受害者进行补偿:金色财经报道，据 financefeeds 消息，Bitcoin.com 已经启动一项名为“The CEX Education Program”的计划，旨投入 Verse 总供应量的 5% 来筹集资金（Verse 是 Bitcoin.com 生态系统的一种奖励和实用 Token），旨在对 FTX、BlockFi、Celsius、Voyager 受害者进行补偿。Bitcoin.com 表示，这些平台和其他受到损失的中心化实体的受害者有资格通过在 getverse.com 上注册来获得补偿激励。[2022/11/22 7:54:50]
在官方近期公布了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的数据成本将大幅降低。
ForthBox宣布购入无聊猿BAYC#4949，將打造无聊猿生态链游平台:5月26日消息，ForthBox宣布购入无聊猿BAYC#4949，同步加入无聊猿游艇俱乐部，并助力Ape Coin DAO，共同打造元宇宙链游生态。
ForthBox全球市场负责人Elena表示，无聊猿游艇俱乐部与ForthBox把打造元宇宙开放世界作为项目愿景的想法一致，相信Web3链游平台ForthBox的加入必定能填补无聊猿俱乐部游戏领域的空白，成为无聊猿生态第一链游平台是ForthBox的目标，也是其购入无聊猿的初衷。
Forth Box将联动自身生态资源为BAYC赋能，未来将给BAYC持有者空投限量版游戏NFT，共建无聊猿元宇宙游戏社区。ForthBox是Web3游戏聚合平台，为游戏领域的玩家、公会和开发商提供游戏中心、公会管理系统和链游基础设施，并通过15款自营游戏构建平台生态。
ForthBox目前已获得Fundamentallabs等知名机构的种子轮投资，与YGGSEA，CGU等全球顶尖公会达成战略合作，并吸引了来自韩国、日本、菲律宾等十多个国家的用户，Dapp日均访问量逾250万。[2022/5/26 3:43:14]
V 0.14.0费用市场
网络拥塞是每个开发人员以及用户所头痛的事情。为了解决这个问题，Starknet 将在V 0.14.0 引入费用市场，以便根据用户为交易支付gas的多少来有效地分配 Starknet有限资源。
V 0.15.0更短的固定块间隔
在V0.15.0版本中，一些改进计划旨在提升Starknet的性能和用户体验，通过解耦块和证明之间的关系，减少块间隔并改善网络的吞吐量。这将使Starknet成为一个更强大和高效的区块链平台。
“披萨嘴”无聊猿BAYC #7265以200 ETH价格成交:金色财经报道，据 DappRader 数据显示，“披萨嘴”无聊猿BAYC #7265以 200 ETH 价格被 NFT 巨鲸 0x79c2C9 购得，约合 402,875.10 美元。Bored Ape #7265 是一只具有七种特征的白毛猿，带有扎染衬衫、金色耳钉、未刮胡子的嘴巴叼着一张披萨。根据 Rarity Tools 的数据，基于这些特征，Bored Ape #7265 在稀有度排名中位列第 18 位。[2022/5/16 3:18:18]
2. 技术分析
目前市场上使用最广泛的Layer2——Arbitrium的底层技术是OP- Rollup，（Optimistic Rollup）。它是通过欺诈证明（Fraud proofs）实现扩容。在Op-Rollup中，交易数据被系统乐观地相信是正确的，而不进行实时验证，直接进入一个等待期。在等待期内，如果有节点提出异议并提供了证据证明存在恶意交易，那么该交易将被取消；如果没有异议，等待期结束后，交易将自动完成并在主链上验证交易。
而Starknet则是基于ZK-Rollup技术的Layer2。ZK-Rollup主要依赖于零知识证明技术，通过将计算和验证过程分离，将合约执行的验证放在链下完成，然后将验证结果提交到以太坊主网上。计算过程在链下进行，而验证结果仅作为一个证明提交到以太坊，因此，这种方法提供了最高级别的安全性和用户隐私保护。
“无聊猿”BAYC市值突破30亿美元:金色财经报道，据 Dapprader 最新数据显示，“无聊猿”BAYC市值突破30亿美元，本文撰写时为 30.4 亿美元，交易总额约为 14.1 亿美元。此外，当前 BAYC 地板价达到 101 ETH，24 小时涨幅为 7.06%。[2022/3/22 14:10:55]
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中被执行的所有事务，并跟踪系统的当前全局状态。
图2-1 Starknet工作原理示意图
3. StarkNet生态
图3-1 Starknet生态图（来自推特@odin_free）
Starknet生态项目繁多，目前包含100多种dapps和服务。其中钱包类别有Braavos以及Argent两类钱包，但是这两者之间的助记词不互通。Defi类协议现已部署了60多个，包括10kswap，Jediswap，Myswap等DEX以及Zklend等借贷协议；截至目前位置，由Defilama数据显示，StarkNet总TVL仅有$17.36M, 虽然整体TVL呈现上升状态，但对比同类型的zkSync Era的$189.21M，仍存在近十倍的差距，由此可见，StarkNet生态仍处于早期。
图3-2 StarkNet TVL 来自defilama
跨链桥则有官方跨链桥stargate、以及Orbiter，Layerswap等；Did有StarknetID以及任务平台StarQuest。目前，Starknet各类协议的NFT奥德赛活动正在如火如荼地进行中，StarkNet未来生态将会持续繁荣还是昙花一现，我们只有拭目以待…
金色财经
金色荐读
Block unicorn
区块链骑士
金色财经 善欧巴
Foresight News
深潮TechFlow
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。