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

对 Badger DAO 的 eBTC 协议进行为期 6 周模糊测试的经验总结

本文总结了对 Badger DAO 的 eBTC 协议进行为期 6 周的模糊测试的关键经验和最佳实践，包括使用 Echidna、Foundry 和 Medusa 等工具，以及如何通过测试转换器加速调试过程。强调了简化假设的潜在风险，并强调了数学证明不变量的重要性，最终目的是为了提升智能合约的安全性。
模糊测试  不变性测试  Echidna  Foundry  智能合约  形式化验证 

OP Stack Flashblocks 与 L2 架构的演进

Flashblocks 通过流式传输部分区块来延迟昂贵的计算，从而实现 200 毫秒的交易确认。Gelato RaaS 提供对 OP Stack 链的 Flashblocks 支持。Flashbots 开源了 op-rbuilder 和 Rollup-Boost 等关键基础设施，使得链交互感觉是瞬时的。
Flashblocks  OP Stack  Rollup  Layer2  交易确认  区块构建 
  • gelato
  • 发布于 2025-08-05
  • 阅读 ( 317 )
  • ( 10 )

Optimism 中文周刊#68｜以太坊十周年、Retro Funding#7 影响、BaseCamp 来临

in  Optimism 中文周刊
😎✨关键信息，唾手可得；最新动态，尽在掌握；英明决策，水到渠成！gm👋🏻乐观集体的公民们，欢迎回到Optimism中文周刊❤️本周是第#68期！本期的内容有：超级链新闻以太坊十周年2025年7月30日，以太坊迎来了十周年诞辰。这标志着以太坊持续运营十年，经历

每个区块链开发者都应该了解的EVM内部原理 — 第1部分

本文是 “每个区块链开发者都应该了解的 EVM 内部原理” 系列的第一篇文章。本文深入探讨了以太坊虚拟机（EVM）的架构和执行环境，包括 Gas 的概念、智能合约的本质，以及对 EVM 的堆栈、内存、存储和 Calldata 进行了详细解释，还提供了从源代码到字节码的示例。
EVM  以太坊虚拟机  智能合约  Gas  堆栈  内存  存储  Calldata  OpCode  字节码 

一文讲清EVM中GAS，文末附真实面试题解析

为什么需要GAS？GAS的设计理念说到GAS费，就不得不提到比特币和以太坊的区别：比特币系统中用到的脚本语言是非常简单的，甚至连专门的名字都没有，它就叫比特币脚本语言(bitcoinscriptinglanguage)。而我们知道，以太坊是一个图灵完备的虚拟机，理论上可以执行无限循环，以太坊
Gas  EVM 

钱包正在错失“跨链时刻”

本文分析了当前跨链钱包的用户体验问题，指出传统钱包在资产管理、跨链桥接、Gas费处理和网络选择等方面存在诸多不便。文章强调这些问题并非技术瓶颈，而是设计选择，并介绍了 Rhinestone 等工具如何通过统一资产视图、原子化交易、Gas费代付和链抽象来优化跨链体验。
跨链  钱包  用户体验  EOA钱包  Rhinestone  链抽象 

如何创建和妥善保管你的钱包备份

本文介绍了如何创建和安全地备份你的比特币钱包，重点讨论了使用BitBox02硬件签名器时的不同备份类型（纸张、MicroSD卡、钢板），强调了备份的重要性、安全存储位置的选择，以及避免自创加密方案的原则。此外，还提到了使用可选密码、分割恢复词和多签钱包等成熟方案来提高安全性和冗余性，以及为继承人准备比特币的重要性。
钱包备份  BitBox02  硬件签名器  恢复词  MicroSD卡  钢板 
  • BTCStudy
  • 发布于 2025-08-05
  • 阅读 ( 683 )
  • ( 2 )

Circle STARKs：第三部分，Circle FFT - ZKSecurity

本文深入探讨了Circle FFT（快速傅里叶变换），详细阐述了其与经典Cooley-Tukey FFT的结构相似性，并着重分析了在圆曲线上的多项式空间与Circle FFT基所张成的空间之间的维度差异。Circle FFT通过投影映射和平方映射的组合，实现了在twin-coset上的高效插值，为构建Circle STARKs奠定了基础。
Circle FFT  Cooley-Tukey FFT  STARK  零知识证明  多项式插值  twin-coset 

