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

案例研究：Lomads DApp 安全审查 – ImmuneBytes

Lomads是一个去中心化自治组织(DAO)创建和管理平台，通过多重签名保险箱、SWEAT Points贡献跟踪和直观的用户界面来促进社区协作，并委托进行了全面的渗透测试以确保安全。该渗透测试发现了未经授权的DAO详细信息修改、多重签名保险箱状态切换、XSS漏洞、SWEAT Points禁用等关键问题，并提出了加强访问控制、输入验证、内容安全策略等改进建议。
DAO  渗透测试  多重签名  XSS  访问控制  安全 

Web3 中加密技术的现状

本文探讨了Web3中端到端加密(E2EE)的现状和挑战，重点介绍了非对称加密标准缺失、钱包实现不一致以及使用钱包生成熵带来的安全风险等问题。同时，文章分析了几种E2EE方案，包括钱包生成熵、Passkey PRF扩展和阈值密码学，并讨论了在构建利用E2EE的Dapp时可以采取的策略，旨在帮助开发者构建具有隐私保护功能的Web3应用。
端到端加密  Web3  非对称加密  钱包  Passkey  阈值密码学  安全 

智能合约安全审计入门：将不同合约部署到同一地址

本文分析了一种利用`CREATE`和`CREATE2`操作码在不同时间将不同合约部署到同一地址的攻击技术，并提供了相应的防御策略。
智能合约安全  CREATE  CREATE2  selfdestruct  delegatecall  代码哈希 
  • slowmist
  • 发布于 2025-03-22
  • 阅读 ( 946 )
  • ( 9 )

RISC Zero通往首个形式化验证RISC-V zkVM之路

RISC Zero正与Veridise合作，使用Picus工具对zkVM的组件进行形式化验证，以提升ZK安全性。通过数学方法证明电路的确定性，从而消除约束不足的错误，已成功验证Keccak加速器电路的确定性，并正在验证RISC-V电路。此举旨在创建一个既快速又安全zkVM，使开发者无需在性能和安全性之间妥协。
zk  zkVM  RISC-V  形式化验证  确定性  Picus 

OpenZeppelin 审计月刊 - 那些臭名昭著的错误 第2期

本篇文章为《臭名昭著的错误月刊》第2期，探讨了Web3领域内最近的漏洞与安全事件，详细分析了针对叉沙攻击、zkLend黑客事件的教训以及多个未验证合约的漏洞。通过审计发现的问题，比如属性宏遗漏后续属性和UniswapHook的Hook状态覆盖等，强调了安全性在合约开发中的重要性。
漏洞分析  web3安全  合约安全  黑客事件  审计发现  叉沙攻击 

零时科技 || Four.meme 攻击事件分析

我们监测到four.meme平台遭受遭受黑客攻击，此次攻击导致损失约 180,000 USD 
黑客攻击  攻击事件  web3安全 

零时科技 || H2O 攻击事件分析

我们监测到一起针对 BNB Smart Chain 链上项目 H2O 攻击事件，此次攻击共造成 22,000 USD 的损失。
黑客攻击  攻击事件  web3安全 

访问控制 - OpenZeppelin文档

本文深入探讨了智能合约中访问控制的重要性，并介绍了OpenZeppelin Contracts提供的多种访问控制方案，包括Ownable、AccessControl、TimelockController和AccessManager。文章详细阐述了每种方案的原理、使用方法和适用场景，并讨论了如何在实际应用中选择合适的访问控制方案，以确保智能合约的安全性和灵活性，同时还强调了安全实践和潜在风险。
访问控制  智能合约  ownable  AccessControl  TimelockController  AccessManager 

编写可升级合约 - OpenZeppelin 文档

本文介绍了在使用 OpenZeppelin Upgrades 编写可升级合约时需要注意的关键事项，包括使用 initializer 代替 constructor，避免在字段声明中定义初始值，以及如何安全地修改合约存储结构。
可升级合约  OpenZeppelin Upgrades  initializer  存储布局  storage gaps  Namespaced Storage Layout 

工厂克隆的自动监控 - OpenZeppelin 文档

本文介绍了如何使用OpenZeppelin Defender监控通过工厂模式创建的合约克隆。通过设置Monitor监控工厂合约的事件，触发Action自动将新创建的克隆合约地址添加到Defender的地址簿和另一个Monitor的监控列表中，简化了对大量克隆合约的追踪和监控。
OpenZeppelin Defender  工厂模式  合约克隆  监控  自动化  区块链安全 

Fireblocks gasless 合约审计

