TechFlowの報道によると、ブロックチェーンセキュリティ企業Certoraはこのほど、Solanaトークン拡張機能に対して正式な検証レビューを実施した。同社は独自の高度な形式検証ツールを用いて、コードの重要な属性に関する仕様の策定と検証を行った。Certoraチームの主な成果としては、プログラムのパフォーマンスを20％向上させる最適化の機会を特定したこと、Solanaチームが最近更新したルールを検証するための検証手法を開発して既存のセキュリティ対策を強化したこと、複数の命令を検証可能な再利用可能な仕様を作成し、それまですべての監査担当者が見逃していた問題を発見したことが挙げられる。
具体的には、Certoraはsol_memcmpの使用を見直し、Rustが提供するプラットフォーム非依存の比較方法への移行を提案した。この改善により、TransferChecked命令の計算ユニットが約20％削減された。
さらに、Certoraの検証プロセスでは、チェックなしの転送とチェック付き転送の整合性に関わる問題の修正が確認された。
最後に、チームはBurnおよびBurnChecked命令において、転送命令向けに実装された修正が欠落していることを発見した。この問題はすでにSPL開発者によって確認され、修正されている。
お気に入りに追加
SNSで共有
