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

SUI生态DEX #Cetus 受攻击，代码安全审计真的足够吗？

此次Cetus受攻击的原因及影响暂时还不清楚，我们可以先看一下Cetus的代码安全审计情况。外行咱们看不懂具体的技术，但是这个审计摘要是能看懂的。➤Certik的审计来看，Certik对Cetus的代码安全审计，只发现2个轻度危险、且已解决。还有9个信息性风险，6个已解决。Cer
  • TVBee
  • 发布于 6天前
  • 阅读 ( 293 )
  • ( 11 )

Solodit清单详解：重入攻击

本文深入探讨了智能合约中重入攻击的原理、危害以及防御方法。文章通过具体的代码示例，详细解释了经典重入攻击和只读重入攻击的利用方式和防范措施，强调了Check-Effects-Interactions模式和重入锁Guard在保障智能合约安全中的重要性。尤其针对view函数在特定情况下可能返回过期数据的问题提出了应对方案。
重入攻击  智能合约  Check-Effects-Interactions  重入锁  ReentrancyGuard  只读重入 
  • cyfrin
  • 发布于 6天前
  • 阅读 ( 226 )
  • ( 14 )

2025年6月区块链安全与教育新闻简报

Cyfrin 发布了 2025 年 6 月的区块链安全与教育新闻简报，内容涵盖 Updraft 新课程、DeFi 重大漏洞、高级模糊测试见解以及实用的 Web3 安全技巧。
区块链安全  DeFi  漏洞  模糊测试  智能合约  Web3 安全 
  • cyfrin
  • 发布于 5天前
  • 阅读 ( 216 )
  • ( 12 )

代码中的数学确定性：为何智能合约形式化验证不可或缺

本文探讨了形式化验证在智能合约开发中的重要性，通过数学证明来确保代码的正确性，从而避免因漏洞造成的巨大经济损失。文章通过案例分析（如DAO和Parity Wallet漏洞）强调了形式化验证的必要性，并介绍了Chronos Vault如何利用多层数学验证框架和先进技术来保障智能合约的安全性。
形式化验证  智能合约  区块链安全  数学证明  漏洞预防  Chronos Vault 

Helius 获得 SOC 2 Type II 认证

Helius宣布成功完成SOC 2 Type II审计，获得Sensiba LLP的“clean”审计意见。这表明helius在安全性、可用性、处理完整性、保密性和隐私性方面符合高标准，并承诺持续提升Solana生态系统的安全性和合规性。同时，helius也欢迎用户报告其系统的安全漏洞。
SOC 2  审计  Solana  安全  合规性  数据安全 
  • Helius
  • 发布于 3天前
  • 阅读 ( 133 )
  • ( 4 )