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

利用Renzo-Fuzzing库发现真实漏洞

本文介绍了Renzo协议与EigenLayer的集成，以及通过eigenlayer-fuzzing Repo进行系统不变量测试的重要性。文章详细讨论了几个高严重性漏洞的发现过程，并展示了如何利用renzo-fuzzing Repo进行有效的测试和漏洞发现，从而加强系统安全性。通过这些示例，读者可以了解如何使用不变量测试工具及其在实际协议中的应用。整体上，文章技术性强，有实践指导意义。
Renzo  EigenLayer  不变量测试  漏洞发现  fuzzing  智能合约 
  • Recon
  • 发布于 2024-08-08
  • 阅读 ( 538 )

2024年汇聚互操作性解决方案的现状

本文详细探讨了rollup互操作性的重要性，作者通过自己的经历和技术研究，分析了当前rollup技术在以太坊生态系统中的挑战与机遇。文章提供了对比不同rollup机制的深刻见解，并提出了一些创新的解决方案，如“keystore rollups”，以提升跨链交易的效率与安全性，展望以太坊未来的互操作性发展。
Rollup  互操作性  以太坊  ERC-4337  ZK Rollups  账户抽象 

如何安装和运行一个 Geth 节点

本文详细介绍了以太坊节点和客户端的概念，重点讲解了如何安装和运行Geth客户端，包括硬件要求、安装方法、配置标志等内容。
Ethereum  Geth  节点  客户端  区块链  json-rpc 

解决DApp开发中的链上链下同步问题

本文分析了去中心化应用（DApp）中链上链下状态同步的问题，重点介绍了由于交易生命周期中可能出现的掉单、回滚等情况导致的同步错误。论文提出了两种类型的链上链下同步Bug，并设计了ÐArcher测试框架来有效检测这些Bug。实验结果表明，许多DApp存在此类同步问题，而ÐArcher能有效帮助开发者发现并解决这些问题，从而避免因状态不一致给用户带来不便。
DApp  链上链下同步  以太坊  智能合约  ÐArcher  测试框架 

SSZ基准测试与优化

本文主要介绍了作者计划构建一个高性能的SSZ（Simple Serialize） Rust实现，并通过基准测试套件，在真实的区块链数据上对不同的SSZ实现进行比较。目标是优化以太坊协议中的序列化过程，提高编码/解码的效率，并探索锁步编码和哈希等方法以进一步提升性能。同时，作者还计划构建一个SSZ基准测试套件，用于评估各种SSZ实现的性能，并以图表的方式直观地展示它们的性能差异。
SSZ  序列化  基准测试  Rust  以太坊  性能优化 

单Slot最终性研究

该项目旨在研究一种新颖的共识机制，以实现具有动态可用性的单Slot最终性。当前以太坊使用的Gasper协议存在重组攻击和较长的最终确认时间等问题。该研究将深入了解现有架构，寻找新颖的设计，并考虑签名聚合的实际限制，目标是提出一个可行的、具有高经济安全性的单Slot最终性方案，同时满足动态可用性。
单时隙最终性  动态可用性  共识机制  Gasper协议  LMD-GHOST  签名聚合 

OP 中文周刊 #23

OP中文周刊将分享Optimism中发生的情况，并轻松访问最关键的信息，以便轻松了解最新情况并做出明智的决策。在每周回顾中，我们将回顾：Optimism生态系统新闻治理决策和提案更新有影响力的运营活动OP中文力量活动Discourse、Twitter和Discord中与
#OP 

optimism fault-proof背后的机制（五）：op-challenger

op-challenger主要负责操作FDG
fault proof  Optimism 
  • joohhnnn
  • 发布于 2024-08-07
  • 阅读 ( 1413 )
  • ( 26 )

optimism fault-proof背后的机制（四）：op-program

op-program主要分为两大模块
fault proof  Optimism 
  • joohhnnn
  • 发布于 2024-08-07
  • 阅读 ( 1254 )
  • ( 19 )

optimism fault-proof背后的机制（三）：cannon

CANNON是整个fault-proof架构中的核心组件。
fault proof  Optimism 
  • joohhnnn
  • 发布于 2024-08-07
  • 阅读 ( 1546 )
  • ( 71 )

