这篇文章介绍了即将推出的以太坊虚拟机(EVM)重要更新EOF,解决了EVM的一些缺陷并提升合约安全性。此外,文章还涉及MEV机器人及其特殊合约设计,以及EF团队在零知识(zk)研究的最新进展。内容丰富,适合对以太坊及相关技术有一定了解的读者。
本文详细介绍了Kakarot,一个基于Cairo VM的zkEVM,阐释了其如何实现EVM opcode的处理和与StarkNet的集成,目标是降低CairoVM的使用门槛、扩展StarkNet以及测试以太坊的新特性。文章涵盖了Kakarot的工作原理、结构组件以及交易的生命周期,深入探讨了其对以太坊和StarkNet生态的影响。
本文介紹了Validity Rollup如何利用Proof of Equivalence機制來驗證Blob中的交易真實性。隨著EIP-4844的實施,Validty Rollup需要確認存儲在Blob中的交易資料與Validity Proof的一致性,並探討了Proof of Equivalence的應用來解決這一挑戰,從而以較低的成本進行資料驗證。
数据可用性采样(DAS ) 1 :为什么会需要 DAS?
篇文章将会介绍Rollup的交易抗审查机制—ForceInclusion,并以几个著名Rollup的设计与实现为例
文章探讨了过度工作和 burnout 的问题,结合个人经历分析了加密行业从业者的工作文化。作者提供了识别症状、解决方案和预防措施,并呼吁更广泛的讨论,以提高对过度工作的认识和关注。
本文介绍了 ERC-1271 标准,其核心是智能合约如何验证签名。文章详细阐述了 ERC-1271 的重要性、使用案例及其实施,将 EOA 和智能合约之间的签名逻辑进行了区分,清晰解答了许多常见的误解,并提供了一些代码示例进行支持。
本文详细探讨了DAS(数据可得性抽样)在以太坊Danksharding中的实现方法,首先介绍了相关的基础知识与背景,接着讲解了使用糾刪碼(Reed-Solomon Codes)增加区块数据可靠性的原理,以及如何利用承诺机制(KZG承诺)验证数据的完整性。最后,文章讨论了在p2p网络中进行数据共享与抽样的挑战,包括对隐私与安全性的考量。
本文从用户角度介绍了 ERC4337 抽象账户(AA 钱包)带来的变化,详细阐述了 ERC4337 的定位、核心理念、规范以及理由,并讨论了现有的解决方案及其局限性,例如链下架构的中心化和互不兼容问题。文章还探讨了实施 ERC4337 的现有项目和面临的挑战,并提出了未来 AA 钱包的发展方向与期望。
本文深入浅出地介绍了Plonk证明系统,通过毕氏定理的例子,逐步拆解Plonk的限制式,并解释了相等限制式的概念。文章还对比了Plonk与Groth16在电路结构和约束方式上的差异,解释了Plonk中如何通过自定义逻辑门提高电路的灵活性,并对Plonk的核心概念进行了总结。适合对零知识证明和SNARKs有一定基础的读者阅读。