比特币二层的真正三难困境
译者语:2023 年将迎来 zkEVM 大发展,让我们看看有哪些项目在进行 zkEVM 的研究,zkEVM 可以做什么
信用的游戏:被多签和委员会操控的Rollup们
zkEVM旨在设计并实现一种解决方案,通过零知识证明来验证以太坊执行模块(通常指Layer2执行)。该项目目标是实现与以太坊EVM的100%兼容性。这是一个由社区贡献和拥有的开源项目,主要包含两个方面:zkRollup,Validity proofs(有效性证明)
通过上一篇,我们知道zkEVM包含多个电路,如EVM circuit, MPT circuit,Keccak256 circuit等。本节继续介绍EVM circuit部分,这一部分是典型的业务电路,用于约束EVM执行状态,因为其他例如 Keccak256 circuit 是通用型的电路,不仅可以用在ZKEVM工程中,也可以用在其他使用Keccak256做哈希的应用中,也就是独立于业务逻辑本身的电路组件。
通过6个ZkEVM项目探索未来以太坊的真正潜力,实现可扩展性和隐私性
AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线(Bus Mapping)的思路,将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上,State proof证明数据的一致性,EVM proof证明计算逻辑的正确性。
欢迎来到 zincSync智能合约测试网Zinc Alef。
从模块化区块链角度分析L2类型,并举例说明不同L2用例的技术、线路图等。
Polygon Hermez架构介绍
Validium也是一个以太坊的Layer2的扩容方案,它主要是在链下处理交易、链下保证数据可用性(链下存储数据)、同时生成零知识证明对交易有效性进行确认。
Validium 与 其他 Layer2 方案 zkRollup、Optimistic Rollup,或 Plasma 对比
请关注StarkNet和zkSync 2.0 的主网版本,因为这是我们所知道的区块链扩容的未来。
zkEVM可以为开发者和用户提供相同的体验,而且可以在不牺牲安全性的前提下将成本降低为几个数量级。
zkEVM 的设计存在什么挑战?目前有哪些技术解决方案?