比特币二层的真正三难困境
译者语:2023 年将迎来 zkEVM 大发展,让我们看看有哪些项目在进行 zkEVM 的研究,zkEVM 可以做什么
信用的游戏:被多签和委员会操控的Rollup们
Vitalik Buterin在台北以太坊Meetup上讨论了Rollups和数据可用性问题,介绍了ZK Rollup等Layer 2解决方案,以及如何在以太坊1.0和2.0中实现区块链扩展。他详细解释了Merkle树、SNARKs等技术,并展望了未来在以太坊2.0中的应用。
本文深入探讨了Optimistic Rollup和ZK Rollup两种以太坊Layer-2扩展技术,比较了它们在灵活性、可扩展性、交易成本、安全性、延迟、隐私等方面的优缺点,并分析了各自的应用场景和未来发展方向。
文章详细介绍了ZK Rollup和Optimistic Rollup两种Layer 2解决方案,包括它们的架构、实现原理以及优缺点。ZK Rollup利用zk-SNARK技术将数据上链并验证,而Optimistic Rollup则通过验证游戏确保数据的有效性。
本文介绍了比特币的可扩展性问题及其解决方案,重点讨论了STARK验证器的进展及应用。随着比特币网络的活动增加,其交易费用飙升,此文提到了一系列新兴的技术解决方案,包括闪电网络、BitVM和ZK Rollup等,以提升比特币在未来的可用性和生存能力。通过这些技术,旨在实现比特币网络的可扩展性和更多的应用场景。
Zircuit是一个EVM兼容的ZK rollup,旨在提升Web3应用的可扩展性和安全性。通过与Ingonyama的ICICLE软件库集成,Zircuit优化了其加密计算,显著改善了性能,降低了成本。本文详细介绍了Zircuit的功能、ICICLE的应用及将来的发展计划。
zkEVM旨在设计并实现一种解决方案,通过零知识证明来验证以太坊执行模块(通常指Layer2执行)。该项目目标是实现与以太坊EVM的100%兼容性。这是一个由社区贡献和拥有的开源项目,主要包含两个方面:zkRollup,Validity proofs(有效性证明)
Gitcoin Grants Round 7取得了成功,吸引了大量资助,总共筹集到274,830美元的捐款和450,000美元的配对资金,支持了857个项目。本轮引入了多个DeFi项目为配对资金提供支持,标志着Gitcoin Grants向更加可持续的方向发展。文章探讨了配对捐款的动机、社区奖项的变化、资金分配的挑战以及身份验证新措施的实施,总结了本轮的重要成就和未来挑战。
通过上一篇,我们知道zkEVM包含多个电路,如EVM circuit, MPT circuit,Keccak256 circuit等。本节继续介绍EVM circuit部分,这一部分是典型的业务电路,用于约束EVM执行状态,因为其他例如 Keccak256 circuit 是通用型的电路,不仅可以用在ZKEVM工程中,也可以用在其他使用Keccak256做哈希的应用中,也就是独立于业务逻辑本身的电路组件。
本文介绍了 OP Kailua 有效性模式,它可以让 OP Rollups 以最低的技术更改实现向 ZK Rollup 的迁移,增强安全性并支持高效的交易结算。文章详细讲解了适用的模式,安全性、最终性和成本效益,并提供了与已有项目结合的实例。
通过6个ZkEVM项目探索未来以太坊的真正潜力,实现可扩展性和隐私性
本文详细介绍了ZKsync Era,作为第三代以太坊可扩展解决方案的特点及其与ZKsync Lite的对比。文章深入探讨了ZKsync Era的技术背景,EVM兼容性,账户抽象以及如何利用ZK技术提升以太坊的可扩展性和隐私性。
AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线(Bus Mapping)的思路,将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上,State proof证明数据的一致性,EVM proof证明计算逻辑的正确性。