形式的検証（FV）
<a href="https://crypto-bible.com/ja/glossary/blockchain-fundamentals/smart-contract/" target="_blank" rel="noopener">スマートコントラクト</a>のコードがあらゆる可能な状況下で事前に定義された仕様を満たすことを数学的に証明する手法で、従来のテストのように少数のシナリオだけを検証するものではない。
advanced
シミュレーション認識型マルウェア
自分が現在シミュレーション環境で実行されているのか、それとも実際にオンチェーンで実行されているのかを能動的に検知し、それに応じて挙動を切り替えられる悪意あるスマートコントラクト。シミュレーション時には無害に見せかけ、ブロードキャストされて初めて本当の悪意あるロジックを実行する。
advanced
スマートコントラクト監査
専門チームによって<a href="https://crypto-bible.com/ja/glossary/blockchain-fundamentals/smart-contract/" target="_blank" rel="noopener">スマートコントラクト</a>のコードに対して行われる、一度限りの人手とツールを組み合わせた検査であり、監査時点かつ監査範囲内で見つけられる脆弱性を洗い出すものである。しかしこれは特定の時点、特定のコードバージョンに紐づいたスナップショット報告書であり、そのコントラクトが以後も永続的に安全であることを保証するものではない。
advanced