项目介绍
链安科技是一个区块链形式化验证平台，旗下有自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。
公司简介
- 链安科技是一个区块链形式化验证平台，旗下有自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。
成都市成都链安科技有限公司
工商信息由
提供工商信息
基本信息
| 公司名称 | 成都链安科技有限公司 | 成立时间 | 2018-03-29 |
| 法人代表 | 杨霞 | 经营权限 | 2018-03-29至3999-01-01 |
| 注册资本 | 116.635万人民币 | 核准日期 | 2019-06-19 |
| 注册号 | 社会信用代码 | 91510108MA6CCBQE4Q | |
| 组织机构代码号 | MA6CCBQE4 | 纳税人识别号 | 91510108MA6CCBQE4Q |
| 企业类型 | 有限责任公司(自然人投资或控股) | 登记机关 | 成都高新区市场监督管理局 |
主要人员
杨霞
执行董事兼总经理
郭文生
监事
刘凯
监事
张丽萍
监事
石鹏
未知
高子扬
未知
余文波
监事
| 股东信息 | 股东类型 | 认缴出资金额 |
| 杨霞 | 自然人 | 55.2105万人民币 |
| 郭文生 | 自然人 | 29万人民币 |
| 成都市安链科技合伙企业（有限合伙） | 公司 | 15.7895万人民币 |
| 北京盘古创富成长三号投资中心（有限合伙） | 公司 | 5.8318万人民币 |
| 苏州界石若出投资合伙企业（有限合伙） | 公司 | 5.5402万人民币 |
| 上海始创企业管理咨询有限公司 | 公司 | 5.2632万人民币 |
