SECBIT实验室机构得得号

聚焦智能合约安全审计和形式化验证。

关注1

粉丝59

发表文章（47）相关动态

BCH硬分叉背后： “重放攻击”下的用户自救指南

SECBIT实验室 • Nov 16, 2018

此次分叉后，理论上，重放攻击将有可能导致任何一方发生共识崩塌和算力归零。

区块链得得号得得专题 | 主权加密力量：全球央行数字货币求索之路【专题报道】直击BCH硬分叉风波：算力堡垒的天王山之战网络安全
Don’t Test, Verify. | 哪个故事真正符合你对...

SECBIT实验室 • Oct 24, 2018

从诞生至今，形式化验证（Formal Verification）方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段，更是为这项技术增添...

区块链得得号技术应用
类Fomo3D游戏漏洞与修复机制全解析

SECBIT实验室 • Sep 30, 2018

本文从合约安全开发的角度出发，详细分析了类 Fomo3D 游戏的两个问题，并提出若干个可能的解决方案。

得得号区块链得得专题 | 主权加密力量：全球央行数字货币求索之路网络安全技术【链得得独家专题】“数字货币世界观”之博彩冥界
是谁控制了比特币，是你？还是钱包？——BTC地址与交易原理大剖析

SECBIT实验室 • Sep 28, 2018

如果你在使用比特币钱包，却并不了解在哪种情况下，地址上的比特币会被锁死？到底是谁拥有比特币的控制权？那么，这篇文章为你而写。

得得号钱包区块链得得专题 | 主权加密力量：全球央行数字货币求索之路网络安全比特币 BTC
Fomo3D二轮大奖开出，黑客获奖，机制漏洞成游戏没落主因

SECBIT实验室 • Sep 25, 2018

在技术和财富交集的地方，黑客永远保持着最敏锐的嗅觉。

区块链得得号网络安全游戏得得专题 | 主权加密力量：全球央行数字货币求索之路【链得得独家专题】“数字货币世界观”之博彩冥界
God.Game 漏洞复盘：跑路还是黑客攻击？

SECBIT实验室 • Aug 24, 2018

人们在质疑相关游戏安全性之余，也在揣测项目方动机，一时间难以分清到底是黑客攻击，还是游戏开发方留有后门跑路。

区块链网络安全得得号以太坊游戏
深度揭秘Fomo3D大奖获得者的“特殊技巧”

SECBIT实验室 • Aug 23, 2018

Fomo3D获奖者（黑客）在游戏临近结束时，使矿工打包入区块内的交易数量骤减（涉及连续多个区块），从而起到加速游戏结束和提高胜率的作用。他并未联合多家矿池作恶，反而巧妙利...

得得号区块链游戏技术网络安全得得专题 | 主权加密力量：全球央行数字货币求索之路【链得得独家专题】“数字货币世界观”之博彩冥界
智能合约史上最大规模攻击手法曝光，盘点黑客团伙作案细节

SECBIT实验室 • Aug 17, 2018

前期大量参与者的资金来历不明，只面向国人推广、合约源码却未公开；疯狂的现象级游戏背后暗流涌动。

得得号网络安全游戏以太坊黑客诈骗
【得得预警】1200W人民币被盗！区块链游戏Last Winne...

SECBIT实验室 • Aug 17, 2018

区块链游戏Last Winner风靡以太坊网络，大量资金涌入导致交易拥堵。然而让Last Winner和玩家都没有想到的是，多双黑手正伸向他们......

得得号游戏黑客得得预警以太坊独家
【得得预警】警惕！Solidity缺陷易使合约状态失控

SECBIT实验室 • Aug 06, 2018

本文以蜜罐合约和 BancorLender 合约为例，详细介绍 Solidity 语言中「未初始化的 storage 指针」问题，并追踪 Solidity 编译器关于此问...

得得号网络安全得得专题 | 主权加密力量：全球央行数字货币求索之路

1
2
3
4
5