智能合同脆弱性表面分析:比特目标协议:比特(TVL:16050.8M) 智能合同脆弱性表面分析:比特协议:比特(perpetuals & Spot Exchange) 链子焦点:Eetheum Mainnet & Layer 2s(Arbitrum, Optimism) 总价值锁定(TVL):16 050.8M 日期:2023年10月26日 审计员:高级德菲安全研究团队
1.
执行摘要比特(CEX)是主要通过其比特永久和比特点模块在链上运行的最大集中交换(CEX)之一.
与纯分权协议不同的是,Bybit运行一种混合模式:虽然用户资金在链上智能合同中持有(主要用于抵押和结算),关键操作逻辑(订单匹配,风险管理和退出批准)往往由交易所后端系统管理出链外.
这份报告分析了Bybit在链上基础设施的智能合同脆弱面。
主要风险载体来源于: 集中信任假设:依赖多相或管理键进行关键操作.
Oracle依赖性:在永久的未来中暴露于价格饲料操纵.
Bridge & Cross-Chain 风险:跨链通讯和资产接通中的弱点.
合同升级:与代理模式和管理员特权相关的风险.
Bybit的连锁TVL尽管具有集中的性质,但16.05B的TVL使它成为一个高价值的目标.
成功的利用可能导致用户资金的灾难性损失。
本报告确定了5个关键/高风险攻击载体,并提出了减轻这些风险的优先技术建议。
2.
识别出的攻击矢量 2.1.
Oracle操纵和价格饲料爆炸风险水平:临界比特活性依赖甲骨文数据(典型的连锁或内部价格饲料)来确定标记价格、供资率和清算触发因素。
脆弱性:如果甲骨文合同被破坏,或者如果价格饲料受到延迟或被操纵(例如,对用作价格来源的底部DEX集合的闪存贷款攻击),攻击者可以:触发对健康位置的虚假清算.
操纵供资率,从长期/短期不平衡中获取利润。
在高度波动期间,利用现货价格与永久价格之间的差距。
技术细节:在许多CEX-上链模型中,"价格"并非纯粹是上链.
如果比特使用杂交甲骨文(内部+外接),则可以利用两者的差异.
如果链上合同信任外部价格来源而未进行充分的偏差检查,它就容易受到甲骨文渗出的影响。 2.2.
管理键妥协和多Sig脆弱性风险水平:关键比特的智能合同可能包括管理函数,用于: 暂停交易。
更新预告地址 。
管理收费结构.
核定提款.
脆弱性:如果多相接钱包(如Gnosis Safe)或管理员密钥被损坏,攻击者可以:通过调用或类似功能排出用户抵押.
将甲骨文改为恶意合同,报告为零价,引发大规模清算.
暂停协议以防止用户在开发期间退出。
技术细节:集中式交换机在操作速度上通常使用比纯DeFi协议更少的签名器.
一个有关键管理弱点(如存储在一个服务器上的密钥)的2-of-3或3-of-5多西格是一个单一的失败点. 2.3.
Cross-Chain Bridge Explorits 风险等级:高比特支持跨越Ethereum,Arbitrum,Optimism等L2s的资产.
用户资金在这些链条之间搭桥。
脆弱性:如果Bybit使用第三方桥(例如:LyerseZero,Wormhole,或专有桥),桥上合同中的脆弱性会导致: 双重支出:在目的地链上比被锁入源链上的资产要多.
信息重放:重放取款信息多次索要资金.
验证人妥协:如果桥梁依赖于验证人集,则多数妥协可以批准欺诈性转移.
铁尼