全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

你想知道的关于以太坊智能合约符号执行的一切

这篇文章系统介绍了符号执行作为一种确保智能合约安全性和正确性的技术，详细阐述了其定义、原理及应用。文章还对多种以太坊智能合约的符号执行工具（如Mythril、Manticore、hevm和EthBMC）进行了对比实验，展示了它们在识别智能合约漏洞方面的优势和局限，并探讨了未来的改进方向。
符号执行  智能合约  Mythril  Manticore  EthBMC  安全性验证 

深入学习EVM #3：一个Hello World的EVM示例

本文详细介绍了如何在以太坊虚拟机（EVM）中直接编写字节码以返回"Hello World"字符串。作者通过解释每个EVM指令的功能，展示了如何在不使用Solidity的情况下创建合约，并且解释了与字节码交互的过程和注意事项。
EVM  字节码  Solidity  合约  Hello World  以太坊网络 

数据可用性抽样与无聊分片：概述与改进提案

本文详细探讨了 Danksharding 作为以太坊未来扩展方案的一部分，特别是数据可用性采样（DAS）的工作原理及其潜在改进。文章介绍了 Protodanksharding 和 Danksharding 的基本概念，如何通过 erasure coding 和多项式承诺确保数据的可用性和可恢复性，并提出了一种通过修改协议以降低重构所需数据比例的方案。
Danksharding  数据可用性采样  Protodanksharding  多项式承诺  erasure coding  以太坊扩展 

深入探讨以太坊 PoS 共识机制中的投票协议

深入探讨以太坊 PoS 共识机制中的投票协议，ForesightNews本文根据上海升级共学系列活动中PatrickMcCorry的视频演讲内容整理
以太坊  共识层 

以太坊权益证明中的时间、槽位和事件顺序

本文介绍了mev-boost协议及其在以太坊共识中的重要性，深入探讨了该协议的参与者、工作机制以及与以太坊证明权益机制中的分叉选择规则的复杂关系。文章还分析了针对mev-boost的攻击及相关的开发者回应，强调了网络稳定性与时间相关机制之间的脆弱性，并提出未来研究方向和改进建议。
mev-boost  以太坊  块生产  重新组织  共识机制  最大可提取价值 

深入学习以太坊虚拟机（EVM）#2：部署空合约学习字节码

本文深入介绍了以太坊虚拟机（EVM）如何逐步执行合约的字节码，尤其是简单合约的部署过程。文章通过分步骤解析字节码和相关操作码，帮助读者理解合约执行的逻辑和流程。
以太坊虚拟机  字节码  合约部署  操作码  Solidity  EVM 

thirdweb: 在 Scroll zkEVM 上部署智能合约

如何创建一个简单的 NFT Drop 智能合约，将其部署到Scroll Alpha Testnet，并在智能合约上铸造 NFT。
合约部署  zkEVM 

安全治理测试框架

文章介绍了一个名为“Governance Proposal Simulation Framework”的工具，旨在帮助开发者在区块链上部署治理提案前进行模拟测试，以发现并修复潜在问题，避免安全漏洞和意外行为。
Governance Proposal Simulation Framework  治理提案  智能合约  模拟测试  安全漏洞  区块链 

每周以太坊进展 2023/4/22

每周以太坊进展 2023/4/22
每周以太坊 
  • EthWeekly
  • 发布于 2023-04-24
  • 阅读 ( 2637 )
  • ( 28 )

上海升级与 Staking 播客系列 ep.3 Lido 将如何渐进地去中心化

聊聊以太坊上海升级对 Staking 用户和整个行业格局的影响，以及这三个协议各自即将上线的大型升级将会对以太坊 Staking 带来哪些值得期待的创新和变革。
staking 

什么是存储证明，它们如何改进预言机？

本文介绍了存储证明的概念及其在区块链中的应用，特别是在增强或替代预言机方面的潜力。存储证明允许跨链验证特定状态的存在和有效性，无需信任第三方。文章探讨了存储证明的用例，包括跨链信息访问、简化的跨链投票系统、替代跨链桥以及增强账户抽象的用户体验，并讨论了存储证明如何与预言机进行对比，以及如何在某些情况下替代或增强预言机的功能，最后探讨了在Starknet上使用存储证明增强预言机的可行性。
存储证明  预言机  Starknet  跨链  零知识证明  SNARKs 

验证者笔记 10 — 如何开始使用 Obol 运行分布式验证器

本文介绍了如何使用Obol项目运行分布式验证器（Distributed Validator Technology，DVT），详细描述了DKG仪式、验证器激活过程以及集群内的通信重要性。
分布式验证器  Obol  Charon  DKG  以太坊  验证器集群 

你不是真正的 Rollup :)

in  以太坊中文 · ETH

Kelvin认为ZK-rollup是假的，但我认为任何"rollup"都不是真的，至少现在不是。
Rollup 

Web3的下一个十亿级用户市场？全面解读账户抽象与EIP4337的技术和应用

虽然许多现有的文章很好地解释了账户抽象，但是大多偏科普向，也有少数十分深入于技术细节。本文旨在融合两者：既提供关于账户抽象概念的全面技术解读，也分类剖析现有应用和基础设施的案例。
账户抽象  ERC4337 

Web3行研会分享（2023/03/31期）：探索 Celestia 的核心技术与最新进展（In Chinese）

YouTube：Web3行研会分享（2023/03/31期）：探索Celestia的核心技术与最新进展bilibili：Web3行研会分享（2023/03/31期）：探索Celestia的核心技术与最新进展
Celestia 

Scroll zkEVM设计，优化和应用

在最新的ZKPMooc课程中，Scroll的联合创始人张烨发表了关于zkEVM设计，优化和应用的演讲。Scroll在构建以太坊等效的ZK-Rollup，在字节码级别的兼容，直接支持所有现有的工具。
zkEVM 

上海升级与 Staking 播客系列 ep.2 Rocket Pool 对去中心化流动性质押的开拓与探索

in  以太坊中文 · ETH

4.18 去中心化流动性质押协议 Rocket Pool 顺利进行了 Atlas 升级，上海升级后 Rocket Pool 将为 Staking 带来哪些创新和机遇呢？来听听 Rocket Pool 的总经理 Darren 对 Staking 行业的洞见。
staking 

Rollup Layer2 的模块化演进之路

本文从演化角度讨论 Rollup Layer2 的发展以及演进
Rollup  Layer2 

以太坊预编译合约

本文详细介绍了以太坊预编译合约的九种类型及其应用场景，包括椭圆曲线数字签名恢复、哈希方法、内存复制和椭圆曲线数学运算等，并提供了如何使用Solidity调用这些预编译合约的示例代码。
预编译合约  以太坊  Solidity  椭圆曲线  哈希方法  内存复制 

深入了解EVM #1：EVM字节码与环境

本文深入探讨了以太坊虚拟机(EVM)及其字节码的工作原理。文章介绍了虚拟机的基本概念、字节码结构、操作码以及EVM的执行环境，包括内存、栈、调用数据和存储的功能与特点，为理解EVM的运作提供了基础知识。
以太坊虚拟机  字节码  操作码  EVM环境  Solidity  EVM