2018年12月12日，在成都举办的全国首届中小微企业SAAS应用创新创业大赛上，15个从全国评选中脱颖而出的优质企业进行了精彩的路演，最终Beosin（成都链安科技）力拔头筹，凭借对区块链安全领域的深刻理解、与百万互联网技术从业者共同创造安全生态的先进理念、以及能切实提高产品研发能力促进管理和商业模式创新的强大优势夺得冠军，同样也是本次大赛唯一一等奖！

本次大赛，由工信部、四川省人民政府指导，四川省经济和信息化厅主办，赛迪顾问和四川益企云科技股份有限公司承办，是全国首届中小微企业云服务大会。300余名投融资机构、金融机构、中小企业创新创业机构等相关服务机构负责人、云服务平台生态链企业负责人、参赛项目负责人参加活动。

本次大赛也得到了工信部和四川省人民政府的密切关注。目前，区块链正是科技行业的风口，而区块链全生态安全则是行业中的热门领域，工信部和四川省人民政府高度重视本次大会，对大会的各项筹备工作给予了有力指导和大力支持，堪称科技创新界一大盛事。

大赛邀请了来自深圳、香港和四川省的7家知名投融资机构、金融机构、研究院所专家组成专家评审组，对路演项目进行点评指导和现场打分。大赛路演环节精彩不断，专业的评委们现场对项目进行分解，对每个项目的创新思路、专业服务、社会需求以及潜在的应用前景进行了充分的探讨与深入的分析。在与专业评委们的思想碰撞中，参赛者得到了极具价值的建议，均表示，这对企业的未来发展意义重大。

最终，Beosin（成都链安科技）CMO高子扬带着技术团队，以“VaaS智能合约自动形式化验证平台”为题，从区块链行业所面临的生态安全问题出发，打造全生态安全解决方案，共同维护区块链行业安全。首先创造场景，Beosin团队经过2年多潜心钻研，自主研发出的全球首个同时支持ETH、EOS、Fabric等多个区块链平台的高度自动化智能合约形式化验证平台一一VaaS，准确率达到95%以上。其次，VaaS平台采用形式化验证方法，为智能合约和区块链应用提供“军事级”的形式化验证服务，帮助区块链企业提高其安全等级，从容应对常规合约安全问题。优化场景，Beosin力求为行业保驾护航，竭诚为客户提供包括智能合约安全审计、智能合约开发审计一条龙、钱包安全加固与审计、DApp安全加固与审计、区块链平台安全检测、交易所安全检测、企业级安全服务等，以打造区块链全生态安全为宗旨。这一创新思维，征服了现场的评委和观众，力压对手，将冠军的奖杯收入囊中。

VaaS平台具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多个合约开发语言、支持大容量区块链底层平台的形式化验证等技术优势，可精确定位到有风险的代码位置并指出风险原因，有效验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，精确度高达95%以上，显著提高其安全等级的同时，也为智能合约提供了标准的安全审计平台，相关研究成果已申请软件发明专利4项。2018年5月，工信部发布了《2018中国区块链产业白皮书》，在“区块链安全保护”章节中，详细介绍了Beosin（成都链安）研发的VaaS形式化验证平台，公司凭借“一键式”形式化验证平台VaaS，审计过的智能合约超过500份且发现漏洞10余个，并于2018年7月入选Etherscan智能合约安全审计推荐名单及获得OKEX最佳安全审计合作伙伴奖。

Beosin（成都链安）CMO高子扬表示，目前我们正处国家经济转型提升的过程中，中小微企业在经济比重中越来越重要。未来，VaaS平台将逐步支持其他主流区块链平台的形式化验证工作，为更多的区块链平台提供形式化验证服务，保障区块链生态领域的健康发展。

文章声明：本文为MarsBit专栏作者作品，不代表MarsBit观点，版权归作者所有，如需转载，请提前联系作者！