链安科技智能合约安全审计服务接受OKB兑换

成都链安科技作为OKex著名交易所指定的智能合约安全审计公司，今日已正式接受OKB兑换智能合约审计费用。目前链安科技接受的数字货币有两种，包括OKB、ETH。

 关于OKB

OKB 通用积分（以下简称 OKB）是由 OK Blockchain 基金会发行的全球通用积分，OKB 初期基于以太坊 ERC-20协议发行，未来会转移到自研的公有链之上。OKB 基金会和 OKEx 将建立战略合作关系，把 OKB 建设成 OKEx 生态中的重要组成部分，未来会应用在 OKEx 平台和 OKEx 投资的各生态链项目之中。

  关于链安科技

 

成都链安科技有限公司，专注区块链安全领域，总部位于成都。其核心技术为形式化验证，该技术已在民航、军事领域使用多年，是国内唯一一家掌握该技术的公司。

 

VaaS（Verification as a Service）形式化验证平台，是一套针对多个区块链平台（EOS、ETH等）智能合约形式化验证工具，采用形式化验证方法对智能合约进行“军事级”的安全审计，可有效防止代码逻辑漏洞和安全漏洞，确保智能合约程序的安全性。VaaS平台的“一键式”自动化智能合约安全审计工具可自动、快速、准确地检测出10多种已发现的以太坊合约漏洞，让区块链更安全。