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

你的dApp是否足够安全，可以在链上运行？

本文探讨了Web3开发中常见的智能合约漏洞，并提供了防范措施。文章详细分析了重入攻击、数据溢出和下溢，以及价格预言机操纵这三种经典漏洞的原理、攻击方式和修复方法。此外，文章还介绍了Chainlink等工具在降低预言机操纵风险方面的应用，强调了安全第一的开发理念。
重入攻击  数据溢出  数据下溢  价格预言机  Chainlink  智能合约安全 

DeFi 中的舍入误差：1 Wei 如何让你损失数百万美元

DeFi领域中的rounding errors漏洞依然普遍存在，可能导致重大损失。文章解释了rounding errors的成因、危害以及难以被人类发现的原因，并通过Juice Finance的案例展示了如何利用Formal Verification技术来检测和预防此类漏洞，强调了Formal Verification在保障DeFi协议安全中的作用。
Rounding Errors  Formal Verification  DeFi安全  智能合约  Juice Finance  漏洞 
  • Certora
  • 发布于 2025-04-22
  • 阅读 ( 791 )
  • ( 18 )

Tornado Cash 案：起诉代码不是正义

Roman Storm 因为开发开源代码 Tornado Cash 面临联邦监狱的刑罚，该工具旨在以太坊区块链上进行隐私交易。检察官指控他参与“无牌经营汇款业务”的犯罪阴谋。文章批判了政府对开源软件开发者施加不合理的法律责任，认为这种行为威胁了技术创新。
Tornado Cash  隐私交易  开源代码  反洗钱  监管  刑事指控 
  • Paradigm
  • 发布于 2025-04-22
  • 阅读 ( 706 )
  • ( 4 )

TSP、电子身份、eIDAS 2 与英国数字钱包

本文讨论了数字化身份在英国的应用现状以及面临的挑战，强调了充分数字化和token化的经济的重要性。文章对比了英国政府在数字身份领域的进展与欧盟eIDAS2标准的实施，批评英国在该领域的缓慢进展，并建议英国政府采纳eIDAS2标准，以实现真正的数字身份和签名，促进TSP的增长，实现经济的数字化转型。
数字身份  eIDAS2  数字签名  TSP  UK Digital Wallet  EBSI 

Recon 不变性测试扩展

本文介绍了 Visual Studio Code 的 Recon 扩展，它简化了不变性测试套件的设置和运行。该扩展提供了一系列工具，包括自动生成测试框架、快速创建处理器、自动生成模拟合约、生成 Echidna/Medusa 报告、生成精简的覆盖率报告，以及生成用于调试的单元测试。
不变性测试  Visual Studio Code  Recon  Echidna  Medusa  模糊测试 
  • Recon
  • 发布于 2025-04-18
  • 阅读 ( 323 )
  • ( 10 )

KiloEx 漏洞分析：跨链损失 740 万美元

KiloEx 是一个多链永续合约协议，部署在 BNB、Base、opBNB 和 Manta 链上。2025年4月14日，KiloEx 遭遇攻击，损失达740万美元。攻击者利用用户合约中缺乏验证的漏洞，通过伪造签名和操纵价格，获利后迅速转移资金。
KiloEx  多链永续合约  安全漏洞  价格操纵  资金转移  MinimalForwarderContract 

零时科技 || 深入 Bybit 攻击事件 Part1 - 关于 Safe｛Wallet｝

我们监测到 Bybit Cold Wallet 发起⼀笔⼤额转账，转出 401,346 ETH 价值约 1.5 BillionUSD 。经过多⽅确认，确定这是⼀起针对 Bybit 的攻击。
黑客攻击  攻击事件  web3安全 

Solodit Checklist详解：Griefing攻击

本文解释了Solodit checklist中关于防范Griefing攻击的两项检查（SOL-AM-GA-1和SOL-AM-GA-2），Griefing攻击旨在干扰或阻止正常用户执行功能，攻击者通常会付出成本（如gas费）。文章通过具体合约代码示例展示了攻击原理和PoC，并提供了修复建议，强调开发者需要从对抗的角度去思考，验证外部交互，确保状态一致性。
Griefing攻击  拒绝服务  智能合约  Solidity语言  Gas限制  重放保护 
  • cyfrin
  • 发布于 2025-04-15
  • 阅读 ( 245 )
  • ( 7 )

可能导致互联网崩溃的三个协议（以及我们所知的世界）：DNS、PKI 和 BGP

本文讨论了互联网的三个关键协议：DNS、PKI 和 BGP，这些协议中的任何一个出现问题都可能导致互联网瘫痪。
DNS  PKI  BGP  域名系统  公钥基础设施  边界网关协议  网络安全 

AI 辅助进行代码安全审计

本文探讨了人工智能工具在区块链安全审计中的应用，包括其优点、局限性及实际案例。文章详细描述了AI工具如何增强代码理解、漏洞检测、攻击向量验证和文档报告写作等过程，同时强调了人工审计师在验证工具输出的重要性。各类AI工具的选择与使用对提高审计效率。文章对当前AI技术的快速发展及其未来趋势进行了展望。
区块链安全  人工智能  漏洞检测  智能合约  审计工具  深度学习 

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

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

Solidity 安全注意事项

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

ZKsync加密预编译审计

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

ZKsync 协议预编译实现审计

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

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

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

OpenZeppelin Relayers和Monitor现已开源

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

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

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

审计 - OpenZeppelin 文档

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

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

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

通知渠道 - OpenZeppelin 文档

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