【网址1:官网】https://www.lianantech.com/

【网址2:博客】https://www.zhihu.com/org/cheng-du-lian-an-ke-ji-28/posts

【简介】成都链安科技有限公司,成立于2018年3月,致力于区块链安全生态建设。也是最早将形式化验证技术应用到区块链安全领域的公司,研发了全球领先的智能合约自动形式化验证平台VaaS,并基于此,建立了Beosin“一站式”区块链安全平台,为区块链企业提供安全审计、虚拟资产追溯与AML反洗钱、隐私保护、威胁情报、安全防护、安全咨询等全方位的安全服务与支持。申请软件发明专利和著作权15项。

image.png