今日运势评分

-3

本月运势

戊子月

震荡偏多

乙克戊,卯冲酉
乙不栽植千株不长
卯不穿井水泉不香

祭祀,修饰垣墙,馀事勿取

诸事不宜

月相

下弦

底部反弹

日冲

Powered by RitMEX

ONDO0.46 -3.51%

TRUMP5.62 -1.40%

SUI1.56 -3.51%

TON1.61 -2.26%

TRX0.27 -2.29%

DOGE0.14 -2.28%

XRP2.01 -1.38%

SOL132.44 -3.57%

BNB882.97 -0.41%

ETH3091.15 -4.71%

BTC90357.58 -2.47%

ETH Gas0.36 Gwei

恐惧
29
7x24h快讯︎
Certora完成Solana代币扩展正式验证,发现多项优化和安全改进

深潮 TechFlow 消息,区块链安全公司Certora近日完成了对Solana代币扩展的正式验证审查,使用其深度形式验证工具对代码关键属性进行了规范编写和验证。Certora团队的主要发现包括:识别出一项可将程序性能提升20%的优化机会;开发了验证Solana团队近期更新的规则,以加强现有安全措施;编写了可重用的规范,用于验证多个指令,发现了之前所有审计人员都未察觉的问题。

具体而言,Certora建议不使用sol_memcmp,而采用Rust提供的平台无关比较方法,这一改进使TransferChecked指令的计算单元减少了约20%。

此外,Certora的验证还发现并确认了一个涉及未经检查转账和经过检查转账一致性的问题的修复。

最后,团队发现烧毁指令(Burn和BurnChecked)中缺少针对转账指令实施的修复,这一问题已得到SPL开发者的确认并修复。