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

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

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

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

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

Recon 不变性测试扩展

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

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

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