Beosin 成都链安 VaaS 即 Verification as a Service，是全球首个同时支持 EOS、以太坊区块链智能合约的自动形式化验证平台，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多种合约开发语言、可支持大容量区块链底层平台等特点。
VaaS 平台的「一键式」形式化验证工具，可精确定位到有风险的代码位置和风险原因，有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性，从而显著提高其安全等级。自动化工具加人工复核的方式对智能合约进行安全审计，确保审计质量和效率。相关研究成果已申请软件发明专利 5 项。
由电子科技大学杨霞、郭文生两位教授共同创建，获得分布式资本的投资。
成都链安官网：https://www.lianantech.com/
据官方消息，Justswap上明星项目-REV团队释放出REV智能合约审计报告，由Beosin（成都链安）安全审计完成，唯一合约地址为TSngG7y4RDSVG6QwoWM4MvVWJb3k8VLZJk。 此外，REV开发团队已于今日21:00向Justswap上的活跃账户随机空投REV代币，最高价值1万元。 据介绍，REV（Revolution Token）是基于区块链的新型社会实验型代币，其独特之处在于内嵌了交易燃烧、尾单博弈、持币分红三种独特的创新机制。REV技术团队表示：REV智能合约整体设计清晰，逻辑缜密，代码安全靠谱，从性能和功能上完全具备了区块链顶级去中心化金融项目的一切条件。
据官方消息，全球首个节点激励与流动性挖矿的高性能跨链式DEX—OS3（OSeanswap）将于3月2日正式上线火币生态链Heco，开启创世挖矿。OS3采用社区治理方式，持有治理代币OS3可拥有社区治理权益与空投权益，并享有参与IDO项目的打新额度，目前正在联合多家知名机构和品牌社区进行总价值百万的空投奖励。 据介绍，OSeanswap已同步上线CodeBank、火币钱包、Bitkeep等钱包，OSeanswap已通过区块链权威企业成都链安的安全代码审计。
据GraSwap官方消息，GraSwap定于2021年3月14日16:00（UTC+8）正式开启联动型流动性挖矿，首期参与挖矿的交易对为：HUSD-USDT、GRA-HUSD、TPT-HUSD。 后续，可参与流动性挖矿的部分交易对为：HT-USDT、GRA-HT、MDX-HT、ETH-USDT、HBTC-HUSD、UNI-HT、HDOT-HT。 GraSwap是限价撮合交易机制的多链DEX，采用限价订单交易和独创联动型流动性挖矿以及交易挖矿的机制。已于2021年1月份通过了成都链安的安全审计并取得审计报告。目前，已上线火币生态链HECO、ETH，后续还将陆续上线更多生态链。
据官方消息，AS swap将于3月15日20:00开启流动性挖矿，用户访问as.finance通过抵押AS LP Tokens参与挖矿。 AS tokens总计发行30,000,000枚。Part1流通7,500,000枚，其中6,000,000枚流通挖矿产出，1,500,000枚供应流动池及空投，22,500,000枚锁仓进入Part2；成都链安、知道创宇等多家机构参与审计；Dapp日前已上线Huobi Wallet、DefiBox、Bitkeep等多家数字资管平台。 AS swap定义流动资金池和相关市场相互兼容标准，风控智能合约执行化，HECO链上交易高效节能化。
据ETET官方推特消息，ETET平台定于3月28日(今日)22:00正式启动挖矿。ETET是首个去中心化算力生态平台，基于HECO开发，运用区块链信任、公正、公开的原则，打造集挖矿、DeFi、共识的EC云算力生态运行模式，通过算力币EC实现算力通证化，同时挖取ETH和算力股ETET。ETET已通过成都链安的安全审计。
