Sec3的高级安全研究员Q7在2023 MetaTrust CTF的CFT-Sui赛道中赢得了第一名,文章深入解析了四个Sui Move挑战,包括其原理、实现与解决方案,适合想要提升智能合约安全技能的读者。
本文对 Rust 中 Anchor 智能合约的账户大小计算进行了比较,分析了使用 _std::mem::sizeof 与 Anchor 官方空间参考之间的异同。尽管 _std::mem::sizeof 在大多数情况下准确,但在处理某些数据类型,如 Vec 和 Enum 时可能导致不一致的结果,因此建议开发人员根据 Anchor 文档手动计算账户大小。
本文深入探讨了 Wormhole 如何防止 VAA 重复攻击,确保每个 VAA 只能成功使用一次。文章详细介绍了在 Solana 和 Ethereum 上的实现机制,包括如何利用全球标记保持已完成的 VAA 的唯一性,从而防止恶意用户通过重复使用相同 VAA 来窃取代币。
sec3 Master Plan 是一个旨在为 Web3 经济中的 DApp 提供去中心化端到端安全解决方案的四步计划。该计划涵盖从建立强大的安全解决方案到实现社区参与的去中心化经济等多方面内容,重点关注 DApp 生命周期的安全挑战,并提供风险基础的保险解决方案。
本文详细介绍了Wormhole跨链桥如何确保桥接代币的正确性,包括代币信息验证、注册流程、代币数量的处理等核心机制。通过阐述Token Attestation和相关智能合约函数,文章深入解析了Wormhole确保不同链之间代币一致性的技术原理。
这篇文章重点讨论了 Wormhole 跨链桥中验证 guardian 签名的机制,分别针对 Solana 和 Ethereum 平台进行深入分析,详细介绍了如何确保签名的有效性,防止伪造,以及如何应对恶意签名者的攻击。文章还包含了一些代码示例和程序流程图,进一步说明技术实现。
本文详细介绍了跨链桥的工作原理,以Wormhole为例,解释了其内部机制、操作流程和面临的挑战。分析了跨链信息的处理,包括消息的创建、签名验证、代币转账等重要步骤,展现了跨链技术的复杂性和解决方案。
sec3团队在2022年Aptos CTF MOVEment比赛中获得第一名,展示了团队对Move语言的理解及其在安全领域的应用。文章描述了5个挑战及其解决方案,涉及的内容包括智能合约漏洞分析和应对策略,体现了团队的技术实力。
本文深入分析了Mango Markets的攻击案例,包括攻击者的策略、账户分析以及造成的损失。它详细描述了攻击者如何利用杠杆和市场波动性进行交易,从而获得了超过1.2亿美元的加密资产。文章还介绍了调查攻击的技术手段,提供了一系列有价值的见解。
这篇文章探讨了在区块链协议部署后如何进行有效的监控,以提高安全性。通过对过往攻击的分析,作者提出了一些检测恶意交易的策略,并介绍了sec3 WatchTower监控服务,旨在帮助开发者在智能合约部署后保持安全,降低被攻击的风险。