聚焦智能合约安全审计和形式化验证。
纳什均衡提供了一种分析社会和经济参与者行为的工具，我们利用均衡的概念来揭示世界杯比赛中消极比赛、比特币系统中矿工挖矿博弈，以及共识系统所面临的挑战背后所蕴含的均衡模型。
AMORCOIN (AMR) Token 合约存在致命漏洞，任何人都可以随意增加其账户上的 Token 余额。这也提醒了项目方，发行 Token 一定要慎之又慎，遵守智能...
7 月 5 日，安比实验室发现 OnPlace (OPL) Token 合约中存在整数溢出漏洞。该合约烧币功能存在乘方运算可导整数溢出，使得烧币的实际值为零（虚假烧币）。
包括 Status 和 FunFair 在内的部分国内外热门区块链项目，智能合约存在管理员权限过高的问题，或导致项目存在过度中心化的风险，相关 Token 生态极易发生单...
安比（SECBIT）实验室联合 ConsenSys中国发布了全球首个携带交互式形式化证明的智能合约库，为目前漏洞频出的数字货币智能合约开发工作提供更加可信可靠的安全保障手...
安比（SECBIT）实验室携手路印（Loopring）共同发布智能合约风险列表，该列表内容主要包括详细的问题合约基本信息和全面的风险问题汇总。希望该列表可以帮助 ERC2...
最近智能合约安全事件频发，从BEC到SMT，从HXG到FXE等，最近这几个智能合约出的问题，大多是由于整数溢出导致的。是不是应该在所有的地方都加上安全检查，确保我们的代码...
English