这篇文章对Fireblocks的Gasless合同进行了全面的审计分析，详细介绍了系统架构、功能、存在的低级别问题以及解决方案。文章强调了GaslessFactory合约的功能和限制，并提出了多项改进建议，以提升其可用性和效率。此外，审计发现了多个代码问题，并已通过合并请求予以解决。
Gasless协议  智能合约  ERC-2771  审计  火块  Solidity 

Fireblocks 可升级代币审计 - ERC20F

本文详细介绍了Fireblocks的可升级ERC20代币合约的审计过程，涵盖了系统概述、权限角色及信任假设。总结中指出发现了一项低严重性问题，并提出了多个提高代码质量和文档的建议。最重要的是，该代币合约支持访问控制功能，符合ERC-20标准。
ERC20代币  可升级合约  审计  访问控制  Fireblocks  Solidity 

Fireblocks 可升级代币审计 - ERC1155F

本篇文章介绍了对Fireblocks升级可转让代币的审计过程及其结果，主要关注ERC-1155标准的实现及其附加的访问控制功能。审计中发现了12个问题，其中1个为低级别问题，并提出了多项改进建议，以提升代码质量和文档清晰度。
ERC-1155  访问控制  审计  Solidity  智能合约  Fireblocks 

Fireblocks可升级代币审计 - ERC721F

该文章对Fireblocks的可升级tokens进行了审计，主要围绕ERC721F合同中的访问控制实现及其漏洞进行了讨论。审计发现了一些高、中、低严重性的安全问题，并提供了相应的修复建议和代码改进的方向，强调了合同的可升级性及其实现中的功能特点。
ERC721F  可升级性  访问控制  安全审计  Solidity  智能合约 

用 AI 开发 Chrome 插件：替代 SwitchyOmega

引言最近，《SwitchyOmega被曝盗取私钥，如何防范插件被篡改？》一文引发了广泛关注，Chrome插件的安全性问题成为焦点。在AI技术蓬勃发展的当下，我们可以借助强大的AI工具来开发一款安全可靠的Chrome插件，替代SwitchyOmega。同时，Trae作为一
Chrome扩展  AI  Trae 
  • King
  • 发布于 2025-03-13
  • 阅读 ( 1985 )
  • ( 22 )

ZKsync SSO账户抽象审计

本文介绍了zksync SSO账户抽象的审计结果，包括安全模型、设计选择、潜在的安全问题以及高、中、低严重性的问题。文章详细列出了每个问题的描述、解决建议及其优先级，并对代码的生产就绪度进行了评估。结尾部分强调了该代码库的灵活性和健壮性，鼓励开发团队进行必要的改进与增强测试。
智能合约  账户抽象  安全审计  Solidity  zkSync  模块化 

提升 Web3项目运营安全：开发者和团队的最佳实践

本文讨论增强Web3的运营安全性（OpSec）的方法，包括分层防御、密钥管理和安全流程。作者基于自己在卡支付行业的经验和SEAL 911的最佳实践，提供了一系列切实可行的建议，旨在帮助协议开发者和维护者保护用户及协议的资金。
运营安全  Web3  分层防御  密钥管理  安全流程  SEAL 911 
  • Cyfrin
  • 发布于 2025-03-11
  • 阅读 ( 916 )
  • ( 14 )

使用 Tenderly 调试 Hardhat 智能合约项目

本文介绍了如何将 Tenderly 集成到 Hardhat 项目中，以调试智能合约，并提供了一个使用 Tenderly 进行调试的示例，包括 Staking 和 Rewards 合约的部署和交互。文章还分享了在使用 Tenderly 时可能遇到的问题和解决方法，例如如何正确访问合约对象以调用函数，以及如何配置 Hardhat 以使用 Tenderly 进行合约验证。
tenderly  Hardhat  智能合约调试  区块链安全  测试网  合约验证 

8款行业领先智能合约审计和安全工具

本文列出了八种行业领先的智能合约安全审计工具，讨论了它们的功能和优势，强调了安全性在Web3生态系统中的重要性。工具涵盖模糊测试、静态分析和正式验证等不同领域，旨在帮助智能合约开发者提高代码的安全性和可靠性。
智能合约  安全审计  模糊测试  静态分析  正式验证  Web3 
  • Cyfrin
  • 发布于 2025-03-09
  • 阅读 ( 1749 )
  • ( 26 )

测试指南 - OpenZeppelin 文档

本文档提供了关于 OpenZeppelin Monitor 测试的信息，包括运行测试、生成覆盖率报告和理解测试结构。文档详细描述了测试的组织结构，包括单元测试、集成测试和基于属性的测试，并提供了运行特定测试类别（如属性测试、集成测试或单元测试）的命令。此外，还介绍了如何生成HTML和终端覆盖率报告，并提供了一些故障排除技巧，以及贡献测试的指南。
测试  OpenZeppelin Monitor  覆盖率报告  单元测试  集成测试  属性测试