暂无介绍
[前一篇文章](https://learnblockchain.cn/article/3959)介绍了zkEVM的EVM Circuit的电路实现细节,接下来继续介绍State Circuit。
通过[上一篇](https://learnblockchain.cn/article/3942),我们知道zkEVM包含多个电路,如EVM circuit, MPT circuit,Keccak256 circuit等。本节继续介绍EVM circuit部分,这一部分是典型的业务电路,用于约束EVM执行状态,因为其他例如 Keccak256 circuit 是通用型的电路,不仅可以用在ZKEVM工程中,也可以用在其他使用Keccak256做哈希的应用中,也就是独立于业务逻辑本身的电路组件。
目前,零知识证明和EVM是当下非常实用的的两种技术,成为Web2.0向Web3.0演化的两个重要入口。零知识证明提供了一种方便实用的验证方法,使得在Web3.0之外(链外)的数据/账户能够方便取得链上验证,获得Web3.0生态的信任,为数据/资产互通提供可能。同时,目前所谓的Web3.0生态,主要基于以太坊构建,对接以太坊生态流量成为进入Web3.0世界的重要入口。因此,EVM成为极为实用的基础设施和技术。Web2.0生态也可以通过兼容EVM,尝试与以太坊对接,实现应用程序的互操作。
这篇文章将详细讲解EVM Circuit各个Column的设计,每种Opcode如何约束以及多个Opcode之间是如何约束以及组合。
[zkEVM](https://learnblockchain.cn/article/3138)旨在设计并实现一种解决方案,通过零知识证明来验证以太坊执行模块(通常指Layer2执行)。该项目目标是实现与以太坊EVM的100%兼容性。这是一个由社区贡献和拥有的开源项目,主要包含两个方面:zkRollup,Validity proofs(有效性证明)
通俗理解[零知识证明](https://learnblockchain.cn/2019/11/08/zkp-info),有个很经典的阿里巴巴的例子。阿里巴巴能在不泄露咒语的情况下,向强盗证明他知道咒语的内容。最近在听斯坦福大学教授 Dan Boneh的讲座视频时,发现有另外一个形象的描述零知识证明的例子:
[Schwartz-Zippel](https://learnblockchain.cn/2019/05/27/groth16) 引理是关于有限域中的多变量多项式零点个数的紧致上界,具体表述如下:
本文对零知识证明的过程进行分析,希望读者可以对零知识证明的整体流程有所了解,后续讨论零知识证明原理的时候我们都是在放大讨论这篇文章中的某一部分,再去接触一些令人眼花缭乱的技术时,我们能够很清晰的知道,这项技术是解决了零知识证明的哪部分问题,针对哪部分进行了优化,就像文末介绍的较新的[STARK](https://learnblockchain.cn/article/269)中的AIR其实是用来替换r1cs作为另外一种描述NP问题的方式。
这篇文章记录一下团队解题的思路以及学习STARK的过程。方便更多的小伙伴学习[零知识证明](https://learnblockchain.cn/article/704)相关技术。
为什么要从R1CS转化到QAP?
本文将探讨 [Mina](https://learnblockchain.cn/article/3341) 的设计选择,以及关键参与者如何使其在原生代币 MINA 的支持下作为一个简洁的区块链工作。
这次的挑战赛由两道题目组成。一道题目一个星期的挑战时间。和第一期的挑战不同,这一期的题目都是基于[STARK算法](https://learnblockchain.cn/article/269)。STARK算法,AIR,FRI低阶测试等等技术会在后续的文章仔细介绍。本文先总结一下这次挑战赛的两个题目的解题思路。
本文简要介绍了[零知识证明](https://learnblockchain.cn/2019/08/01/learning-zkp/)的类型及用例。
本文我们介绍主要介绍了rollups这种主流[layer2技术](https://learnblockchain.cn/article/2737),rollups中根据何时去验证L2提交的状态是正确的时机分为了欺诈证明和zk rollups 。
本文是 [zkMove](https://learnblockchain.cn/article/3459) 系列的第一篇,介绍了项目创建的背景和用途。
2241 回答,2134赞同
0 回答,827赞同
0 回答,110赞同
1 回答,109赞同
0 回答,99赞同
1 回答,85赞同
0 回答,85赞同
0 回答,76赞同
0 回答,70赞同
0 回答,65赞同