成都链安

成都链安简介

Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。

VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。

由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。

【比原链牵手成都链安科技，共建区块链安全新生态】近日，比原链基金会与成都链安科技签署战略合作协议。双方将在区块链安全技术领域达成初步合作意向，未来成都链安科技将会为比原链提供底层平台的形式化安全验证，智能合约的开发、审计、安全验证等服务，保证比原链平台和智能合约的安全性、功能正确性。

【动态 | Gamebet 攻击事件分析与ToBet攻击事件后续】根据Beosin（成都链安）风控系统发现，28日上午,黑客账户tuifabvsqwas向 GameBet 游戏合约（gamebetdices）发起回滚攻击，通过回滚失败下注的方式获利上百枚EOS。风控系统关联扫描发现，黑客自数天前开始通过shuabgsghdas与tuifabvsqwas账户进行攻击测试，在此期间还通过shuabgsghdas账户攻击了ToBet(tobetiotoken tobetioadmin),ToBet自19号被kfexzmckuhat账户回滚攻击后进行了读写分离修复操作，但25号shuabgsghdas账户使用相似手段再次盗取了EOS和TOB代币，在攻击方式上的区别为现在攻击者只回滚失败交易的下注操作，竞猜成功交易的下注操作不再回滚。Beosin（成都链安）提醒：近期游戏项目方可能遭到密集回滚攻击，使用合约外开奖方式的用户请提高警惕，做好防范。

【声音 | ZB 创新智库：11 月共收录区块链融资事件 22 起】据 ZB 创新智库数据统计，11 月公开披露的区块链融资事件共 22 起，其中金融板块 14 起，企业服务板块 4 起，依然是区块链项目应用的两大核心领域。金额较大的是区块链基础设施公司 Bison Trails 在 A 轮完成 2550 万美元融资，该公司也是 Libra 协会的创始成员之一。此外，Messari、成都链安等知名公司也在 11 月份披露了融资消息。

【动态 | 链安科技：已发现攻击FFgame的攻击者账号】日前，区块链骰子游戏FFgame遭恶意攻击，成都链安科技技术团队就此事进行分析，链安科技技术团队表示：此次导致区块链骰子游戏FFgame损失1330EOS的攻击者账号为jk2uslllkjfd，该攻击者账号于11月4日已经攻击eosdice，本次使用手法与上次攻击手法从函数传参来看为类似。根据成都链安科技分析推断：由于FFgame的开奖操作reval执行时refer区块为下注前一个区块，可以知道reval是在下注操作中defered出来的一个action，所以进行开奖时传入的seed是在合约内生成，并且生成算法被黑客攻破。推测该项目可能使用了和eosdice类似的随机数生成算法从而导致游戏被攻击，成都链安科技提醒区块链游戏开发者如果使用此类随机数算法，安全的开奖方法应是在reval开奖之前多执行一次defered action，保证区块信息不可预测。

【动态 | 联想、复星等入股区块链企业链安科技 并列第四大股东】启信宝数据显示，1月13日，成都链安科技有限公司发生多项工商变更，北京盘古创富成长三号投资中心（有限合伙）退出其股东行列，联想（北京）有限公司、上海复星高科技（集团）有限公司等6家企业新增为其股东。在入股之后，联想、上海复星分别持有链安科技5.35%的股份，为并列第四大股东。（腾讯财经）}

【动态 | 任子行斥资1000万元增资成都链安 推动区块链行业安全监管】任子行(300311)11月28日晚公告，公司拟以自有资金 1000 万元向成都链安增资。增资完成后，公司将获得成都链安 5.39%股权。公司与成都链安创始人杨霞、郭文生、高子扬于 11 月 28 日签署了投资协议。 任子行称，公司聚焦网络空间数据治理，为工信部、等部门提供网络安全产品和服务。此次投资是基于公司网络安全行业整体战略规划以及自身发展需要，持续跟进前沿技术，在网络安全新兴领域的重要布局。双方合作有利于发挥各自优势，积极推动区块链行业的安全监管，促进公司整体战略长期、持续、高效发展。（中证网）}

标签：成都链安

官方信息

• 

  Facebook

• 

  Twitter

• 

  微博

• 

  YouTube