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

针对Node.js构建ROP链

本文延续了Stefan Schiller发现的Node.js文件写入漏洞，并详细阐述了利用该漏洞的过程，尤其是如何构建ROP链以实现代码执行。文章通过具体示例和代码展示了相关技术细节，包括如何找到可利用的gadget，构造有效的payload，以及如何在Node.js应用中成功执行命令。
Node.js  ROP链  漏洞利用  libuv  系统调用  安全研究 

Solodit 检查清单解读 (4)：抢跑攻击

本文深入探讨了区块链中的抢跑攻击，分析了攻击者如何利用透明交易的特性实现自己的利益。通过实例和示例代码，作者提供了防范抢跑攻击的最佳实践，包括保护'获取或创建'模式、两步交易的安全性检查、避免尘埃攻击和正确使用承诺-揭示方案。通过理解这些攻击方式，开发者可以更好地设计安全的智能合约。
智能合约  安全性  承诺-揭示  尘埃攻击  抢跑 
  • cyfrin
  • 发布于 2025-04-12
  • 阅读 ( 934 )
  • ( 81 )

Solidity 安全注意事项

本文总结了智能合约开发中常见的安全漏洞和最佳实践，包括重入攻击、算术精度问题、访问控制不当、非标准协议、原生代币处理、底层调用、随机数问题、存储槽管理以及编译器版本固定。同时，强调使用静态分析工具和编写全面测试的重要性。
重入攻击  算术精度  访问控制  ERC-20  ERC-721  随机数 

ZKsync加密预编译审计

本篇文章对Matter Labs的zksync-crypto库进行了详尽的审计，重点指出多项高严重性问题，包括实现错误、缺少安全检查等，并提出了一些优化建议。审计内容广泛，深入探讨了加密算法的实现细节及其对ZKsync的影响。
zkSync  审计  安全性  代码优化  加密算法  BN256 

FCHAIN验证者和质押合约审计

本文对F Foundation的FCHAIN智能合约进行了审计，重点分析了其验证者注册和质押机制，揭示了一些关键的安全漏洞和优化建议。本文还详细描述了相关的重大问题和审计过程中的信任假设，建议F Foundation团队关注Ava Labs的最新进展，以便及时调整和改进其合约代码。
智能合约  区块链  审计  质押机制  安全模型  合约开发 

ZKsync 协议预编译实现审计

本文对以太坊 zkEVM 上的预编译操作进行了审核，涵盖了 ModExp、ECAdd、ECMul 和 ECPairing 操作及其对应的零知识电路构造。审查重点在于算法实现的正确性、输入验证、边界条件处理以及计算逻辑向电路约束的正确转换。虽然发现了一些优化和最佳实践方面的问题，但总体而言，代码库展现了对安全问题的良好关注。
预编译  zkEVM  ModExp  ECAdd  安全审核  零知识电路 

Safe 智能合约账户的安全操作指南 - 第 2 部分

本文探讨了高价值Safe智能账户的安全操作指南，包括推荐的安全配置、签名过程以及人员培训等方面。文中强调了针对特定攻击的多种预防措施和安全策略，以确保高价值安全账户的有效操作和减少人为失误的风险。
Ethereum  安全操作  Smart Account  多签名  硬件钱包  DPRK攻击 
  • Bazzani
  • 发布于 2025-04-11
  • 阅读 ( 726 )
  • ( 39 )

OpenZeppelin Relayers和Monitor现已开源

本文介绍了OpenZeppelin最新发布的开源Relayers和Monitor工具，旨在为区块链开发者提供更高的自定义和灵活性。Relayers支持各种自动化交易需求，而Monitor则用于实时监控区块链活动，两者均有助于提高开发效率。文章还讨论了这些工具在Solana和Stellar网络的应用，并鼓励开发者参与反馈和建议。
开源工具  区块链开发  自动化交易  实时监控  Solana  Stellar 

Solodit 检查清单解析：拒绝服务攻击 第2部分

本文继续讨论了Solodit智能合约检查清单，重点介绍了如何防止拒绝服务（DoS）攻击，分析了队列处理漏洞、低精度代币的挑战以及如何安全处理外部调用的重要性。通过实例说明了每种漏洞的潜在风险及对应的解决方案，以提高智能合约的安全性和抵御能力。
智能合约  拒绝服务攻击  安全性  队列处理  外部调用 
  • cyfrin
  • 发布于 2025-04-09
  • 阅读 ( 730 )
  • ( 40 )

Solodit 检查表解析：捐赠攻击

本文深入探讨了“捐赠攻击”在智能合约中的危害，并强调了内置会计方法的重要性以增强安全性。作者通过具体示例和代码展示了如何通过恶意捐赠来操纵合约状态，导致资产的失衡，并建议使用内部会计而非外部函数来维护资金的准确性和安全性。
智能合约  捐赠攻击  内置会计  ERC-4626  代币平衡  安全性 
  • cyfrin
  • 发布于 2025-04-09
  • 阅读 ( 569 )
  • ( 13 )

