Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。
成都链安：BaconProtocol遭受攻击事件分析:据成都链安链必应-区块链安全态势感知平台舆情监测显示，BaconProtocol遭受黑客攻击损失约958,166 美元，关于本次攻击，成都链安团队第一时间进行了分析：1. 本次攻击利用重入漏洞，并凭借闪电贷扩大收益额。2：目前攻击者地址还没有被加入USDC的黑名单中。[2022/3/6 13:40:01]
VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。
动态 | 成都链安：10月发生较典型安全事件共5起:据成都链安态势感知平台——Beosin?Eagle-Eye统计数据显示，在过去一个月（10月）中，共发生5起较为典型的安全事件。其中包括：1.EOS链上本月内总共发生两起攻击事件：一是假EOS攻击；二是游戏服务器解析参数问题。2.亚马逊云服务平台AWS被爆遭到了DDoS攻击，并因此被迫中断了服务。3.网页加密货币钱包Safuwallet被黑客通过注入恶意代码窃取了大量资金，并且殃及币安。4.Cryptopia被盗资产开始转移：一部分ETH流入知名DeFi借贷平台Compound；另有数个ETH流入一个叫做DeFi 2.0的DApp项目。鉴于当前区块链安全新形势，Beosin成都链安在此提醒各链平台需要增强安全意识，重视各类型安全风险，必要时可寻求安全公司合作，通过第三方技术支持，排查安全漏洞，加固安全防线；各钱包项目应进一步做好安全方面的审查，有意识地增强项目系统架构的安全性，并建立完善的应急处理机制。如发生资产损失，可借助安全公司的帮助，进行资产溯源追踪；用户在进行投资行为时需谨慎，远离资金盘，切勿刀口舔血。[2019/10/31]
由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
声音 | Beosin（成都链安）预警：某EOS竞猜类游戏遭受攻击 损失超1200枚EOS:根据成都链安区块链安全态势感知系统Beosin-Eagle Eye检测发现，今日上午 8:53:15开始，黑客yunmen****对EOS竞猜类游戏th****sgames发起攻击。截止到现在，该黑客已经获利超过1200枚EOS。Beosin建议游戏项目方应该加强项目运维工作，在收到安全公司的安全提醒之后第一时间排查项目安全性，才能及时止损，同时也呼吁项目开发者应该重视游戏逻辑严谨性及代码安全性。Beosin提醒类似项目方全方面做好合约安全审计并加强风控策略，必要时可联系第三方专业审计团队，在上链前进行完善的代码安全审计，防患于未然。[2019/4/3]
标签：安全
近年来,经济犯罪高发,局部相关数据通报：2022年,全国机关共破获各类经济犯罪案件7.4万起,挽回经济损失236亿余元,通过国际执法合作从境外缉捕遣返各类潜逃经济犯罪嫌疑人700余名.
1900/1/1 0:00:00日前,成都链安发布《2022全球虚拟货币犯罪态势及打击研究报告》,其中,报告盘点了2022年全球区块链年度大事,具体如下： 乌克兰接受虚拟货币捐款 2月26日.
1900/1/1 0:00:00随着虚拟货币的快速发展,对各行业也产生了巨大的影响,虚拟资产为金融领域发展提供了潜在发展机会,但也带来了极大的安全风险挑战,引起各国监管机构的关注与重视.
1900/1/1 0:00:002月13日,“杭州虚拟货币实战应用平台”上线启动仪式成功召开,成都链安作为平台共建企业,受邀参加了此次启动仪式.
1900/1/1 0:00:00据成都链安监测到的数据统计,2022年第一季度,攻击类安全事件造成的损失高达约12亿美元,较去年同期的1.3亿美元上涨约9倍,加密货币黑客盗窃事件更是一波未平一波又起.
1900/1/1 0:00:00以下为《全球虚拟货币犯罪态势及打击研究报告》精简版。成都链安：Wuliangye NFT项目疑似Rug Pull,共获利70.5个ETH:8月11日,成都链安鹰眼监测显示,Wuliangye N.
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
木星链
