安全文章 - 登链社区

选择审计竞赛：如何识别“灵丹妙药”

本文分析了审计竞赛平台常见的营销误导策略，包括虚报提交指标、参与人数、排他性承诺、顾问审计师参与、社交媒体互动、匿名评价以及个体审计对比。文章建议在选择审计竞赛平台时，关注透明度、沟通和有效指标，并提出了一系列问题，帮助读者识别并避免这些误导，从而选择真正能提高代码安全性的平台。

审计竞赛安全研究漏洞智能合约代码安全安全审计

zellic
发布于 19小时前
阅读 ( 65 )
( 6 )

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

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

Rounding Errors Formal Verification DeFi安全智能合约 Juice Finance 漏洞

Certora
发布于 1天前
阅读 ( 191 )
( 9 )

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

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

Tornado Cash 隐私交易开源代码反洗钱监管刑事指控

Paradigm
发布于 1天前
阅读 ( 145 )
( 3 )

Recon 不变性测试扩展

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

不变性测试 Visual Studio Code Recon Echidna Medusa 模糊测试

Recon
发布于 5天前
阅读 ( 139 )
( 5 )

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

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

黑客攻击攻击事件 web3安全

零时科技
发布于 2025-04-16
阅读 ( 248 )
( 14 )

AI 辅助进行代码安全审计

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

区块链安全人工智能漏洞检测智能合约审计工具深度学习

Oak Security
发布于 2025-04-13
阅读 ( 543 )
( 76 )

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

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

智能合约安全性承诺-揭示尘埃攻击抢跑

cyfrin
发布于 2025-04-12
阅读 ( 542 )
( 61 )

Solidity 安全注意事项

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

重入攻击算术精度访问控制 ERC-20 ERC-721 随机数

blockmagnates
发布于 2025-04-12
阅读 ( 113 )
( 5 )

ZKsync加密预编译审计

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

zkSync 审计安全性代码优化加密算法 BN256

OpenZeppelin
发布于 2025-04-11
阅读 ( 338 )
( 11 )

ZKsync 协议预编译实现审计

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

预编译 zkEVM ModExp ECAdd 安全审核零知识电路

OpenZeppelin
发布于 2025-04-11
阅读 ( 287 )
( 18 )

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

本文探讨了高价值Safe智能账户的安全操作指南，包括推荐的安全配置、签名过程以及人员培训等方面。文中强调了针对特定攻击的多种预防措施和安全策略，以确保高价值安全账户的有效操作和减少人为失误的风险。

Ethereum 安全操作 Smart Account 多签名硬件钱包 DPRK攻击

Bazzani
发布于 2025-04-11
阅读 ( 287 )
( 20 )

OpenZeppelin Relayers和Monitor现已开源

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

开源工具区块链开发自动化交易实时监控 Solana Stellar