返回

Certora首席科学家强调区块链安全涵盖更广领域

Sagiv Mooly指出，保障区块链网络安全不仅限于代码审查，还涉及架构、流程和人为因素。

摘要

原文篇幅较短，暂无摘要

术语与概念
  • Blockchain Security: 保护区块链系统免受漏洞威胁的措施与实践，包括技术、流程以及与人为相关的风险。
  • Certora: 一家专注于智能合约（区块链上的自执行代码）形式验证工具的公司，以增强安全性。
  • Smart Contract: 一种在区块链上运行的自执行代码，可在无中介的情况下执行协议。