每周以太坊进展2022/11/26

原文链接：https://weekinethereumnews.com/week-in-ethereum-news-november-26-2022/ 作者：Evan Van Ness 翻译：翻译小组[1]

Layer 1

• 最新的核心开发者视频会议[2]。来自Tim Beiko[3]的笔记：
  • 2023 年 3 月下一个分叉（“上海”）的目标，包括取款 (EIP4895) 以及 EIP3651 (warm COINBASE)、EIP3855 (PUSH0) 和 EIP3860 (limit & meter initcode)
  • 上海升级可能额外的 EIP 将在下一次核心开发者电话会议上敲定；添加 EIP4844 对取款时间线的影响将在下周的共识层电话会议上讨论
  • 上海升级CFI（Candidates for inclusion: 候选 EIP）[4]：EIP4844（proto-danksharding）、EOF（3540、3670、4200、4750、5450）、EIP1153（临时存储操作码）和 EIP2537（BLS 预编译）
  • EIP4758（停用 SELFDESTRUCT），在 CFI 之前探索边缘情况
  • 推出多客户端取款开发测试网[5]
  • 提议定期关闭测试网生命周期和验证器临时测试网[6]；Ropsten 测试网年底关闭
• EIP4844 devnet 3[7]里程碑跟踪器
• Stress4844[8]：CLI，用于向 EVM 网络提交大的 calldata 交易，对网络层进行压力测试。
• 用 Rust 实现构建Reth[9]执行层客户端的范例

给质押者

• 在用 MEV-Boost 之前验证者可以设置一个最低出价[10]，设置一个0.05 ETH 的最低出价[11]将在本地产生近一半的区块，增加审查阻力
• Somer 的 Geth 指南已更新[12]，将 TimeoutStopSec 添加到 Geth 服务配置，防止状态数据库在关闭时损坏

研究

• MinRoot[13]：VDF 的候选顺序函数

客户端版本

• 共识层：
  • Lighthouse v3.3.0[14] : 存款快照同步

EIP

• EIP6036[15]：可订阅的 NFT 扩展

开发者资料

• Hardhat for VS Code v0.6.0[16]：对 Foundry 和 hybrid 项目的实验性支持
• Proof 的 Solidify[17]：golang + Solidity 库，用于在链上存储任意数据
• RolodETH[18]：带有名称和标签的地址数据库
• Dnum[19]：用于大数的 TypeScript 库
• 用 React + Express + SSX 构建一个 DAO 身份验证 app 的指南[20]
• OPCraft[21]：构建链上体素（体素表示三维空间中规则网格上的值，类似 2D 位图中的像素）世界
• Norswap：使用 zk 证明进行洗牌和加密的心理扑克[22]
• Echidna v2.0.4[23]（合约模糊测试工具）：在 HTML 中添加覆盖率报告
• 用 halo2 Rust crate构建 ZK SNARK 电路[24]的指南

安全

• 形式化验证 WETH 合约[25]，用 Z3 Theorem Prover 证明 Wrapped ETH 智能合约的安全性

（编者注：本翻译不代表登链社区的立场，也不代表我们（有能力并且已经）核实所有的事实并把他的观点分离开来。）

参考资料

[1]

翻译小组: https://learnblockchain.cn/people/412

[2]

视频会议: https://www.youtube.com/watch?v=HX_Zr_gVeOE&t=92s

[3]

Tim Beiko: https://twitter.com/timbeiko/status/1595860968298672128

[4]

CFI（Candidates for inclusion: 候选 EIP）: https://github.com/ethereum/execution-specs/pull/656/files

[5]

多客户端取款开发测试网: https://twitter.com/vdWijden/status/1595386746786779137

[6]

验证器临时测试网: https://github.com/taxmeifyoucan/ephemeral-testnet

[7]

EIP4844 devnet 3: https://notes.ethereum.org/@timbeiko/4844-devnet-3

[8]

Stress4844: https://github.com/gakonst/stress4844#readme

[9]

Reth: https://twitter.com/gakonst/status/1595648232226291712

[10]

验证者可以设置一个最低出价: https://writings.flashbots.net/the-cost-of-resilience/

[11]

0.05 ETH的最低出价: https://twitter.com/vitalikbuterin/status/1595793106926014466

[12]

Somer 的 Geth 指南已更新: https://github.com/SomerEsat/ethereum-staking-guides/issues/6

[13]

MinRoot: https://eprint.iacr.org/2022/1626

[14]

v3.3.0: https://github.com/sigp/lighthouse/releases/tag/v3.3.0

[15]

EIP6036: https://github.com/ethereum/EIPs/pull/6036/files

[16]

v0.6.0: https://github.com/NomicFoundation/hardhat-vscode/releases/tag/v0.6.0

[17]

Solidify: https://github.com/proofxyz/solidify#readme

[18]

RolodETH: https://github.com/verynifty/RolodETH#readme

[19]

Dnum: https://github.com/bpierre/dnum#readme

[20]

构建一个 DAO 身份验证app的指南: https://blog.developerdao.com/getting-started-with-ssx

[21]

OPCraft: https://twitter.com/latticexyz/status/1595192315785744384

[22]

心理扑克: https://twitter.com/norswap/status/1594748863574732800

[23]

v2.0.4: https://github.com/crytic/echidna/releases/tag/v2.0.4

[24]

构建 ZK SNARK 电路: https://jtriley.substack.com/p/constructing-zk-snark-circuits

[25]

形式化验证 WETH 合约: https://www.zellic.io/blog/formal-verification-weth