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

CNBC专访CertiK联创顾荣辉：从形式化验证到AI赋能，持续拓展Web3.0信任边界

近日，CertiK联合创始人、哥伦比亚大学教授顾荣辉接受全球知名财经媒体CNBC阿拉伯频道专访，围绕形式化验证的行业应用、AI在区块链安全中的角色，以及新兴技术风险等议题，分享了其对Web3.0安全未来的深刻洞察。
Web3  AI  形式化验证 
  • CertiK
  • 发布于 2025-05-20
  • 阅读 ( 702 )
  • ( 12 )

dYdX v4 白皮书——终极技术深度解析

dYdX v4 通过 Cosmos SDK 构建独立的 L1 区块链，采用 CometBFT 共识，由验证者运行链下订单簿，旨在实现完全去中心化的永续合约交易。文章详细介绍了 v4 版本的架构、验证者机制、治理设计、代币经济模型以及风险披露，强调了其在性能、去中心化和激励机制方面的创新。
Cosmos SDK  CometBFT  dydx  去中心化交易所  永续合约  链下订单簿 

以太坊 - Verkle树测量

本文分析了Verkle树在以太坊上海分叉前后约20万个历史区块中的性能表现，重点关注了不同类型的Witness结构对大小的影响，并评估了Pedersen哈希与SHA256哈希在执行性能上的差异。研究结果表明，Type 3 Witness提供了更好的压缩效果，且Pedersen哈希的性能优于SHA256哈希，但考虑到量子抗性问题，建议重新评估Pedersen哈希的使用。
Verkle树  witness  EIP-4762  Pedersen哈希  SHA256哈希  性能测试 
  • efdn__
  • 发布于 2025-05-20
  • 阅读 ( 222 )

原生 Rollup：现状与未来

本文深入探讨了原生 Rollup 的概念，这是一种旨在重新定义以太坊扩展方式的技术，它将 Rollup 的自主性与以太坊基础层的深度集成相结合。文章详细介绍了原生 Rollup 的工作原理，通过 `EXECUTE` 预编译实现 EVM 等效性，并讨论了其在以太坊 Rollup 中心路线图中的作用。同时，文章也分析了原生 Rollup 面临的挑战，包括桥接、排序规则、费用和互操作性等方面的问题。
原生 Rollup  EXECUTE 预编译  EVM  互操作性  Layer2  状态转换 
  • l2beat
  • 发布于 2025-05-20
  • 阅读 ( 591 )
  • ( 18 )

Vitalik 讨论帖: 更大的L1 gaslimit 和新技术背景下的去中心化目标

文章讨论了提高以太坊L1 gaslimit的必要性以及由此带来的节点硬件和带宽要求的提升。文章提出了一种分层节点架构，包括轻节点、中节点和重节点，并对每种节点的运行成本和去中心化目标进行了分析，强调了在提高gaslimit的同时，需要明确去中心化的目标，并限制重节点的资源消耗，以确保市场的竞争性和抗审查性。
gaslimit  轻节点  重节点  去中心化  分层架构  带宽 

Layer2 项目治理回顾#52 (19.5.25)

本周的治理评论回顾了多项新的提案、资助计划及重要讨论。重点介绍了Optimism的Superscan、Optimism Town Hall和Optimism Fractal等多个治理活动及新功能，以及Arbitrum、Polygon和ZKsync的治理更新，包括新提案和去中心化治理框架的进展，展示出这些项目在治理与发展方面的活跃性。
治理  提案  Optimism  Arbitrum  Polygon  zkSync 
  • l2beat
  • 发布于 2025-05-20
  • 阅读 ( 517 )
  • ( 24 )

Stellar 集成 - OpenZeppelin 文档

本文档介绍了 OpenZeppelin Relayer 对 Stellar 网络的集成，包括对 Soroban 智能合约的支持 (调用、部署, WASM上传)，标准的Stellar支付操作，通过XDR提交支持所有Stellar操作，fee bump交易支持，安全交易签名以及交易状态监控和序列号管理，并提供了详细的配置、API参考、例子和安全建议。
Stellar  Soroban  OpenZeppelin Relayer  智能合约  XDR  交易中继 

彭博社聚焦Coinbase数据泄露，CertiK联创顾荣辉警示私钥风险与物理攻击

5月18日，彭博社特邀CertiK联合创始人、哥伦比亚大学教授顾荣辉，对Coinbase遭遇数据泄露事件发表观点。
Web3  Coinbase  加密安全 
  • CertiK
  • 发布于 2025-05-20
  • 阅读 ( 964 )
  • ( 5 )

Alpenglow：Solana 的一项新共识 - Anza

Alpenglow 是 Solana 新的共识协议，旨在实现高性能和低延迟。它引入了 Votor 用于投票和区块最终确认逻辑，采用 Rotor 优化数据传播，并结合单轮/双轮投票模式，目标是将区块最终确认时间缩短至 150 毫秒左右，从而使 Solana 在响应速度方面与 Web2 基础设施竞争。
Alpenglow  Solana  共识协议  Votor  Rotor  TowerBFT 
  • Anza
  • 发布于 2025-05-20
  • 阅读 ( 802 )
  • ( 6 )

