支持 EOS、以太坊的区块链形式化验证平台。
Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。
VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。
由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
【动态 | 成都链安: 今日被盗巨鲸用户可能遭到了持续性攻击】金色财经消息，今日被曝被盗至少1500BTC和约6万BCH的大户可能早就被黑客选为攻击目标，被盗地址1Edu4yBtfAKwGGsQSa45euTSAG6A2Zbone自2018年1月23日起共收到5423枚BTC，其中绝大数来自长期持有BTC占据大户榜前50的地址1JsVdtXZHKnuzUihEjCPyRm5EEcxRjWGEh。2019年2月8日，用户生成了一笔金额为1662.4的巨额utxo并在19年多次使用该笔资金拆出小额进行交易，我们猜测黑客可能通过该地址与1JsVdtXZHKnuzUihEjCPyRm5EEcxRjWGEh的资金联系等确认了用户的身份，黑客可能在19年就确定了目标并进行了持久化的社会工程学攻击。攻击者在攻击得手后立刻开始了混币和资金转移，值得注意的是攻击者用于拆分资金的两个地址之一在19年颇为活跃，经成都链安AMl系统分析发现其中部分资金来自币安等交易所，这些交易所可能有相关提币记录，成都链安正在跟踪这一线索。
【分析 | 成都链安：盗窃Upbit交易所黑客开始测试向交易所充值】据成都链安反系统（Beosin-AML）监测显示，Upbit攻击者于28日下午17:08开始向0xf467816地址转移60100ETH，并将少量ETH转往可能随机选取的中间地址。通过该地址，这笔小额ETH目前已经进入疑似火币交易所钱包地址0x5401dbf7da53e1c9。目前攻击者正在分散资金，且通过少量的ETH测试是否能够成功进入交易所。
【LLE智能合约已通过Beosin(成都链安）的安全审计】据官方消息，Beosin（成都链安）今日已完成LLE智能合约项目的安全审计服务。 猎豹金融生态系统（Leopard lending ecology）是在以太坊区块链上的智能协议，以该协议为中心建立货币服务市场，服务市场是基于资产借贷需求，以计算得出利率。资产的供应商直接与协议进行交互，从而赚取浮动利率，而无需等待协商利率或抵押品等条款。 创始人Willians表示：我们LLE智能合约的整体设计清晰，逻辑缜密，代码安全可靠，具备了区块链上顶级去中心化金融项目条件之一。 合约地址：0xa1521aA6FE752195418ddbADB5A0c331608416B1； 审计报告编号：202009222010。
【动态 | EOS竞猜类游戏SKReos再次遭受攻击】Beosin（成都链安）态势感知系统报警：从昨日晚间开始截止目前，skreosladder游戏再次遭受黑客攻击，黑客目前已经获利数千eos。经成都链安安全人员初步分析，黑客仍然采用的是交易阻塞的攻击方式，不过较为不同的是黑客控制大量账户同时下注，再由多个账户进行推块操作由于参与攻击的账户众多。账户之间联系性不明显，攻击隐蔽性高。成都链安在此提醒项目方提高警惕并重视安全防范，以避免造成更多的资产损失。
【动态 | 安全公司：新西兰Cryptopia交易所被盗ETH再次发生异动】据成都链安Beosin-AML反平台监测分析结果显示，近日以来，新西兰Cryptopia交易所一月份被盗ETH再次发生异动，关键地址0x9481bd在向多个地址分散转移了共600余枚ETH之后，沉寂了一段时间。近日，这些分散地址中，地址0x211d4向币安充币地址转入247个ETH，地址0x094b67a将14.68ETH通过层层转移和混合流入Yobit交易所，另有20个ETH经过0xd0595b地址资金混合之后，转入Kraken和火币充币地址。通过成都链安持续追踪分析发现，黑客分散和转移资金的过程繁杂而有序，通过庞大的地址数量进行资金拆分并通过资金混淆及其他洗白资金的方式意图逃避追踪。
【动态 | 成都链安获得前海母基金新一轮融资】金色财经报道，2020年2月，成都链安科技有限公司正式宣布，获得前海母基金新一轮融资，以推动区块链安全事业健康有序发展。此前，成都链安已在2019年12月获得由联想创投、复星高科领投，成创投、任子行战略投资的数千万元融资，以及在2018年3月获得分布式资本的种子轮投资，在2018年9月获得界石资本、盘古创富的天使轮投资。据了解，前海母基金是目前国内商业化募集母基金，截至目前已完成募集规模285亿元。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。