本文深入浅出地介绍了Plonk证明系统,通过毕氏定理的例子,逐步拆解Plonk的限制式,并解释了相等限制式的概念。文章还对比了Plonk与Groth16在电路结构和约束方式上的差异,解释了Plonk中如何通过自定义逻辑门提高电路的灵活性,并对Plonk的核心概念进行了总结。适合对零知识证明和SNARKs有一定基础的读者阅读。
本文深入探讨了以太坊的Proposer-Builder Separation(PBS)机制,分析其如何通过将交易排序权从Proposer转移给Builder来减轻Proposer负担、降低成为Proposer的门槛,从而提升网络去中心化。
本文介绍了Validity Rollup可以选择上传State Diff而不是完整的交易数据,解释了State Diff的概念,即状态的改变,可以是多笔交易抵消或叠加的结果。相比上传完整交易数据,State Diff可以节省成本,并且节点能更快同步到最新状态,但是state diff 不包含历史交易数据,需要通过其他方式如p2p网络同步。
文章介绍了两种Rollup的新分类方式:Sovereign Rollup 和 Based Rollup。Sovereign Rollup 将 L1 仅作为数据可用性层,自身拥有升级和分叉的自主权,不受 L1 影响。Based Rollup 则将交易排序权交给 L1 的矿工/验证者,无需 Sequencer,从而更去中心化,但也失去了一些 Sequencer 提供的优势。
本文详细介绍了MEV(矿工可提取价值)的概念、成因以及无法避免的特性,并阐述了Flashbots如何将MEV打造成公开市场以降低中心化风险。
本文对 StarkNet 的重要组成部分进行了基础介绍,主要阐述了 StarkNet OS、Sequencer、Prover & Verifier 和 L1 Core Contract 的工作原理,同时探讨了去中心化与性能瓶颈等话题。文章希望读者对 ZK-Rollup 和相关关键概念有基本了解,并为深入研究提供参考。
本文深入探讨了 Uniswap 的 Permit2 合约,旨在解决 ERC20 代币授权的痛点,特别是针对不支持原生 Permit 的旧代币。它通过外挂式设计,支持任意 ERC20 代币,并提供了SignatureTransfer和AllowanceTransfer机制,以提升用户体验和安全性。
深入解读 Uniswap v3 新特性
本文介绍了跨链桥的定义、分类(Trusted Relayers、Optimistic Verification、Light client + Trustless relayers、HTLC)和比较,并分析了一些著名的跨链桥攻击事件。文章深入探讨了跨链桥的原理,例如消息传递机制,以及不同类型跨链桥的安全性、成本和用户体验差异,最后还提到了跨链MEV和ZK Light Client等新技术。
这篇文章介绍 Ethereum 开发者的一些实用工具:Foundry 除了测试之外的功能及 VSCode 的 Solidity Visual Developer 插件