Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。
成都链安：2022年第1季度区块链安全生态造成的损失达到12亿美元:4月20日消息，成都链安统计数据显示，加密行业2022年第1季度安全事件造成的损失达到12亿美元。[2022/4/20 14:36:00]
VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。
成都链安：正在追查Ronin攻击事件的资金去向:据成都链安链必应-区块链安全态势感知平台舆情监测显示，Axie Infinity侧链Ronin遭到攻击，17.36万枚ETH和2550万USDC被盗，总金额约合价值为6.15亿美元。在这里，成都链安对此类跨链桥项目给出以下建议:
1.注意签名服务器的安全性；
2.签名服务在相关业务下线时，应及时更新策略，关闭对应的服务模块，并且可以考虑弃用对应的签名账户地址；
3.多签验证时，多签服务之间应该逻辑隔离，独立对签名内容进行验证，不能出现部分验证者能够直接请求其它验证者进行签名而不用经过验证的情况；
4.项目方应实时监控项目资金异常情况。[2022/3/30 14:25:56]
由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
动态 | 任子行斥资1000万元增资成都链安 推动区块链行业安全监管:任子行(300311)11月28日晚公告，公司拟以自有资金 1000 万元向成都链安增资。增资完成后，公司将获得成都链安 5.39%股权。公司与成都链安创始人杨霞、郭文生、高子扬于 11 月 28 日签署了投资协议。
任子行称，公司聚焦网络空间数据治理，为工信部、等部门提供网络安全产品和服务。此次投资是基于公司网络安全行业整体战略规划以及自身发展需要，持续跟进前沿技术，在网络安全新兴领域的重要布局。双方合作有利于发挥各自优势，积极推动区块链行业的安全监管，促进公司整体战略长期、持续、高效发展。（中证网）[2019/11/29]
标签：安全
近年来,经济犯罪高发,局部相关数据通报：2022年,全国机关共破获各类经济犯罪案件7.4万起,挽回经济损失236亿余元,通过国际执法合作从境外缉捕遣返各类潜逃经济犯罪嫌疑人700余名.
1900/1/1 0:00:002月13日,“杭州虚拟货币实战应用平台”上线启动仪式成功召开,成都链安作为平台共建企业,受邀参加了此次启动仪式.
1900/1/1 0:00:00随着虚拟货币的快速发展,对各行业也产生了巨大的影响,虚拟资产为金融领域发展提供了潜在发展机会,但也带来了极大的安全风险挑战,引起各国监管机构的关注与重视.
1900/1/1 0:00:00日前,成都链安发布《2022全球虚拟货币犯罪态势及打击研究报告》,其中,报告盘点了2022年全球区块链年度大事,具体如下： 乌克兰接受虚拟货币捐款 2月26日.
1900/1/1 0:00:00据成都链安监测到的数据统计,2022年第一季度,攻击类安全事件造成的损失高达约12亿美元,较去年同期的1.3亿美元上涨约9倍,加密货币黑客盗窃事件更是一波未平一波又起.
1900/1/1 0:00:00以下为《全球虚拟货币犯罪态势及打击研究报告》精简版。成都链安：Goldfinch项目的SeniorPool合约遭受攻击,项目方累计损失超54万美元:据成都链安“链必应-区块链安全态势感知平台”安.
1900/1/1 0:00:002022年1月12日,第十九届中国国际软件合作洽谈会在成都世纪城国际会议中心举行,成都链安受邀参与鲲鹏生态专题会议.
1900/1/1 0:00:00又到了每月安全盘点时刻！据成都链安安全舆情监控数据显示：2021年12月,各类安全事件仍然时有发生,本月发生较典型安全事件超『22』起.
1900/1/1 0:00:00来源：同花顺金融研究中心 同花顺金融研究中心3月31日讯,有投资者向任子行提问,媒体报道,成都链安涉及数字货币安全领域,成都链安打造了数字货币反合规及调查取证的系统及服务方案.
1900/1/1 0:00:00
宇宙链
