Certora主任科学者、ブロックチェーンセキュリティの多角的側面を強調

サギブ・ムーリー氏は、ブロックチェーンネットワークの保護はコードレビューにとどまらず、アーキテクチャやプロセス、人的要因を含むと強調した

要約

原文が短いため要約は提供されていない

用語解説
  • Blockchain Security: 技術的、手続き的、人的なリスクを含む、ブロックチェーンシステムを脆弱性から保護するための施策と実践。
  • Certora: スマートコントラクト(ブロックチェーン上で自己実行されるコード)の安全性を向上させるための形式的検証ツールを専門とする企業。
  • Smart Contract: 仲介者を介さずに合意を強制する、ブロックチェーン上で動作する自己実行型コード。