审计 - OpenZeppelin 文档

本文档介绍了 OpenZeppelin Defender 的 Audit 模块，该模块旨在帮助团队进行智能合约安全审计，保持可搜索的审计和问题存储库，简化审计员与开发人员之间的交互，自动化修复审查过程，并跟踪问题的完整生命周期。主要功能包括审计报告同步、问题跟踪、状态管理以及修复验证。
智能合约审计  安全漏洞  问题跟踪  修复验证  OpenZeppelin Defender  代码安全 

Solodit检查清单详解：系列前言

本文介绍了Solodit Checklist，一个帮助开发者构建安全智能合约的实用工具。作者强调了理解智能合约安全的重要性，并提供了通过该检查清单进行深入学习和实践的方法，以避免潜在漏洞和安全风险。
智能合约  安全性  Solidity  区块链  DeFi  漏洞 
  • cyfrin
  • 发布于 2025-04-08
  • 阅读 ( 672 )
  • ( 16 )

通知渠道 - OpenZeppelin 文档

本文档介绍了如何使用OpenZeppelin Defender的通知通道功能，通过邮件、Webhook以及第三方服务（如Slack、Telegram、Discord、Datadog、PagerDuty、Opsgenie）接收来自Defender模块的事件通知。同时，还介绍了如何设置Webhook Secrets以增强安全性，并提供了使用Defender SDK和Python进行签名验证的示例。
OpenZeppelin Defender  通知通道  Webhook  HMAC  签名验证  安全 

Solana 保密余额扩展 - 钱包集成指南

本文介绍了一种基于ElGamal和AES加密的双重密钥加密方案，用于保护钱包中的机密转账和余额信息。详细阐述了密钥衍生过程、签名生成、与安全性相关的考虑，并描述了加密方案在交易中的实际应用，如机密转账和余额解密等。
加密  ElGamal  AES  钱包  机密转账  密钥衍生 

硬件钱包安全：必须检查硬件设备显示的内容

本文章深入探讨了硬件钱包在交易签名中的安全性，并强调用户在签署任何信息或交易时必须仔细验证显示的关键信息。通过理解EIP-712标准和校验数据，用户能够有效避免诈骗和安全漏洞，保障数字资产安全。
硬件钱包  交易签名  EIP-712  安全验证  数字资产  校验 
  • cyfrin
  • 发布于 2025-04-03
  • 阅读 ( 744 )
  • ( 51 )

合约级别合规的问题

文章讨论了合约级别合规(CLC)对绝对抗女巫身份数据的需求，以及目前对单一数据提供商Everest的依赖所带来的风险。文章提出了通过建立绝对抗女巫(ASR)网络和合规注册机构来分散风险的设想，并探讨了该方法可能存在的问题，强调了实现共识性ASR的重要性，并提出了可能的实现路径，例如通过Everest的现有基础设施或使用模糊提取器技术。
合约级别合规  绝对抗女巫  Sybil攻击  KYC  去中心化  身份验证 

合约级合规的身份数据要求

本文探讨了公链上公开智能合约合规身份数据（Contract Level Compliance, CLC）的需求，强调了绝对抗女巫攻击、持牌供应商和Chainlink三个关键要素。绝对抗女巫攻击需要生物识别技术以确保唯一身份，持牌供应商提供符合监管要求的KYC数据，Chainlink则保证数据上链的安全性和去中心化，这三者共同确保CLC系统的完整性，并促进智能合约在受监管行业中的更广泛应用。
KYC  AML  Chainlink  智能合约  合规性  身份验证 

OpenZeppelin Defender 集成 - OpenZeppelin 文档

本文介绍了如何将 Hardhat Upgrades 插件与 OpenZeppelin Defender 集成，以便利用 Defender 的气体定价、重新提交和自动字节码及源代码验证等功能。
OpenZeppelin Defender  Hardhat Upgrades  部署  合约升级  API 密钥  气体优化 

OpenZeppelin：安全高效智能合约的秘密武器

本文介绍了OpenZeppelin，一个为以太坊和其他区块链平台提供安全、可重用智能合约库的公司和开源平台。文章概述了OpenZeppelin提供的关键产品和服务，并展示了如何通过npm安装OpenZeppelin，以及如何使用OpenZeppelin的ERC20代币合约。
OpenZeppelin  智能合约  以太坊  ERC20  npm  Solidity语言 

添加完整的私有网络 - OpenZeppelin 文档

本文档介绍了如何在OpenZeppelin Defender中添加完整的私有网络，包括配置私有网络、部署Safe合约以及创建 subgraph。通过Tenderly创建网络，部署Safe合约，并配置Defender subgraph toolkit，最终实现支持智能合约的部署、监控和管理。
私有网络  OpenZeppelin Defender  Safe合约  subgraph  智能合约  tenderly