支持 EOS、以太坊的区块链形式化验证平台。
Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。
VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。
由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
【BTC 24小时跌幅4.98%，现报6663.87USDT】官方行情数据，截止4月13日10时，BTC 24小时跌幅4.98%，现报价6663.87 U；昨日19:30，比特币从6824 U开始冲到7176.36 U，今日6:00从7110开始回落，目前4小时线处于箱体震荡中。 MXC抹茶已稳定运行2周年，与知道创宇、慢雾科技、掌御科技、成都链安及北京链安5家安全防护公司达成深度合作，致力于打造成为业内最安全、用户最信任的交易所。
【动态 | eosnowbetext遭受攻击 攻击者已获利 】Beosin（成都链安）预警：今天下午17:09:42开始，根据成都链安区块链安全态势感知系统Beosin-Eagle Eye检测发现，有黑客再次对EOS竞猜类游戏eosnowbetext发起攻击。经过成都链安技术团队初步分析，攻击者依然是通过交易阻塞的方式，操控多个小号对该游戏发起攻击，并已经获利。在此我们建议游戏合约开发者应该重视游戏逻辑严谨性及代码安全性，同时提醒类似项目方全方面做好合约安全审计并加强风控策略，必要时可联系第三方专业审计团队，在上链前进行完善的代码安全审计，防患于未然。
【动态 | EOS游戏FASTWIN被攻击 攻击手法或为回滚攻击】成都链安-Beosin态势感知系统Eagle Eye监控到攻击者在1月30日下午11点开始对EOS游戏FASTWIN进行攻击，在其获利几百EOS时Eagle Eye系统发出报警， 经成都链安安全人员初步分析，该异常为攻击行为，攻击者先后部署了多次攻击合约进行攻击尝试。根据交易记录和对攻击者合约的初步分析，可能是使用回滚攻击的手法。系统部分截图如下：}
【声音 | 成都链安创始人：区块链领域存在六大安全漏洞，全球共损失90亿美元】在2019上海区块链国际周现场，成都链安科技有限公司创始人、电子科技大学副教授杨霞详细分析了行业的六大安全问题。即系统漏洞引起的损失、用户使用不当引起的问题、网络犯罪、暗网黑市交易、，盘和资金盘。根据数据来看，系统漏洞引起的损失，今年以来，由区块链漏洞引起的损失高达30多亿美元。从2011年到2018年损失高达90多亿美元。（华夏时报）}
【现场 | 金色财经颁发“2019最佳安全服务机构”奖 共9家企业获奖】2019年12月27日，由金色财经主办的“与时共创”颁奖盛典在京举行。金色财经“与时共创”对2019最佳安全服务机构进行评选，经评委的评选，慢雾科技、成都链安、知道创宇、360区块链安全、降维安全实验室、PeckShield（派盾）、iString弦冰、零时科技、CertiK等九家企业获“2019最佳安全服务机构”奖项。 本次活动邀请到国内外百余家知名区块链企业、300多名行业领袖、众多产业上下游服务机构代表等业界知名人士共同见证此次颁奖盛典。金色财经“与时共创”活动邀请到40余名资深行业专家作为专业评选团，结合网络投票进行综合评审，通过不同的奖项，对各个企业对实现赋能实体创新引领行业未来发展的努力进行表彰，实现与时代共同探索区块链，共创行业美好蓝图。
【REV智能合约已通过Beosin（成都链安）的安全审计】据官方消息，Justswap上的明星项目，REV团队释放出REV智能合约审计报告，由Beosin（成都链安）安全审计完成。 据了解，REV（Revolution Token）是基于区块链的新型社会实验型代币。其独特之处在于内嵌了交易燃烧、尾单博弈、持币分红三种独特的创新机制。 REV技术介绍：智能合约的整体设计清晰，逻辑缜密，代码安全靠谱，从性能和功能上完全具备了区块链顶级去中心化金融项目的一切条件。合约地址(认准唯一) TSngG7y4RDSVG6QwoWM4MvVWJb3k8VLZJk。详情点击原文链接。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。