ARK:有关zkEVM，你需要知道的一切（三）

TL；DR

zkEVM与zkVM差异主要在于对EVM的兼容以及对零知识证明的支持。在开发者与开发资源方面，以太坊拥有最多的开发者、最完整丰富的开发资源与基础设施，以太坊的开发者与开发资源更方便转移到zkEVM上。而StarkNet与zkSync等zkVM的开发者与开发资源远远落后于以太坊。在应用生态方面，以太坊拥有最多的DApp数量与高达58%的DeFi份额，以太坊上的既有应用都将是zkEVM的发展红利，zkVM由于EVM兼容性差将难以移植这些既有应用；但zkVM更兼容零知识证明使得zkVM更有可能涌现出应用创新。在技术上，1）在算法方面，STARKs有更高的安全性和扩展性，但STARKs的证明规模更大，验证时间更长，且STARKs仍处于初始阶段，基础设施和代码库不如SNARKs完善；2）在语言方面，zkEVM可能由于短期内兼容技术不成熟使得Solidity语言在编写过程中可能产生未知漏洞，zkVM的语言更加适配零知识证明；3）在架构方面，EVM串行状态机的架构天然不适配零知识证明，zkVM则是为零知识证明量身定制的虚拟机。本文属于《一文看懂zkEVM》系列文章的第三篇，第一篇介绍了zkEVM的基本原理和细分层次，第二篇盘点了行业中主流的zkEVM项目，本篇文章将说明zkEVM和zkVM两种不同ZKR项目的基本差异。为什么要了解zkEVM和zkVM的差异

美国法院驳回针对说唱歌手T.I.有关宣传ICO的证券欺诈指控:金色财经报道，美国佐治亚州北部地区美国驳回了针对说唱歌手T.I.的证券欺诈指控。2018年11月，FLiK ICO投资者起诉其参与欺诈性的拉高出货ICO计划。在T.I.的宣传活动之后，受影响的投资者声称因该局损失了200万美元。对此，佐治亚州北部地区法院表示，检方无法证明投资者购买该计划的决定与T.I.的所谓推销活动之间存在直接联系。然而，其他被告，包括商人Ryan Felton以及演员兼喜剧演员Kevin Hart仍然有案可诉。[2020/3/4]

zkEVM和zkVM是ZKR项目的两种不同发展方案，二者没有绝对的优劣，只是在生态兼容和技术性能上有不同的权衡，把握二者的差异，有助于把握不同ZKR项目的优劣以及长期发展的基本面。

需要注意，zkVMZKR常特指那些专门设计了zkVM的ZKR，但有时一定程度的兼容EVM也被归到zkEVM的类别中。基本介绍

zkEVM是通过零知识证明验证程序正确性的以太坊虚拟机，旨在以支持零知识技术的方式执行智能合约，优点是兼容EVM。而zkVM，是用于零知识证明系统电路实现的虚拟机，优点在于更加兼容ZK。

动态 | 英格兰男子因与加密货币盗窃案有关而被通缉:金色财经报道，英格兰Bushey镇男子Ross Birnie因与价值100万英镑的加密货币盗窃案件有关，目前正在被当地通缉。正在呼吁人们提供信息。[2020/2/15]

zkEVM相对遵循EVM操作码和字节码规范，zkVM则设计新的虚拟机，因此zkEVM也被叫做原生EVM，zkVM也被叫做自定义EVM。对比

zkEVM和zkVM两种方案，代表着ZKR发展的两个方向。在前文zkEVM和zkVM定义下，严格来看，ZKR中的zkEVM包括Scroll、PolygonHermez、PolygonNightfall、PolygonZero，zkVM包括StarkNet、zkSync、PolygonMiden。我们将在开发者与开发资源、应用生态、技术前景等方面对比zkEVM和zkVM两种ZKR方案的差异。开发者与开发资源

zkEVM可以继承以太坊开发者与开发资源，而zkVM则难以继承。在开发者方面，ElectricCapital编撰的《DeveloperReport2021》中的数据显示以太坊月活开发者于2021年达到4011，在所有区块链中排名第一且并遥遥领先其他区块链。