【Ethers v6 实战】使用 MetaMask 实现钱包连接、签名与转账功能

主要记录使用metamask获取钱包地址、签名、转账三个基本功能。
ethers 

Rust 核心设计：孤儿规则与代码一致性解析

in  Rust
Rust核心设计：孤儿规则与代码一致性解析刚接触Rust的你，是否曾遇到过一个令人困惑的编译错误——禁止为外部类型实现外部trait？这个限制正是Rust中大名鼎鼎的“孤儿规则”（OrphanRule）。它并非空穴来风，而是Rust设计哲学中“连贯性”（Coherence）的直接
Rust 

OpenZeppelin 中文文档上线 | Web3 开发的万能工具箱

以太坊开发者必备工具与文档全解析，构建你的链上应用基座
OpenZeppelin  以太坊  开发工具 
  • 乌索普
  • 发布于 2025-08-04
  • 阅读 ( 601 )
  • ( 26 )

Web3 极客日报 #1784

  • rebase
  • 发布于 2025-08-04
  • 阅读 ( 357 )
  • ( 11 )

PancakeSwap V2/V3合约的Python Defi操作开源库

由于PancakeSwap没有Python的SDK，所以使用Python写了一个开源库
BSC  币安智能链  PancakeSwap 

008：手把手教你看懂区块链浏览器：地址、交易、合约全追踪

in  Web3 敲门砖计划
区块链浏览器是链上信息的公开窗口，能查地址交易记录、追踪合约操作、验证代币安全性，是 Web3 用户必备的链上分析工具
区块链浏览器  Web3  BlockScan 
  • Henry
  • 发布于 2025-08-04
  • 阅读 ( 1154 )
  • ( 40 )

【安全月报】| 7月份因黑客攻击、诈骗等导致损失约2.55亿美元

2025年7月加密货币领域因黑客攻击、诈骗和漏洞利用造成的损失约 2.55 亿美元
黑客攻击  钓鱼攻击  web3安全 

问问中本聪…为什么是RIPEMD160和SHA-256？以及为什么是RIPEMD160？

本文深入探讨了比特币中使用的 RIPEMD160 和 SHA-256 哈希算法，分析了中本聪选择这两种算法的原因，包括抵抗长度扩展攻击、生成较短的公钥ID，以及增加安全性，文章还给出了生成比特币密钥的示例代码，并解释了RIPEMD160在比特币密钥生成中的作用。
RIPEMD160  SHA-256  哈希算法  长度扩展攻击  比特币地址  公钥 

VeraCrypt——以及经典密码的回忆（Twofish、Serpent 和 Camellia）

本文介绍了VeraCrypt中使用的经典加密算法，包括Twofish, Serpent, Camellia, Kuznyechik，以及其支持的哈希算法，如SHA-256, SHA-512, BLAKE2s-256, Whirlpool, Streebog。同时，文章还回顾了TrueCrypt的历史，包括其突然停止开发以及可能的原因，并讨论了TrueCrypt的替代方案。
VeraCrypt  TrueCrypt  加密算法  Twofish  Serpent  Camellia 

登链 Web3 技术周刊 | 线下区块链集训营第八期开始招生

欢迎阅读登链社区最新一期周报！
周报 

007：什么是区块？为什么链上交易要被“打包进区块”？

in  Web3 敲门砖计划
区块是区块链的数据打包单位，承载一批交易，并通过哈希与前一区块相连形成链。它是共识机制、交易执行与网络安全的核心基础。
区块  Web3  交易  Block  blockchain 
  • Henry
  • 发布于 2025-08-03
  • 阅读 ( 1806 )
  • ( 138 )

Ethereum: EVM中专为智能合约定制的内存管理方案

本文深入分析以太坊虚拟机（EVM）的内存管理机制，从底层实现到优化策略，全面解析EVM如何高效、安全地管理内存资源。通过结合Go-Ethereum源码和实际案例，帮助深入理解EVM内存管理的设计原理。
EVM  内存  Gas  Geth  操作码