STARK:解读 zk、zkVM、zkEVM 的现状及未来

核心提炼

零知识证明技术，可以保证计算的完整性、正确性和隐私，在区块链扩容和隐私中有应用。zk-SNARK和zk-STARK各有优点，而它们的合理结合更加有潜力。zkVM能赋予应用零知识证明能力，zkVM分为使用主流、EVM或全新指令集。EVM的适配包括EVM兼容性、等同性和Specification上的适配。zkEVM是兼容EVM而又零知识证明友好的环境，主要分为原生和编译流派。基于原生的zkEVM是以太坊和区块链的未来。支持Solidity生态的通用zkVM是Web3的未来。

Moonbeam赢得新的波卡平行链插槽租赁，出块将延续至2025年6月:6月8日消息，Moonbeam 基金会宣布已为 Moonbeam 竞标并赢得了 2023 年 7 月 31 日至 2025 年 6 月 5 日租赁期的第 44 届 Polkadot 平行链拍卖，Moonbeam 的出块能力将延长至 2025 年 6 月。Moonbeam 基金会称为该新租用的插槽自筹资金， Moonbeam 众筹提供的资金将继续保持锁定状态，直到原始租期于 2023 年 10 月结束。[2023/6/9 21:25:00]

零知识证明

数据：目前稳定币总市值约为1385亿美元:2月14日消息，据The TIE和CoinGecko数据显示，目前稳定币总市值约为1385亿美元，Tether市场份额为49.39%，USDC为29.76%，BUSD为11.63%。

Tether稳定币市场份额接近50%，创14个月新高，目前流通供应量为684亿美元，增长约3%。

USDC今年迄今已减少超过33亿美元的供应。目前流通供应量为412亿美元，下降了7.5%。

BUSD以161亿的流通供应量排名第三。[2023/2/14 12:05:34]

不严谨但简单易懂地来介绍一下零知识证明:

FTX现任CEO：正在调查SBF父母，确保公司所有资产安全将需要数周或数月时间:12月14日消息，FTX现任首席执行官John Ray在周二的众议院听证会上表示，FTX创始人SBF在没有或只有很少文件的情况下从该公司获得了多笔贷款。目前正在调查SBF的父母在FTX发挥何种作用，他的父母曾收到过付款。Ray预计，确保公司所有资产的安全将需要数周或数月时间。[2022/12/14 21:43:16]

你在上小学。老师是验证者，你作为学生是证明者。你如何证明你掌握了一元二次方程的求解公式呢？那就需要数学考试。

老师会随机出10道相关的题目，而你如果掌握了，则可以把他们都做出来。在这个过程中，你没有背诵或者默写求解公式的具体内容，但是老师却可以很简单地验证你的知识掌握程度。

其实这就是Tartaglia与Cardano(对的，就是这个名字)争夺谁是一元三次方程发现者时所采用的方法。他们都不想告诉对方自己公式的内容，但是通过做题，就可以很容易地验证且过程中不透露知识地，判断他们是否掌握了这一知识。

零知识证明有什么用呢？用处就是，整个过程可以节省计算算力和压缩链上空间，同时也可以对隐私有保护，符合区块链去信任的特点以及密码学的基因。

SNARK和STARK

区块链领域中所用到或者提到的「zk」通常不是真正的零知识证明，而经常是ValidityProof。由于相关词汇的混乱，所以本文中的某些地方会延续这些「误用」。

在目前的区块链版图中，zk可以说是区块链扩容(不zk的ValidityProof)与隐私技术(真正的zk)的最前沿与最优解决方案，在Tornado.cash、ZCash、zkSync、zk.money、Filecoin和Mina等项目中都有使用。

目前的技术方案主要分为SNARK以及STARK两类。STARK中的S代表可扩展的，意味着被证明的语句有重复的结构，而SNARK支持任意的电路，这些电路被预处理以实现简洁的证明。其中对SNARK的技术实践占据了主导地位，STARK主要有StarkWare在已上线的产品中大规模采用。以下是它们之间的对比。

从Meme的角度而言，STARK比SNARK优秀(

标签：ARKSTASTARKSTARSHARKBitcoin InstantStarkNetstarknet币价分析

FTT热门资讯