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

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

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

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

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

增强今日的审查抵抗

本文分析了以太坊中两种抗审查工具：MEV-Boost的`min-bid`参数和共识客户端的`localBlockValueBoost`参数。
审查抵抗  mev-boost  localBlockValueBoost  min-bid  以太坊  共识客户端 

构建统一的超级链

Optimism 旨在构建一个统一的 Superchain，通过模块化的 OP Stack 实现链的定制化，并引入 Superchain Registry 和 Blockspace Charters 来提高透明度和治理效率。
Optimism  Superchain  OP Stack  互操作性  去中心化  故障证明 

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
  • 阅读 ( 879 )

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
  • 阅读 ( 2626 )
  • ( 16 )

每周以太坊 2024/08/03

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

EVM编译器与访问控制

本文讨论了EVM编译器如何为函数分派生成代码以及相关的风险，重点关注访问控制。编译器定义了智能合约中基本的访问控制机制。文章还探讨了函数分派的鸟瞰图，以及编译器可能出现的错误，例如不正确的可见性推断、遗漏中止指令、省略支付能力检查等，并强调了对编译器团队进行适当的资金支持以及在代码库中添加健全性检查测试的重要性。
EVM  编译器  函数分派  访问控制  智能合约  安全性 

保障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
  • 阅读 ( 956 )

构建统一的超级链 - Optimism

本文介绍了Optimism Superchain的愿景，旨在通过统一、可互操作的链网络来扩展以太坊。文章讨论了Superchain面临的挑战，包括异构风险和跨链互操作性问题，并提出了解决方案，如Superchain Registry、Blockspace Charters和原生互操作性标准，以实现链之间的互操作性和技术去中心化。
Optimism  Superchain  OP Stack  互操作性  去中心化  以太坊二层网络 

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

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

以太坊中的并发区块提议者 - 权益证明/区块提议者

本文提出了一种通过增加每个以太坊区块槽位的提议者数量来提高审查抗性的方案。文章分析了双提议者模型下的各种情况，包括提议者boost机制的调整和链分裂的影响，并将其推广到更多提议者的场景，同时探讨了该方案在经济模型和工程实现上的可行性以及可能存在的风险。
以太坊  审查抗性  区块提议者  mev-boost  链分裂  提议者boost 

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

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

解决Superchain及其他互操作性问题 - Optimism

本文介绍了Optimism团队为以太坊Superchain引入原生互操作性的计划，旨在解决多链互操作的难题，通过消息传递协议、Superchain token标准和互操作故障证明等技术，实现资产、用户和数据在Superchain上的无缝流动，最终目标是实现以太坊的水平扩展，促进更广泛的互操作性，并提升整体用户体验。
互操作性  Superchain  OP Stack  消息传递协议  ERC20  以太坊 

Ingonyama 与 Starknet 战略合作

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

Superscan：超级链生态系统的终极区块浏览器

in  Optimism 中文力量
许多团队都在部署第2层解决方案，都在试图增强以太坊的可扩展性并实现广泛的web3采用。第2层解决方案的竞赛以众多开发团队之间的激烈竞争为标志……”改为“许多团队都在部署第2层解决方案，都在试图增强以太坊的可扩展性并实现广泛的web3采用。Optimism已成为这项创新的领导者，最
Superscan 

Lighthouse tree-states ELI5 第一部分

Lighthouse v5.2.0 版本对 BeaconState 数据结构进行了完全重构，通过使用基于 Merkle 树的持久性数据结构（tree-states）来减少内存占用，同时保留更多状态在内存中，从而优化以太坊共识层的性能。文章还介绍了 Milhouse 库的实现细节、批量更新和 rebase 算法，以及单次 epoch 处理的优化。
BeaconState  Merkle 树  持久性数据结构  tree-states  Milhouse  Lighthouse