Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。
成都链安：fortress被盗金额已被转换成1048eth并转入了Tornado Cash:5月9日消息，据成都链安安全舆情监控数据显示，fortress 遭受预言机价格操控攻击，被盗金额已被转换成1048eth并转入了Tornado Cash。经成都链安技术团队分析，本次攻击原因是由于fortress项目的预言机FortressPriceOracle的数据源Chain合约的价格提交函数submit中，将价格提交者的权限验证代码注释了，导致任何地址都可以提交价格数据。攻击者利用这个漏洞，提交一个超大的FST价格，导致抵押品价值计算被操控，进而借贷出了项目中所有的代币。
攻击交易：0x13d19809b19ac512da6d110764caee75e2157ea62cb70937c8d9471afcb061bf
攻击者地址：0xa6af2872176320015f8ddb2ba013b38cb35d22ad
攻击者合约：0xcd337b920678cf35143322ab31ab8977c3463a45[2022/5/9 3:00:21]
VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。
成都链安：BaconProtocol遭受攻击事件分析:据成都链安链必应-区块链安全态势感知平台舆情监测显示，BaconProtocol遭受黑客攻击损失约958,166 美元，关于本次攻击，成都链安团队第一时间进行了分析：1. 本次攻击利用重入漏洞，并凭借闪电贷扩大收益额。2：目前攻击者地址还没有被加入USDC的黑名单中。[2022/3/6 13:40:01]
由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
动态 | 成都链安: 今日被盗巨鲸用户可能遭到了持续性攻击:金色财经消息，今日被曝被盗至少1500BTC和约6万BCH的大户可能早就被黑客选为攻击目标，被盗地址1Edu4yBtfAKwGGsQSa45euTSAG6A2Zbone自2018年1月23日起共收到5423枚BTC，其中绝大数来自长期持有BTC占据大户榜前50的地址1JsVdtXZHKnuzUihEjCPyRm5EEcxRjWGEh。2019年2月8日，用户生成了一笔金额为1662.4的巨额utxo并在19年多次使用该笔资金拆出小额进行交易，我们猜测黑客可能通过该地址与1JsVdtXZHKnuzUihEjCPyRm5EEcxRjWGEh的资金联系等确认了用户的身份，黑客可能在19年就确定了目标并进行了持久化的社会工程学攻击。攻击者在攻击得手后立刻开始了混币和资金转移，值得注意的是攻击者用于拆分资金的两个地址之一在19年颇为活跃，经成都链安AMl系统分析发现其中部分资金来自币安等交易所，这些交易所可能有相关提币记录，成都链安正在跟踪这一线索。[2020/2/22]
标签：安全
近年来,经济犯罪高发,局部相关数据通报：2022年,全国机关共破获各类经济犯罪案件7.4万起,挽回经济损失236亿余元,通过国际执法合作从境外缉捕遣返各类潜逃经济犯罪嫌疑人700余名.
1900/1/1 0:00:00随着虚拟货币的快速发展,对各行业也产生了巨大的影响,虚拟资产为金融领域发展提供了潜在发展机会,但也带来了极大的安全风险挑战,引起各国监管机构的关注与重视.
1900/1/1 0:00:002月13日,“杭州虚拟货币实战应用平台”上线启动仪式成功召开,成都链安作为平台共建企业,受邀参加了此次启动仪式.
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:002022年1月12日,第十九届中国国际软件合作洽谈会在成都世纪城国际会议中心举行,成都链安受邀参与鲲鹏生态专题会议.
1900/1/1 0:00:00以下为《全球虚拟货币犯罪态势及打击研究报告》精简版。成都链安：Feminist Metaverse项目遭受攻击,攻击者已将1838BNB转入tornado.cash:据成都链安“链必应-区块链安.
1900/1/1 0:00:00又到了每月安全盘点时刻！据成都链安安全舆情监控数据显示：2021年12月,各类安全事件仍然时有发生,本月发生较典型安全事件超『22』起.
1900/1/1 0:00:00来源：同花顺金融研究中心 同花顺金融研究中心3月31日讯,有投资者向任子行提问,媒体报道,成都链安涉及数字货币安全领域,成都链安打造了数字货币反合规及调查取证的系统及服务方案.
1900/1/1 0:00:00
火星链
