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

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

每周以太坊进展 2023/2/4
每周以太坊 
  • EthWeekly
  • 发布于 2023-02-08
  • 阅读 ( 3173 )
  • ( 22 )

雪绒花互操作性活动回顾

以太坊协议开发者在合并后几个月取得了多项进展，包括提款、danksharding、EOF、verkle tries等。为了推进这些进展，客户端团队成员在奥地利举行了为期一周的互操作性活动Edelweiss。活动主要关注Shapella和ProtoDanksharding网络升级，以及EVM对象格式(EOF)等其他开放问题，并启动了一个新的Verkle Trie测试网。
shapella  Protodanksharding  EIP-4844  EVM Object Format (EOF)  Verkle Trie  SSZ 

以太坊智能合约创建代码

文章详细解释了以太坊智能合约在字节码级别是如何构造的，特别是构造函数参数的解释和处理方式。文章通过多个示例和图示，深入探讨了初始化代码、运行时代码以及带参数的构造函数的实现细节。
字节码  合约构造  初始化代码  运行时代码  构造函数参数  EVM 

使用Halmos进行形式化验证的符号测试

本文详细介绍了形式化验证（formal verification）的过程及其在智能合约中的应用，强调了与单元测试的互补关系，以及如何利用Halmos工具简化形式化验证的实施。文中分析了正式验证的挑战、规范的编写开销及其在ERC721A智能合约中的案例，展示了通过符号测试实现高效验证的重要性。
智能合约  Halmos  符号测试  单元测试  ERC721A  形式化验证 

Etherscan显示合约的创建代码还是运行时代码？

本文探讨了Etherscan上已部署和验证的智能合约显示的字节码内容。通过实验对比，发现Etherscan显示的并非仅是运行时字节码，而是完整的字节码（创建代码+运行时代码），并附加构造函数参数（如果存在）。此外，未验证的合约在Etherscan上仅显示运行时字节码。
Etherscan  智能合约  字节码  运行时代码  创建代码  构造函数参数 

从私钥生成以太坊地址 Python

文章详细介绍了如何从公钥生成以太坊地址，包括椭圆曲线公钥的生成、使用Python代码示例，以及使用掷硬币或骰子生成私钥的方法。同时，文章还深入探讨了secp256k1曲线的数学原理。
以太坊地址  secp256k1  keccack256  公钥  私钥  椭圆曲线 

盘点：以太坊上的社交 ZK 项目

本文分类汇总了以太坊上使用zk技术的社交项目，分别是：身份、治理和消息领域。
zk  零知识证明 

Foresight Ventures: 以太坊迈向full sharding的第一步，EIP-4844全面解析

在这篇文章你可以看到：EIP-4844的全面解析，以及带来的变化。Sharding的精简先行版，Shardeum的归纳.思考和展望
EIP4844 

每周以太坊进展 2023/1/28

每周以太坊进展 2023/1/28
每周以太坊 
  • EthWeekly
  • 发布于 2023-01-29
  • 阅读 ( 3207 )
  • ( 33 )

每周以太坊进展 2023/1/21

每周以太坊进展 2023/1/21
每周以太坊 
  • EthWeekly
  • 发布于 2023-01-28
  • 阅读 ( 3340 )
  • ( 20 )

NFT marketplace如何运作-2：Seaport 1.1

本文详细介绍了Seaport协议的背景、工作原理及其在NFT市场中的应用，探讨了订单匹配、验证和资产转移的过程，强调了该协议的高效性及其多种订单类型助力用户灵活进行资产交易。整体结构清晰，内容丰富，适合想深入了解NFT市场的人士阅读和学习。
NFT  Seaport协议  订单匹配  资产转移  智能合约  区块链 

使用 Yul 优化 Gas 成本

本文介绍了如何使用Yul优化智能合约以节省Gas费用。通过对比纯Solidity、Solidity与内联汇编、以及纯Yul编写的智能合约，展示了Yul在Gas优化中的优势，并通过石头剪刀布游戏的实例详细讲解了各合约的实现和Gas消耗对比。
Yul  智能合约  gas优化  Solidity  内联汇编  游戏 

Altair并非轻客户端

文章深入分析了以太坊Altair硬分叉引入的链上轻客户端（ALC）设计的缺陷，指出ALC依赖同步委员会签名，但委员会行为无经济约束，易受攻击，不适用于跨链桥。文章提出了替代方案，如验证历史epoch委员会证明或引入定制激励的多重签名，并强调了ALC仅适用于离线轻客户端作为引导机制，不应被视为真正的轻客户端。
以太坊  Altair硬分叉  轻客户端  同步委员会  SPV假设  跨链桥 

什么是账户抽象？EIP-4337解释

本文探讨了当前Web3领域用户体验的问题，并深入研究了账户抽象如何为这些问题提供潜在的解决方案。账户抽象允许用户使用智能合约钱包而不是EOA，从而无需使用EOA执行交易，并具有更大的灵活性和更多用例。
账户抽象  EIP-4337  EOA  智能合约钱包  Web3  用户体验 

关于隐秘地址的简明指南

这篇文章探讨了以太坊生态系统中的隐私问题，并详细阐述了隐匿地址（stealth addresses）的机制及应用。文章介绍了隐匿地址系统的工作原理、与现存技术的比较、实现细节、以及潜在的隐私和安全问题，并讨论了量子计算对其影响及未来可能的解决方案。整体结构清晰，内容丰富。
隐匿地址  以太坊  隐私  ERC20  加密算法  量子计算 

Gelato Relay：发送你的第一笔 Gasless 交易

本文介绍了如何使用 Gelato Relay 发送你的第一笔 Gasless 交易。通过 Gelato Relay，开发者可以构建无需用户持有原生代币支付 gas 费用的应用。文章详细讲解了在使用 Gelato Relay 前需要考虑的两个问题：是否需要用户身份验证和资金策略，并提供了相应的代码示例和步骤说明，以便开发者快速上手。
gasless 交易  Gelato Relay  ERC2771  EIP-712  1Balance  智能合约 
  • gelato
  • 发布于 2023-01-21
  • 阅读 ( 244 )

提案：网络升级元线程 - 魔法师 / 流程改进

以太坊核心开发者 Tim Beiko 提议引入“网络升级元线程”（Network Upgrade Meta Threads），旨在改进以太坊的网络升级规划流程。该提案建议在 Ethereum Magicians 论坛上设立专门的线程，用于讨论网络升级的范围、目标和优先级，并将这些讨论作为 AllCoreDevs 会议的输入，以期提高升级决策的质量和透明度。
以太坊  网络升级  EIP  AllCoreDevs  Ethereum Magicians  元线程 

Arbitrum Nitro 是怎样扩容的以及如何使用它

Arbitrum 一个区块链上的区块链，我们要研究一下它
Arbitrum  Rollup 

默克尔树（Merkle Patricia Tree）详解

默克尔树（MerklePatriciaTree）在以太坊中是一种通用的，用来存储键值对的数据结构，可以简称为“MPT”，是字典树Redixtree的变种，也是以太坊的核心算法
默克尔树 
  • Ellen
  • 发布于 2023-01-20
  • 阅读 ( 8038 )
  • ( 22 )

以太坊网络的客户端多样性

这篇文章讨论了以太坊网络中的客户端多样性问题，强调了保持网络弹性的重要性，并介绍了以太坊社区如何通过调查和改进来促进客户端多样性。
以太坊  客户端多样性  Proof of Stake  节点  去中心化  调查