SECBIT实验室 区块链

SECBIT实验室 由一群热爱区块链技术的极客组建,专注于可信智能合约与安全共识协议研究。实验室成员遍布在全球多个国家,专业领域涉及区块链底层架构、智能合约语言、形式化验证、密码学与安全协议、编译与分析技术、博弈论与加密经济学等诸多学科。SECBIT实验室目前着重于研究区块链智能合约的安全问题,助力区块链团队提高智能合约的可靠性与安全性,开展构建智能合约安全框架的理论探索与技术研发,参与共建共识、可信、有序的区块链经济体。

订阅0 粉丝1
+订阅

观点

Don’t Test, Verify. | 哪个故事真正符合你对形式化验证的想象?

Don’t Test, Verify. | 哪个故事真正符合你对形式化验证的想象?

从诞生至今,形式化验证(Formal Verification)方法一直与“小众、冷门”等字眼挂钩。

|SECBIT实验室 2018-10-25 136
类Fomo3D游戏漏洞与修复方案全解析

类Fomo3D游戏漏洞与修复方案全解析

摘要:无论是 Fomo3D 山寨版还是正宗原版都摆脱不了“一轮就凉凉”的宿命,这与其智能合约的设计漏洞不无关系。

|SECBIT实验室 2018-09-30 427
是谁控制了比特币,是你?还是钱包?——BTC地址与交易原理大剖析

是谁控制了比特币,是你?还是钱包?——BTC地址与交易原理大剖析

比特币地址有 1 打头地址 ,也有 3 打头的地址,这两者有什么区别吗? 在哪种情况下,地址上的比特币会被锁死? 到底是谁拥有比特币的控制权,是你?还是你的钱包?

|SECBIT实验室 2018-09-29 472
Fomo3D 二轮大奖开出,黑客获奖,机制漏洞成游戏没落主因

Fomo3D 二轮大奖开出,黑客获奖,机制漏洞成游戏没落主因

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

|SECBIT实验室 2018-09-26 271
安比(SECBIT)创始人郭宇博士受邀出席2018 ISC互联网安全大会

安比(SECBIT)创始人郭宇博士受邀出席2018 ISC互联网安全大会

2018 ISC互联网安全大会于9月4日至6日在北京国家会议中心隆重举行,安比(SECBIT)实验室创始人郭宇受邀亮相区块链与安全技术论坛。

|SECBIT实验室 2018-09-07 235

关注微博

关注荣格财经微信公众号

荣格财经读者11群

加入荣格财经技术交流群