成都链安简介
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 日签署了投资协议。 任子行称,公司聚焦网络空间数据治理,为工信部、等部门提供网络安全产品和服务。此次投资是基于公司网络安全行业整体战略规划以及自身发展需要,持续跟进前沿技术,在网络安全新兴领域的重要布局。双方合作有利于发挥各自优势,积极推动区块链行业的安全监管,促进公司整体战略长期、持续、高效发展。(中证网)}
标签:成都链安
官方信息
-
-
- 微博
-
- YouTube
-
- 微博
-
成都链安热门资讯
上周,美股上演了一出荒诞又热血的“华尔街激战”。 一边是华尔街巨头、一边是上万散户,在这样一场大象和蚂蚁的战斗中——华尔街被撂翻,Robinhood成帮凶,民粹主义涌进金融市场,散户惨遭团灭,整个纳斯达克乱成了一锅粥。
2021/2/3 17:38:512021年第一个交易日,即1月4日,GameStop股价报在17.25,后在接下来的10天里翻倍。1月快速结束时,股价开始火箭式上涨,两天内从77美元逼近350美元,1月28日创下500美元高点。
2021/2/2 15:21:17据成都链安【链必安-区块链安全态势感知平台(Beosin-Eagle Eye)】安全舆情监控数据显示:2020年12月,据不完全统计,整个区块链生态共发生31起较为典型的安全事件。经成都链安·安全实验室评级,12月整体风险评级为【高】,需整个行业生态参与方引起重视。 相较于11月,12月发生的安全事件数量有所增加。
2020/12/31 19:18:59DeFi数据 1.DeFi总市值:185.53亿美元市值前十币种涨跌幅,金色财经制图,数据来源Coingecko 2.过去24小时去中心化交易所的交易量:6.18亿美元 交易量排名前十的DEX 数据来源:Debank 3.DeFi借贷平台借款总量:34.5亿美元DeFi借贷平台借款占比,金色财经制图。
2020/12/16 20:31:12近日,商务部CECBC区块链专委会副主任吴桐在接受媒体采访时表示,2020年,区块链已渗透到中国各个垂直行业,并初步形成了示范效应。在2021年,随着区块链产业核心价值形成更大程度的共识,“链改”或将形成更大的社会影响力。 2020年,一场突如其来的世界范围公共卫生危机给全球经济带来了巨大的打击,尤其是在实体经济层面。
2020/12/14 14:54:27DeFi从今年6月份以来突然提速,极速狂飙。在这个过程中,借贷、DEX和流动性挖矿发展最为迅速。DeFi的用户从6月初不到20万增长到如今40多万,DeFi锁定资产量从6月初不到10亿美元增长到如今超过80亿美元,其中Uniswap、Balancer以及Curve的快速发展,尤其引入注目。