安比实验室
天使轮
智能合约安全解决方案提供商
关注
已关注
形式验证框架
利用形式化方法验证智能合约的正确性和安全性,通过数学证明机制确保合约逻辑无缺陷;创新点在于整合了基于定理的验证模型和自学习适应系统,可自动处理合约行为规范,适用于复杂合约场景。
符号执行引擎技术
基于符号执行理论的智能合约漏洞检测技术,通过程序路径探索和状态空间建模,自动发现重入攻击、整数溢出等漏洞;创新点在于结合了上下文感知规则和优化启发式算法,减少路径爆炸问题,提升检测精度和效率。
融资次数
1
员工数量
小于50人
专利数量
10
经营范围
一般项目:技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广;技术进出口;软件开发;软件外包服务;企业管理咨询;会议及展览服务;广告设计、代理;工业设计服务;软件销售;信息技术咨询服务;数据处理服务(除依法须经批准的项目外,凭营业执照依法自主开展经营活动)
主营业务
提供智能合约安全审计服务
公司全称
苏州链原信息科技有限公司
公司类型
有限责任公司(自然人投资或控股)
注册资本
¥261万
成立时间
2018-04-12
法定代表人
郭宇
电话
0512-62622147
邮箱
peiling.yan@secbit.io
网址
地址
苏州工业园区若水路388号E1005室