跨链桥漏洞利用 – ImmuneBytes

本文回顾了Poly Network、Ronin、Harmony、BNB Bridge、Wormhole、Nomad Bridge和Qubit Finance等多个跨链桥被攻击的事件，分析了攻击的根本原因，包括不安全外部调用、密钥管理不当、加密证明伪造、签名验证绕过、初始化疏忽以及非回滚转账等问题。总结了跨链桥安全的关键经验教训，强调了在多链未来中桥梁的重要性和面临的巨大安全挑战。
跨链桥  安全漏洞  智能合约  攻击事件  密钥管理  加密验证 

扩展路线图中倾向于本地节点的调整

文章讨论了在提高以太坊L1 gas limit的同时，如何保证普通用户能够运行全节点，从而实现信任、抗审查和保护隐私地读取链上数据。文章提出了短期、中期和长期解决方案，包括：优先推出EIP-4444以减少磁盘空间需求、构建分布式历史存储解决方案、调整gas价格使存储更昂贵执行更便宜以及引入新型的部分无状态节点，用户可以根据自己的需求配置节点存储的状态部分，从而实现本地访问和隐私保护。
L1 gas limit  全节点  EIP-4444  无状态验证  部分无状态节点  隐私 

EIP-4844 准备情况检查清单

本文档记录了 EIP-4844 在以太坊主网部署前需要完成的各项任务，包括规范、客户端实现状态、待解决的问题、KZG 仪式、API、测试以及 Devnet 的相关信息。
EIP-4844  以太坊  Dencun  Blob  KZG  分片 
  • ethereum
  • 发布于 2025-05-20
  • 阅读 ( 559 )
  • ( 14 )

ePBS中支持和反对Slot拍卖的论据

本文分析了在增强型提议者-构建者分离（ePBS）中，采用区块拍卖和Slot拍卖两种机制的优劣。Slot拍卖减少了提议者的时间博弈激励，防止了“免费期权问题”，并更易于向执行拍卖等机制演进，但可能导致构建者的时间博弈，不满足“无信任优势”的原则，并对执行负载的等效性问题处理不足。
ePBS  区块拍卖  时隙拍卖  MEV  提议者  构建者 
  • efdn__
  • 发布于 2025-05-20
  • 阅读 ( 289 )

Web3 开发实战：用 Foundry 高效探索以太坊区块链

in  Web3
Web3开发实战：用Foundry高效探索以太坊区块链Web3时代的到来，让以太坊区块链开发成为开发者关注的热点。Foundry作为一款强大的Solidity开发工具集，凭借其命令行工具cast，为开发者提供了查询区块链数据、调试交易和分析智能合约的高效途径。本文通过一系列实操案例
Web3  Foundry  cast 

Foundry 工具使用的全面指南

Foundry是一个专为以太坊智能合约开发设计的快速、现代化的工具链，集成了编译、测试、部署和调试等功能。它用Rust编写，性能卓越，已成为Solidity开发者的首选工具之一。
Foundry 

tokio-mpmc 技术架构设计与使用指南

在520这个充满爱意的特别日子里，为大家精心准备了一份礼物，希望大家能够喜欢——tokio-mpmcv0.1.0版本正式发布啦！接下来，让我们一同深入解读tokio-mpmc的技术架构设计与使用指南，探索其背后的技术魅力与应用奥秘。概述tokio-mpmc是一个基于Tokio异
Rust  Tokio  MPMC 
  • King
  • 发布于 2025-05-20
  • 阅读 ( 823 )
  • ( 19 )

透明代理升级合约：从部署到升级

使用 Foundry + 本地链（Anvil）来演示 Counter 合约，使用透明代理的升级过程，完全可复刻实际运行，让你对透明代理升级有个清晰的概念。
升级性  合约代理  智能合约  Solidity  Foundry 
  • 0xwu
  • 发布于 2025-05-20
  • 阅读 ( 981 )
  • ( 31 )

分片包含列表（公告板链）

本文讨论了区块链网络中交易排序的瓶颈问题，并提出了一种通过分片包含列表（Bulletin Chains）来扩展区块链的方案，旨在减少对所有应用都要求完全排序的需求。文章探讨了SUAVE、Orderflow Auctions等概念，及Narwhal等现有技术，并设计了几种改进的算法，以实现更快的共识和水平扩展，同时考虑了安全性和活性之间的权衡。
分片  共识机制  SUAVE  MEV  Narwhal  异构网络 

Somnia：完全链上世界的梦想计算机

本文介绍了Somnia，这是一个为完全链上世界设计的区块链，旨在通过其高可扩展性和EVM兼容性，支持游戏、元宇宙和社交应用。文章深入探讨了Somnia如何利用多流共识、加速顺序执行、IceDB和先进压缩技术等核心技术，实现前所未有的交易速度和确定性性能，并构建一个充满活力的应用生态系统，从而实现数字娱乐的完全链上实现。
区块链  链上游戏  元宇宙  EVM  可扩展性  共识机制 
  • 4pillars
  • 发布于 2025-05-19
  • 阅读 ( 857 )
  • ( 21 )

Web3 极客日报 #1742

  • rebase
  • 发布于 2025-05-19
  • 阅读 ( 579 )
  • ( 9 )