EIP-3074和EIP-7702：账户抽象的新纪元

这篇文章深入探讨了以太坊的Pectra升级及其对钱包功能和用户体验的提升，特别是EIP-3074和EIP-7702的贡献。文章分析了账户抽象技术的发展及其带来的便利如简化交易和增强安全性，最后总结了这些提案对未来Web3应用的影响。
以太坊  账户抽象  EIP-3074  EIP-7702  智能合约  Web3 

通过形式验证审查Solana上的Token扩展

Certora团队利用深度的形式验证工具对Solana上的Token2022扩展进行了审核，并撰写了规范以确保代码按预期行为运行。审核结果发现了性能优化机会并提出了改进建议，同时验证了Solana团队实施的更新，确保了安全性。文章详细探讨了形式验证的应用及其带来的潜在安全收益。
形式验证  Solana  Token2022  安全性  优化  编程扩展 
  • Certora
  • 发布于 2024-08-06
  • 阅读 ( 353 )

Optimism 第 6 季

in  Optimism 中文力量
本文涉及较多OP治理的内容，如有不熟悉的术语及组织结构的名词，请参阅《OP治理体系概述》。Optimism第6季时间Optimism第6季将于6月27日开始，12月11日结束。资助申请于7月18日开放，每3周进行一次，直至12月。主题：优
#OP 

Geth 中 5 个数据库的故事

Geth 中 5 个数据库的故事
Geth  Ethdb 
  • SINA
  • 发布于 2024-08-05
  • 阅读 ( 1829 )
  • ( 16 )

每周以太坊 2024/08/03

每周以太坊 2024/08/03
每周以太坊 
  • EthWeekly
  • 发布于 2024-08-04
  • 阅读 ( 1514 )
  • ( 23 )

保障Grandine的性能

该项目旨在通过并行化和高效设计提高 Grandine 客户端的性能和简化性。项目将进行 Grandine 和 Lighthouse 的对比分析，建立基准性能指标，评估现有测试基础设施，集成性能监控到 CI/CD 管道，探索高级测试技术，并实施有希望的测试方法来发现和解决漏洞，提高 Grandine 的可靠性和效率，从而为以太坊网络的稳定性和性能做出贡献。
Grandine  Lighthouse  性能分析  测试  CI/CD  漏洞 

通往基于应用程序（Based Application）的道路

本文深入探讨了基于Rollup技术的潜在革命及其在以太坊等区块链上的实现。文章分析了基于Rollup的优点，如安全性、可定制性、MEV内置和交互性等，并介绍了目前在以太坊上的一些实施方案，如Taiko，提出了可能的未来发展方向、核心设计需求及面临的挑战。
以太坊  MEV内置  Taiko  区块链  交易确认  Based Rollup 
  • maven11
  • 发布于 2024-08-03
  • 阅读 ( 398 )

Espresso 的 HotShot：专为 Rollups 设计的共识协议

文章介绍了Espresso的HotShot共识协议，该协议专为Rollups设计，旨在提高高吞吐量和快速最终性。HotShot基于HotStuff BFT协议，并扩展到了去中心化的“权益证明”设置，以补充以太坊的动态可用性。文章还探讨了乐观响应与动态可用性之间的权衡，并解释了HotShot如何在网络条件有利时实现高性能，并在最坏情况下回退到高弹性的低吞吐量路径。
HotShot  rollups  共识协议  以太坊  乐观响应  动态可用性 

如何使用 Hardhat 创建和部署智能合约

本文介绍了如何使用 Hardhat 开发环境创建、编译和部署一个简单的 Hello World 智能合约到 Sepolia 测试网络。内容包括安装 Hardhat、设置配置文件、编写智能合约代码、部署合约并验证部署结果。
Hardhat  智能合约  Sepolia  以太坊  部署 

Ingonyama 与 Starknet 战略合作

Ingonyama 与 Starknet 基金会合作，旨在优化 Starknet 的 ZK Prover 基础设施。
Starknet  ZK Prover  Stwo  ICICLE  GPU  Circle STARK