Certik自动化智能合约验证程序项目摘要.PDF

Certik 自动化智能合约验证程序 项目热度 项目风险 投资报酬 项目摘要 高 中 中 CertiK为全自动化智能合约与软体验证程序，运用标签化的方 式快速验证代码中的潜在漏洞，为项目以及软体开发者强化产 项目资讯 品对于骇客攻击的抵御能力 。 官方网站 ： CertiK 白皮书 ： White Paper 产业分析 项目种类 ： 验证程式 区块链产业从2015年开始迅速成长，自从以太坊的推出后许多 MVP ： 有 开发者在其区块链上架设自己的去中心化应用程式，去除比特 是否开源 ： 否 币整体代币经济市值在2018年初来到5000亿美元(图一) ，其 中，智能合约成为了驱动代币经济的主要工具之一，使用者透 募资资讯 过满足撰写好的条件进而触发合约内容，但这样的设计衍生出 代币缩写 ： CTK 许多问题： 代币种类 ： 未知 募资代币 ： 未知 • 程式漏洞：2016年，一名骇客透过智能合约中的漏洞 硬顶 ： 未知 攻击以太坊上一个名为 “The DAO” 的应用程式，盗 募资比例 ： 未知 取当时市值约7000万美金的以太币，因为一旦程式上 是否锁仓 ： 未知 到区块链上，管理者便无法即时停止智能合约的运作， ICO 时间 ： 2018-June (预计) 所以任何程式内的漏洞都可能会造成难以估计的损失。 • 验证困难：目前并没有企业提供标准化的代码验证服 务，虽然有其他区块链项目，如Quantstamp ，可以进 行程序验证，检视代码是否有漏洞，但目前仍无法在短 时间内快速完成 。 • 缺乏效率：目前有许多部落客或网站以个人名义在进行智能 合约的审视，但以人工的方式进行审核非常没有效率，并且 外部人员无法检视其审核方式 。 单位: 美元 来源: Coinmarketcap 图一：2017~2018 年代币经济市值 CertiK希望能运用区块链技术以及专业化模式将代码验证自动 化，在整体代币经济市值提升时同时保证其安全性 。 商业模型分析评分[ 3.86 / 5.0 ] CertiK特殊的演算法将智能合约拆解成不同部分进行验证，如此一来能更有效率的进行分工，提升验 证速度与效率，透过内部的验证引擎达到全自动化的验证机制，项目方也希望能打造一个生态圈让 矿工能提供算力验证智能合约，同时纳入外部验证引擎提升验证准确率，并使用平台上的原生代币 CTK作为奖励机制，故项目方设计了三位不同的角色作为这个生态圈的基石： • 奖金猎人：当系统从顾客手中接到新的审核案件时，深 度学习引擎会透过标签化(Labeling)将长长的代码分割