动态 | 美国当局指控与OneCoin局有关的David Pike参与合谋实施银行欺诈:David R. Pike是“Fenero Funds”的首席运营官，该基金负责对涉及销售欺诈性加密货币OneCoin计划的收益进行。FinanceFeeds获取的法律文件显示，David Pike已在公开法庭上放弃通过起诉书（Indictment）提起诉讼，并同意诉讼程序可以通过控告书（Information）而不是起诉书进行。由美国检察官Geoffrey Berman签署的替代控告书列出了一项指控：共谋实施银行欺诈。由于实施了其指控的罪行，Pike构成或源自实施上述罪行直接或间接获得的收益的任何和所有财产将被美国没收，包括但不限于一笔代表可追溯到实施上述罪行所得收益的美元金额。（FinanceFeeds）[2020/2/8]

《《DeveloperReport2021》》报告根据Github上以太坊，与StarkNet、zkSync等zkVM项目热门代码仓库的数据，可以看出以太坊有非常庞大的开发者群体以及代码资源，StarkNet与zkSync远远落后于以太坊。

StarkNet的开发资源尽管比较完善，但数量较少，也不如以太坊成熟。

声音 | 彭博社：加密市场暴涨或与算法交易有关:彭博社4月3日发文称，近期加密市场的暴涨可能与算法交易有关。自去年9月以来，该行业已推出17只新的algo算法或定量基金，占同期推出的加密对冲基金的40%。2018年的熊市使加密基金总体上损失了72%左右，而这些algo基金报告称，在加密冬天期间，其每月收益在3%到10%之间。据悉，算法交易是一种使用自动化软件来检测趋势，并决定何时进行交易的交易方法。同时，彭博社还指出了其他几种可能引起加密市场上涨的原因，包括涉及Coinbase、Kraken和Bitstamp的一笔2万枚BTC（价值1亿美元）的交易；SEC批准比特币ETF的愚人节玩笑；英国脱离，欧盟投资者正在将英镑换成比特币。[2019/4/4]

zkSync的开发资源相比以太坊与StarkNet一样匮乏，但相比Starknet，zkSync的教程不够系统与完善，对开发者不够友好。

总结，以太坊的开发者最多，开发资源最丰富，将是zkEVM未来的发展红利，StarkNet和zkSync等zkVMZKR面临巨大的后发劣势。应用生态

声音 | 美国SEC发布有关加密退休基金的警告:据ethnews报道，美国证券交易委员会（SEC）发布了一项公告，警告投资者需要在将加密资产纳入其自主个人退休账户（IRA）时做好功课。根据美国证券交易委员会8月8日的警告，自主个人退休账户与传统的退休账户不同，允许投资房地产和和加密货币等替代资产。与其他类型的个人退休账户不同，持有人负责验证投资的合法性，而账户托管人仅负责持有和管理资产。SEC表示，加密货币价格不稳定且不可预测。在这种情况下，投资者可能会发现他们的退休基金不足以支持退休后充裕的生活。SEC还提醒自主个人退休账户持有者不要大量投资加密资产，这是因为许多ICO和其他加密资产可能是欺诈性的。SEC并不是在暗示投资者不应该投资加密货币，也没有声称所有ICO都是欺诈性的。相反，它为投资者提供了一些指导方针，以帮助他们避免欺诈。[2018/8/15]

在应用生态方面我们将从应用移植与应用创新两个角度对比zkEVM和zkVM。以太坊DApp总数达到2970，日活用户达到5.2万，遥遥领先所有其他区块链。

数据来源：https://www.stateofthedapps.com/zh/stats在DeFi市场方面，根据defillama收录的数据，截至8月11日，以太坊上部署的531个DeFi协议拥有约406亿美元的TVL，占整个DeFi市场份额的58.37%。

数据来源：https://defillama.com/chains以太坊的DApp和DeFi具有非常庞大的市场，zkEVM在应用移植方面具有非常良好的发展前景。应用创新

在应用创新方面，zkVM相对于zkEVM缺失了大量EVM兼容性，导致zkVM难以承接以太坊的应用红利。但zkVM项目由于为零知识证明量身定制了虚拟机，使得zkVM涌现出许多zkEVMZKR不能实现的创新。比如StarkNet的团队Topology宣称实现了全链游戏Issac。

