- 中文名称
- CTK
- 英文简称
- CTK
- 英文全称
- CertiK
- 核心算法
- 发行时间
- 2020-10-23
- 众筹价格
- 上架平台
- 18家
- 基础链
- 共识机制
- 区块时间
- 挖矿方式
- 流动性挖矿
- 挖矿奖励
- 官网链接
- https://certik.org/
- 区块浏览
- 区块站1
相关介绍
ertik(CTK币)致力于应用形式化验证技术,为智能合约和区块链生态提供安全保护。Certik采用了形式化验证将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性。
因为整个演算过程符合严谨缜密的数学逻辑,所以Certik检验过的结果很难被黑客攻克,且自动化验证也降低了智能合约的验证费用。Certik已获耶鲁大学,丹华资本,FBG,光速中国,Bitman,币安,OK等很多著名顶级机构种子轮融资。
CTK代币应用场景:
为智能合约交互支付手续费;
为参与网络共识进行代币抵押;
参与安全性预言机网络的奖励;
CertiKShield的资产抵押与损失报销;为网络治理进行投票。
CertiK如何运作?
区块链安全问题之所以棘手是因为只能合约有以下几个特性;
第一,源码透明:开源的代码,会让很多只能合约的脆弱环节暴露在黑客面前,将他们的攻击变得更加容易。
第二,部署不可逆:智能合约一旦发布在区块链上,无法再进行修改。
第三,线上测试开销大:如果在智能合约上线后再进行测试,将会造成很大的资源浪费。
第四,测试难以完全覆盖:不管什么样的系统,测试总是难以覆盖到全部的功能逻辑。
CertiK的代币逻辑
CTK代币是CertiK系统参与者之间的激励手段和公共事业燃料。
CertiK网络由CertiK社区提供支持,并创建一种去中心化式的工作方式,每个人都可以构建证明,验证证明,改进求解器算法,并提供新的验证手段。 CertiK网络通过五个不同的角色和CTK代币将整个社区聚集在一起:
用户(Customers):可以向CertiK平台的网络提交需要验证的程序/系统,并提供智能合约的CTK激励。
赏金猎人( Bounty hunters):为了CTK奖励,分享他们的计算资源,构建子任务并广播,然后等待验证证明。只有拥有一定数量的CTK的用户才能担任此角色。
检查者(Checkers):定期记录交易以及检查提交的检查任务,在智能合约通过验证后会获得一部分CTK奖励。
社区贡献者( Sages):作为社区和CertiK网络的发动机,他们负责更新和研发测试引擎,他们的引擎会通过A / B测试进行评估,根据评估结果获取相应的CTK奖励。
CertiK项目优势
CertiK能检测到开源代码的安全漏洞,从而告知开发人员,以至于在智能合约发布前就保证了安全性。依据数学原理的自动化推演,避免了人为检测的思维局限,而自动化验证也让智能合约验证的费用降到了最低。
上架交易所&行情数据
相关钱包
-
库神钱包 支持:硬件钱包
库神钱包英文名称库神钱包,库神钱包隶属于北京库神信息技术有限公...
-
Trezor 支持:硬件钱包
TREZOR是一个硬件钱包,它具有高安全性,同时又不会以牺牲方便性为代...
-
Ledger 支持:硬件钱包
比特币硬件钱包制造商Ledger是数字货币安全领域技术领先的公司之...
-
币信 支持:比特币钱包,手机钱包
币信Bixin是一站式区块链钱包、社交、交易、挖矿平台,币信是比特...
-
AToken 支持:手机钱包
AToken钱包一个钱包,所有币种支持BTC, USDT, ETH, EOS, ETC等数十...
-
Coinbase Wallet 支持:手机钱包
Coinbase钱包,Coinbase Wallet是由Toshi钱包更忙而来,Coinbase Wa...
核心团队
发展历程
- 2020-10-23
-
CTK币正式发行上线。
-
CertiK是什么审计公司?CertiK审计公司全面介绍
说起CertiK,想必很多币圈的投资者都有听说过这一代码审计公司,它是全球三大审计公司之一。很多币圈新手可能还不太了解这...
- 区块链知识 来自:玩币网 2022-07-25
- 3382
-
CTK币总量多少?CTK币发行量介绍
CTK币的英文全称是CertiK,它是币安投资的Cosmos生态板块的一种数字货币,有很多投资者对于这一数字货币还不太了...
- 数字货币知识 来自:玩币网 2021-12-01
- 13932
-
CTK币发行价多少?CTK币发行价格和发行时间介绍
CTK币是ertiK Chain平台的原生功能型代币,ertiK Chain平台是一个为区块链提供安全保障的区块链基础设...
- 数字货币知识 来自:玩币网 2021-12-01
- 7613
-
CTK币/Cryptyk是什么?CTK官网、团队、白皮书介绍
CTK/Cryptyk是什么?项目介绍Cryptyk正在从单一供应商构建世界上第一个完整的网络安全和云存储解决方案。利用...
- 数字货币知识 来自:玩币网 2019-08-07
- 16584
-
SCTK币/SharesChain是什么?SCTK币交易平台、官网介绍
SCTK/SharesChain是什么?项目介绍SharesChain致力于构建一个专注于资产登记、管理和流转的公链网络...
- 数字货币知识 来自:玩币网 2019-07-24
- 3763
-
Minecraft禁用NFT!Animoca Brands创始人痛批虚伪想法偏颇
Minecraft官方上周三公告禁止在游戏、服务器中使用NFT与区块链相关插件后,Animoca Brands共同创办人...
- NFT 来自:玩币网 2022-07-25
- 3193
-
Messari:1inch Q2交易量超越Uniswap 成上季DEX龙头
加密货币分析机构Messari近期发布2022年第2季1inch状态报告显示,今年第2季,各大去中心化交易所(DEX)的...
- DeFi 来自:玩币网 2022-07-25
- 4146
-
币安赵长鹏于香港起诉彭博中文出版商:报导虚假诽谤
赵长鹏今(25)日于香港高等法院原讼法庭,起诉《彭博商业周刊》/中文版出版商现代传播涉及诽谤,称虚假的报导令原告感到痛苦...
- 名家专栏 来自:玩币网 2022-07-25
- 3568
-
以太坊域名服务交易火爆一度冲上OpenSea榜二!ENS币价复苏
以太坊域名服务(ENS)近期交易额激增,最近30日以来,交易额激增260.91%至1761万美元,更一度成为OpenSe...
- 竞争币资讯 来自:玩币网 2022-07-25
- 2116
-
所有币安IEO现均报酬仍有31.8倍 为交易所LauchPad ROI榜首
据最新区块链研究数据,币安(Binance)的Launchpad位列目前投资报酬率(ROI)最高的十间加密货币代币募资平...
- 交易所新闻 来自:玩币网 2022-07-25
- 1702
相关新闻/资讯
相关快讯
- 2022-07-11
-
【CertiK:Parallel Finance遭受重入攻击,损失约200万美元】
7月11日消息,CertiK安全团队监测到DeFi平台Parallel Finance遭受重入攻击,导致了约200万美元的损失。 此次事件中攻击者使用大量的Doodle NFT借入WETH,CertiK分析如下:黑客利用三起单独的闪电贷进行了攻击。合约中的重入漏洞导致智能合约认为没有需要偿还的借款,因此攻击者可以在不偿还任何WETH的情况下提取NFT。攻击者多次重复该步骤后将资金转移至Tornado Cash,通过使用混淆工具阻断资金追踪。 该项目在此前已接受过慢雾的智能合约审计,但该漏洞并未被检测出。目前Parallel Finance正在接受CertiK的第二次审计,但黑客已完成攻击,此时的审计为时已晚。 截至发稿时,Parallel Finance还未对本次攻击事件作出声明或回应。
- 2022-07-10
-
【CertiK:NFT项目WitLink疑似发生Rug Pull,已删除官网社交帐户】
7月10日消息,据CertiK检测,NFT项目WitLink疑似发生Rug Pull,该项目删除了Twitter帐户、Discord、Facebook、Instagram和网站。
- 2022-07-01
-
【CertiK:P2E 视频游戏 Haunted Space 的 Discord 服务器遭入侵】
7月1日消息,据CertiK预警显示,P2E视频游戏Haunted Space的Discord服务器已被黑客入侵,黑客已锁定所有聊天频道并发布网络钓鱼链接,提醒用户请勿点击。
- 2022-06-25
-
【CertiK:加密项目DMC发生Rug Pull,代币价格下跌94%】
6月25日消息,CertiK 监测显示,加密项目 DMC 发生 Rug Pull,代币价格下跌 94%,部署者在 17 天前铸造了代币,将它们送到另一个钱包,然后出售。
- 2022-06-23
-
【CertiK:pandorachainDAO项目遭受闪电贷攻击】
金色财经报道,据CertiK安全团队监测,北京时间2022年6月22日19:52:57,pandorachainDAO项目遭受闪电贷攻击,导致了价值约12.8万美元的资产损失。
- 2022-06-22
-
【CertiK:LV PLUS项目已被确认为跑路项目】
金色财经报道,据CertiK安全团队监测,LV PLUS(代币LVP)项目已被确认为跑路项目。北京时间2022年6月21日,该项目因rug pull攻击损失了约150万美元。 LV PLUS声称自己是 "LV Metaverse (推特账号@LV__Metaverse)"的一部分。目前该项目还没有在任何社交平台上公开承认这次攻击,但还在持续发布有关该币交易的定期公告。 LVP代币与路易威登品牌没有任何关系,而且收取18.7%的消费税以及高度集中化的机制都表明该项目是个骗局。CertiK在此提醒大家:投资需谨慎,请尽量选择正规审计公司审计过并且做过背景调查及验证的项目以便更好控制风险。
- 2022-06-14
-
【Fswap遭受黑客攻击,目前正配合Certik处理黑客问题】
据官方消息,Fswap于6月13日22:08分遭受黑客攻击,Fswap正在和Certik积极配合处理黑客问题,目前与黑客方尝试通过区块链进行加密沟通,但黑客方加密信息出现错误,正在尝试继续沟通。这次为非被攻击项目漏洞事件,是恶意借贷攻击事件,黑客从BISWAP借贷至FSWAP进行交易攻击,FSWAP通过certik全合约审计,我们正在与certik沟通配合进行处理,更多消息请持续关注Fswap官方推特。
- 2022-06-13
-
【CertiK:攻击者于一个地址铸造了1.5亿个SHELL代币】
金色财经报道,据CertiK安全团队监测,北京时间2022年6月11日12:30 ,SHELL代币价格下跌超过56%。攻击者于一个地址铸造了1.5亿个代币,随后将其转移并在12次交易中将其售出。目前约有价值18万美元的代币已被提取,其余资金仍在以下地址:0x5ba8c3f55edc13c641d8612cd37ca89dc4e2cfb2
- 2022-06-13
-
【CertiK:HEGE Coin已被确认为Rug Pull跑路项目】
金色财经报道,据CertiK安全团队监测,HEGE Coin已被确认为Rug Pull跑路项目。北京时间2022年6月12日5:54:05 , HEGE代币的价格暴跌超过97%。目前损失金额约为43万USC-USD (约为43万美元)。
- 2022-06-09
-
【Certik:BAYC Discord 服务器攻击者可能参与了之前的网络钓鱼攻击】
金色财经报道,6月4日,Bored Ape Yacht Club (BAYC) Discord 服务器遭到入侵,网络钓鱼诈骗针对持有 BAYC、Mutant Ape Yacht Club (MAYC) 和 Otherside NFT 的NFT 收集者。根据安全公司 Certik的分析,从该公司的账户来看,攻击者可能参与了以前的网络钓鱼攻击,该网络钓鱼网站是“官方项目网站的抄本,但存在细微差别。(bitcoin.com)
