首页   >  研究   >  新闻动态   >  CSA GCR区块链安全工作组小组会议顺利召开
返回
CSA GCR区块链安全工作组小组会议顺利召开
  • 2020.04.14
  • 1486

CSA大中华区区块链安全工作组共识算法安全小组和智能合约小组分别在4月11日和3月19日召开了第一次工作会议。

 

智能合约小组工作会议由领军人& 安比实验室CEO郭宇主持,参加会议的有耶鲁大学、安比实验室、元界DNA、知道创宇、安永、慢雾、成都链安、Certik等单位的专家成员。

 

会上,工作组成员孙志鹏首先介绍了智能合约安全标准提纲初稿,参会人员各抒己见,就当前提纲初稿的具体内容进行了详细讨论:

 

区块链安全工作组组长黄连金指出,合约平台底层安全部分内容尚未囊括在其他小组内容中,可以在智能合约安全标准中作为研究内容体现;

 

慢雾余弦建议在典型案例部分可以梳理各个漏洞对应的真实案例,或者引用相关风险项对应的参考文献,并且表示团队此前在合约最佳实践、EOS超级节点安全规范、典型安全事件如“假充值”等方面的相关开源工作可以补充至安全标准中;

 

CertiK倪兆中提出可考虑添加跨链安全、智能合约动态运行时安全等内容;成都链安岳亮亮认为在合约平台底层安全部分可以关注系统内建合约安全;CertiK和成都链安分别介绍了各自在形式化验证领域的研究工作;

 

安比郭宇提议将形式化验证作为单独一节,从标准、定义、适用范围进行详细论述;

 

安永郭伟建议安全标准还应该包含智能合约框架性描述,并可考虑从框架各层面分别细化。

 
根据上述讨论结果,智能合约小组将再次更新智能合约安全标准提纲。小组成员一致表示,将会加快研究进度,争取在8月份前,提交出智能合约安全标准RFC版本。
 

 
共识算法安全小组工作会议小组副组长&北京大学副研究员关志主持,工作组组长黄连金、共识算法安全领军人陈钟教授、副组长北京大学教授关志,以及北京大学、德方智链、融数链等单位10多位区块链安全专家加了此次在线会议。
 
共识算法是区块链的关键技术之一,共识算法安全对于区块链安全具有重要意义,共识算法安全小组的主要工作目标是整合区块链业界技术经验和学术界研究成果,建立和发展区块链共识算法安全指南、最佳实践以及安全测试标准,为区块链的安全应用和部署提供支撑。
 
本次工作会议就建立区块链共识算法安全的知识基础、共识算法安全性测试和最佳实践,以及小组的组织和推广进行了讨论,工作组组长黄连金强调了共识算法对于区块链的重要意义,共识算法安全领军人陈钟教授对共识算法安全工作的挑战和目标进行展望,参会专家分享了各自的相关工作和观点,并就工作目标、工作内容和组织方式进行讨论并形成初步的共识。
 
 
 

小组专家成员(排序不分先后)

 

区块链安全工作组智能合约小组

 

序号

姓名

公司

职务

1

郭宇

安比实验室

CEO

2

吴潇

天融信

专家级安全顾问

3

余弦

慢雾科技

创始人

4

蒋旭宪

Peckshield

创始人兼CEO

5

邵中

耶鲁大学

计算机科学系系主任

6

倪兆中

 CertiK  

首席科学家

7

马红杰

安永

网络安全咨询高级经理

8

郭伟

安永

高级经理

9

孙志鹏

安比实验室

智能合约技术负责人

10

张超

天融信

产品总监

11

贺伟

天翼电子商务

区块链研究院负责人

12

何伊圣

山石网科

安全服务部总监

13

贺志生

中电科网络空间安全研究院有限公司

常务副所长

14

卢艺文

安比实验室

区块链安全研究员

15

沈余锋

天融信

总监、专家级安全顾问

16

胡冬

若无(上海)信息科技

合伙人

17

叶振强

慢雾科技

业务安全负责人

18

杨霞

链安科技

技创始人&CEO

19

张超

天融信

产品总监

20

岳亮亮

链安科技 智能合约业务负责人

 

区块链安全工作组共识算法安全小组

 

序号

姓名

公司

职务

1

陈钟

北京大学

北大信息科学技术学院区块链研究中心主任

2

关志

北京大学

副研究员

3

刘洁

奇点汽车

 IT总监

4

袁运亮

德方智链科技

技术总监

5

赵勇

清数科技

董事长兼CTO

6

张威

上海市信息安全行业协会

副主任

7

沈余锋

天融信

总监、专家级安全顾问

8

刘云鹏

天融信

高级售前安全顾问

9

李昕

焜耀网络科技

CTO

10

冉小波

预言机(重庆)科技

CEO

11

于静

金富有投资

CEO

12

李程

天谷信息

安全总监

13

徐吉

天谷信息

安全专家