本文深入探讨了从EVM到SVM的过渡中的关键概念,对于进行Solana安全评估至关重要。讨论了程序派生地址(PDA)及其生命周期、跨程序调用(CPI)、Solana程序库(SPL)Token、交易和指令,以及涉及Solana原生资产的操作,同时强调了这些概念在安全评估中的重要性。
本文深入探讨了跨链桥被攻击后,MEV(矿工可提取价值)参与者如何在多个区块链上利用价格差异、流动性失衡和预言机滞后等机会进行价值提取。文章分析了套利者、清算狙击手、验证者和 Gas War 参与者等不同角色的策略,以及他们如何通过博弈论动态和零和竞争来最大化利润。
本文分析了以太坊 Pectra 升级对智能合约开发和安全性的潜在影响,重点关注 EIP-7702、EIP-7251、EIP-2537、EIP-2935、EIP-7002 和 EIP-7623 等关键提案,并讨论了它们对智能合约的安全性考虑和开发实践的影响,以便开发者能够构建更强大和安全的应用程序。
文章讨论了在Glamsterdam中实施EIP-7732(一种提议者-构建者分离方案)的必要性。作者认为,目前没有紧迫性立即实施EIP-7732,因为主要的扩展优势(如payload分割和延迟执行)可以在没有信任支付的情况下实现。此外,作者指出,插槽拍卖、执行层支付路径和MEV Burn集成等方面的研究仍在进行中,过早采用EIP-7732可能会限制未来的设计灵活性。
本文分析了以太坊 Glamsterdam 硬分叉中四个备选 EIP,重点比较了 EIP-7732 和 EIP-7782。文章认为,尽管 EIP-7782 可以带来更快的交易确认,但 EIP-7732 在 L1 和 L2 扩展性、稳定性和长期健康方面更具优势,作者建议在 Glamsterdam 中优先选择 EIP-7732。
文章讨论了PeerDAS在Fusaka升级中发布的可能性,并提出了一系列关键问题,包括规范冻结、安全发布范围以及发布前的必要步骤。文章还建议根据Lighthouse团队的测试结果,设定一个更现实的目标blob数量,并尽早冻结规范,以便团队可以专注于将当前实现投入生产。
EigenLayer的sidecar奖励计算中发现了一个除零错误,该错误可能导致所有AVS和运营商的拒绝服务。根本原因是duration参数验证不足,允许零值从智能合约传播到SQL查询。通过在链上和sidecar中添加显式检查,该问题在被利用之前得到了修复。
本文提供了一种系统的方法,对区块链节点实现进行彻底的安全审查,以Paradigm的Rust Ethereum执行客户端Reth为例。主要分为环境搭建、预审准备(理解架构、威胁建模)、自动分析、手动代码审查策略(优先级框架、自下而上和自上而下的方法)、动态分析与测试、文档和报告编写等阶段,旨在帮助安全工程师识别关键漏洞,管理大规模分布式系统的复杂性。
Anchor 0.1.0 是 Sigma Prime 发布的基于 Rust 语言的 SSV (Secret Shared Validators) 客户端,旨在为 SSV 网络提供一个独立的、多样化的客户端实现,以提高网络的安全性和稳定性。该版本目前仅限于在测试网上部署,并提供了多种安装和运行方式,欢迎开发者参与贡献。
本文探讨了在智能合约中使用预言机和价格信息源时常犯的错误,并提出了缓解措施。文章详细分析了诸如闪电贷攻击、操纵预言机、时间延迟攻击、Gas 费用拥堵、错误的价格假设和流动性不足等问题,并提供了相应的解决方案,旨在帮助开发者在DeFi应用中更安全有效地使用预言机。