11月16日凌晨2:16分，BCH在第556767个块高度发生硬分叉，分叉大战落下帷幕，分成了BCH ABC和BCH SV两个阵营。在此次此次硬分叉中，BCH ABC和BCH SV双方都没有进行“重放…
Don’t Test, Verify. | 哪个故事真正符合你对形式化验证的想象？
从诞生至今，形式化验证（Formal Verification）方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段，更是为这项技术增添了一丝神秘感。究竟什么是形式化…
摘要：无论是 Fomo3D 山寨版还是正宗原版都摆脱不了“一轮就凉凉”的宿命，这与其智能合约的设计漏洞不无关系。本文从合约安全开发的角度出发，详细分析了类 Fomo3D 游戏的两个问题，并提出若干个可…
是谁控制了比特币，是你？还是钱包？——BTC地址与交易原理大剖析
比特币地址有 1 打头地址 ，也有 3 打头的地址，这两者有什么区别吗？在哪种情况下，地址上的比特币会被锁死？到底是谁拥有比特币的控制权，是你？还是你的钱包？如果你在使用比特币钱包，但却无法回答上面三…
Fomo3D 二轮大奖开出，黑客获奖，机制漏洞成游戏没落主因
在技术和财富交集的地方，黑客永远保持着最灵敏的嗅觉。北京时间 9 月 24 日深夜 11 点 32 分，Fomo3D 第二轮最终大奖由地址 0x18a0 获得，奖金为 3,264.668 Ether。…
安比(SECBIT)实验室完成NeoWorld Cash智能合约审计
本月，为了配合NASH智能合约的升级和提升安全性，NeoWorld团队委托业内知名智能合约审计团队SECBIT针对新版的智能合约做了审计。双方团队不但对NASH智能合约的设计和内容进行了优化，还对如何…
8 月 22 日，一个名不见经传的游戏 God.Game 发出通告，声称遭遇黑客攻击，游戏内的以太币被黑客全部转走。这一消息一时间传遍各大媒体以及讨论群，人们在质疑相关游戏安全性之余，也在揣测项目方动…
Fomo3D 游戏第一轮正式结束，最终大奖由地址 0xa169 获得，奖金额高达 10,469.66 以太币。不少人轻易得出结论：获奖者平平无奇。安比（SECBIT）实验室昨日首个发现 Fo…
