Codefine好码安全

项目简介

Codefine是针对区块链智能合约及区块链底层代码的代码审计验证产品,为构建可信赖的区块链软件程序提供保障,致力于构建安全的区块链生态系统。

项目愿景

Codefine 致力于使用形式化方法、多维验证、机器学习技术,为区块链智能合约生态提供正确+安全+可用的技术保障,重塑人们对智能合约和区块链安全的信任,提升区块链项目安全性并增加项目价值。

服务内容

形式化验证服务、 智能合约定制开发、 智能合约安全认证、为合约代码提供形式化验证服务、 根据用户需求定制化开发智能合约程序、 权威验证报告, 为合约、交易所、钱包、投资人等提供代码安全评级和顾问服务。

团队合作

团队由中国科学院软件所·计算机科学国家重点实验室(简称“LCS”)作支撑,在程序形式化验证、模型检测、定理证明等方向处于国内领先地位,是一个具有包括3名院士在内的顶级研究团队,采用形式化+非形式化验证相结合的方法,对合约在代码级别进行动态多维度验证。目前已与纸贵科技、铂链、量子链、BCH合约Keoken、虫洞等达成合作,应用在 INK 跨链协议、菩提预测市场合约、Augur合约、Qbao 合约等项目上,并得到业内普遍认可。

更多信息请关注官网http://www.codefine.io/

Leave a Reply