2020-11-02

比特币交易网和聚币|DeFi 合约什么漏洞最常见？初探审计流程与特点

业务逻辑漏洞在 DeFi 项目中最为常见， 需对涉及代币基本信息的函数及铸币、销毁代币、更改 owner 等特殊权限作严格审查。原文标题：《DeFi 合约审计中

2020-11-02

比奥币时代交易网|五分钟简述以太坊 2.0 Gasper 终局性与形式化验证方法

Gasper 的关键是一套终局性机制，用于保证交易的持存性和系统的不间断运作。原文标题：《引介 | 形式化验证 Gasper 共识机制的终局性》 作者：Musa

2020-10-26

如何确保 DeFi 资金安全？我们与 NEST 开发者及安比实验室聊了聊

NEST 社区开发者 YolkLi 分享 DeFi 开发中需要注意的安全问题，安比实验室郭宇聊到智能合约安全的形式化验证。原文标题：《Math Show #00

2020-10-25

DeFi 合约什么漏洞最常见？初探审计流程与特点

业务逻辑漏洞在 DeFi 项目中最为常见， 需对涉及代币基本信息的函数及铸币、销毁代币、更改 owner 等特殊权限作严格审查。原文标题：《DeFi 合约审计中

2020-10-25

如何确保 DeFi 资金安全？我们与 NEST 开发者及安比实验室聊了聊

NEST 社区开发者 YolkLi 分享 DeFi 开发中需要注意的安全问题，安比实验室郭宇聊到智能合约安全的形式化验证。原文标题：《Math Show #00

2020-10-23

如何确保 DeFi 资金安全？我们与 NEST 开发者及安比实验室聊了聊

NEST 社区开发者 YolkLi 分享 DeFi 开发中需要注意的安全问题，安比实验室郭宇聊到智能合约安全的形式化验证。原文标题：《Math Show #00

2020-10-20

hitbtc交易平台教程|Beosin 成都链安一周岁：利用数学之美，让区块链世界更健壮

区块链时代，智能合约的安全性被无限放大，一行代码的漏洞就能导致千万美元的损失。统计数据显示，2011 年-2018 年间，智能合约安全事件损失金额达 12.4

2020-09-17

【dfex交易所】 安比（SECBIT）创始人郭宇博士受邀出席2018 ISC互联网安全大会

智能合约代码中是否有常见的安全漏洞；2 智能合约是否可信；3 智能合约是否符合一定规范和流程

2020-09-17

【grccoin交易所下载】 安比（SECBIT）实验室郭宇团队全球首发携带交互式形式化证明的智能合约库

智能合约库提供更加可信可靠的安全保障手段，让数字货币智能合约不再漏洞频出，显著改善数字货币智能合约安全形势。

2020-09-17

【dfex交易所排名多少】 安比实验室SECBIT与AnChain.ai在硅谷成立区块链安全联合实验室

AI+区块链安全”项目AnChain.ai与专注于智能合约安全及形式化验证研究的安比（SECBIT）实验室签订战略合作协议，并成立硅谷区块链安全联合实验室。未来双方将在智能合约安全审计及形式化验证、智能合约及公链态势感知等方面开展深入合作。