核心提炼
零知识证明技术，可以保证计算的完整性、正确性和隐私，在区块链扩容和隐私中有应用。zk-SNARK和zk-STARK各有优点，而它们的合理结合更加有潜力。zkVM能赋予应用零知识证明能力，zkVM分为使用主流、EVM或全新指令集。EVM的适配包括EVM兼容性、等同性和Specification上的适配。zkEVM是兼容EVM而又零知识证明友好的环境，主要分为原生和编译流派。基于原生的zkEVM是以太坊和区块链的未来。支持Solidity生态的通用zkVM是Web3的未来。
欧科云链解读《海南自贸港总体方案》：区块链产业的政策洼地与制度高地:6月1日，国务院印发了《海南自由贸易港建设总体方案》，其中在多个地方提到了区块链产业相关政策。欧科云链研究院认为《方案》将推动海南自贸区成为我国区块链产业的政策洼地与制度高地。从《方案》内容上看，海南自贸港的区块链产业发展将分为两个阶段：在2025年前的第一阶段，主要任务是推动区块链和实体经济深度融合，实现海南“贸易投资自由化便利化”，主要在“产权保护”和“新一代信息基础设施”两个方面深耕；在2035年前的第二个阶段，将以海南自贸区作为先行试点，建立数据确权、数据交易、数据安全和区块链金融的标准，确保我国在未来跨境数据的国际规则制定中不会处于被动位置。[2020/6/2]
零知识证明
声音 | EOS pacific创始人解读EOS宪法2.0：删减多条目是为仲裁机构减轻压力:今天，EOS pacific创始人王栋在引力生态峰会上表示，BM推出的宪法2.0版最核心的有以下几个方面：
1、CODE IS LAW。所有的法律都应代码化，即使代码有BUG。
2、BM进一步诠释合约，把整个合约清晰定义。如果各方理解有不同，才需要仲裁员出现。仲裁机制主要的工作范围已经大幅度缩小。
3、私钥的丢失是个人的责任，不是通过仲裁可以解决的问题。
4、在智能合约定义的范围内，仲裁能冷冻Token的转移。
王栋还表示，EOS宪法从1.0版的20条减到9条，把很多东西去掉，就是让Token不要根据自己对宪法的理解套用自己的情形，无限的给仲裁机构施加压力。[2018/7/15]
不严谨但简单易懂地来介绍一下零知识证明:
今晚朱涛做客《金色讲堂》解读区块链产业生态:4月12号晚20:00，《金色讲堂》邀请中国高科技产业化研究会区块链产业联盟理事长、世界区块链组织副总干事朱涛先生前来对目前区块链技术的国际化出路进行讲解，针对区块链如何有效实现产业应用的方向进行分享，让学员深入了解技术的的最终归宿是什么。[2018/4/12]
你在上小学。老师是验证者，你作为学生是证明者。你如何证明你掌握了一元二次方程的求解公式呢？那就需要数学考试。
老师会随机出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优秀(
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。