核心提炼
零知识证明技术，可以保证计算的完整性、正确性和隐私，在区块链扩容和隐私中有应用。zk-SNARK和zk-STARK各有优点，而它们的合理结合更加有潜力。zkVM能赋予应用零知识证明能力，zkVM分为使用主流、EVM或全新指令集。EVM的适配包括EVM兼容性、等同性和Specification上的适配。zkEVM是兼容EVM而又零知识证明友好的环境，主要分为原生和编译流派。基于原生的zkEVM是以太坊和区块链的未来。支持Solidity生态的通用zkVM是Web3的未来。
Velo实验室副董事Beam：解读Velo收购Interstellar背后布局:金色财经报道，3月17日下午16:00，金色财经与欧易OKEx联合举办“金色财经对话Beam：解读Velo收购Interstellar背后布局“,邀请Velo 实验室副董事长 Tridbodi Arunanondchai（Beam）作为嘉宾讲述背后故事。
在直播中，Beam表示，Velo的目标是建立一个赋能传统银行商业并将其与最新的中心化和去中心化商业相链接的桥梁。
在谈及本次收购的原因时，Beam解释道，Velo与Stellar有着共同的目标和愿景，并且双方在能力上互相补充互相赋能。Interstellar团队在提供更快、更低廉以及更稳定的给予Stellar网络的跨境支付方案中有着极深厚的经验。因此彼此的融合是一个非常自然的选择。这次合并将使其成为行业里更强、更有影响力的团队。[2021/3/18 18:56:33]
零知识证明
动态 | BafeEx解读：欧洲央行对欧元稳定币态度较为乐观:1月3日，欧洲央行市场基础设施和支付总监Ulrich Bindseil发布了央行欧元稳定币CBDC工作总结。BafeEx交易所分析师Zoy表示，从文章来看，欧洲央行对欧元稳定币CBDC持较为乐观的态度，注意不是极度乐观。欧洲央行主要担心：1.金融脱媒（Disintermediation），储户和机构通过这种方式藏匿和转移欧元资产，规避欧洲央行监管；2.无法应对危机时期的银行的系统性建导（Facilitation）问题，即CBDC相对来说更难被央行调控。BafeEx分析师Zoy强调，CBDC的双层利率系统也许可以应对上述两个问题，CBDC得以顺利发行的可能性在逐渐提高。[2020/1/4]
不严谨但简单易懂地来介绍一下零知识证明:
分析 | 2100ETH交易手续费事件不宜过分解读:据猎豹区块链安全中心舆情数据监控显示，2100ETH交易手续费事件引起了超过20余家主流媒体关注报道。猎豹区块链安全中心研究员对2月19日以太坊上的交易全面分析后发现，剔除这5笔异常交易后，平均交易手续费（总交易手续费/交易笔数）为0.000906ETH，约为0.13美元，与最近7日的数据相比没有明显异常。[2019/2/20]
你在上小学。老师是验证者，你作为学生是证明者。你如何证明你掌握了一元二次方程的求解公式呢？那就需要数学考试。
老师会随机出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优秀(
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。