Issac的资产交易、状态存储、逻辑执行全部在链上。

全链也意味着游戏符合区块链的基本属性，去中心、免许可、可组合。没有实体可以更改游戏基本规则，玩家和可以免许可地参与游戏并在其中创造，开发者可以根据合约自行创建出游戏前端以及游戏内的设施和资产。Topology团队的一篇文章集中阐述了Issac的设计哲学。技术前景

在技术前景方面，我们将在算法、语言、架构方面来对比zkEVM和zkVM的优劣。在算法上，大多zkEVMZKR使用SNARKs算法，而StarkNet作为最极端的zkVM主义者使用STARKS算法，需要说明的是，SNARKs是包括Groth16、Halo、Fractal、Sonic在内的系列算法的统称，STARKs是一种新兴的特定SNARKs算法，我们将比较二者之间的优劣。

需要说明的是，可信设置意味着是否需要受信任的设置即可工作，如果不需要信任设置，会具备更高的安全性，量子安全意味着能否防止量子计算机暴力破解私钥；递归意味着是否能证明自己，简单来讲就是可在L2上再实现一个L2，实现L3的效果，性能前景近乎无限。STARKs与SNARKs相比，有更高的安全性和扩展性，性能潜力更好，但目前STARKs的证明规模更大，验证时间更长，且处于初始阶段，基础设施和代码库不如SNARKs完善。在语言方面，由于zkEVM的兼容EVM的方式是在字节码、操作码上对EVM预编译。这会出现两个问题。一方面，由于目前操作码和字节码兼容不完善，会造成Solidity代码在移植、转换电路的过程中出现未知漏洞，如PolygonHermez将EVM字节码直接转换为虚拟机的字节码。

图片来自：https://blog.hermez.io/introducing-hermez-zkevm/另一方面，随着零知识证明技术的成熟，zkEVM必然出现为定制电路的需求，而Solidity等语言对零知识证明不友好，这将造成巨大的技术障碍。而StarkNet和zkSync这类zkVM设计了兼容零知识证明的语言如Cairo和Zinc。开发者可通过这些语言直接为自己的程序生成零知识证明，而不需要学习专业的零知识证明知识编写一组多项式方程并转化为电路。总结，zkEVM可能由于短期内兼容技术不成熟使得Solidity语言在编写过程中可能产生未知漏洞，zkVM的编程语言相对于zkEVM更加适配零知识证明。在架构方面，按照以太坊黄皮书的规范，EVM是一个基于堆栈的、串行状态机，简单来讲就是EVM天然与零知识证明不兼容。而zkVM则是为零知识证明量身定制的虚拟机，在底层架构更加适合零知识证明。zkVM极端主义者StarkNet发明的Cairo语言，是对CPU友好的适配零知识证明的高级语言，使得StarkNet在CPU层级上更加适配零知识证明，甚至可以为此定制零知识证明硬件。投资机构Paradium也注意到了零知识证明中的硬件机会，并为此撰写了论文《HardwareAccelerationforZeroKnowledgeProofs》推荐下载Cairo白皮书以掌握更多设计细节《Cairo–aTuring-completeSTARK-friendlyCPUarchitecture》。综合来看，zkVM相比zkEVM在算法、语言、架构上更加适配零知识证明，拥有更高的扩展性和安全性。未来展望

Scroll创始人YeZhang在推特上建议StarkWare通过zkEVM验证StarkNet上用Cairo语言编写的证明程序，简单讲就是在一个L2上建立另一个L2。这样的提议在技术上是可行的，并且这一提议无疑也描述了一个更有想象力、包容性的L2世界。

各个zkEVM、zkEVM方案的ZKR都将在下半年开启主网与测试网，可以预见，在明年我们就会见证多个ZKR网络迎来大规模应用，以太坊生态逐渐向ZKR网络迁移，区块链可能迎来3G换4G的时代浪潮，网络扩容增速将会为应用创新奠定基础并开启下一轮牛市，2022年的冬天可能是Crypto最后一个冬天。

标签：ARKSTASTARKSTARMARKO价格星链币starl发行量太大了StarkMeta星链币starl下架

以太坊交易热门资讯