CertiK成功竞选MDUKEY主网的验证节点已有三个多月，一直都在积极参与网络的建设与治理。CertiK 是一家国际知名的区块链安全公司，致力于应用形式化验证技术，为智能合约和区块链生态提供安全保护，同时提供安全咨询与服务。往后Certik将继续与其他节点一起，贡献网络资源，与其他验证人共同维护MDUKEY生态愿景的安全运转。
CertiK成为MDUKEY验证节点之一，加强了MDUKEY主网的安全性，提高了网络服务的效率。对于双方来说，也是两种共识社区之间的一次交流，本次合作也为各自愿景的落地拓宽了道路。
关于CertiK
CertiK (https://certik.io) 由耶鲁大学及哥伦比亚大学教授携数十年科研成果联合创立，团队技术实力雄厚。CertiK应用最新的形式化验证技术，将智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明区块链协议、超级节点、智能合约等软件没有安全漏洞、无法被黑客攻破，以此为区块链及智能合约提供安全保护。CertiK的核心产品为CertiKOS防黑客操作系统，已经为超过150家企业级用户提供安全咨询与服务，截至目前，CertiK已经累计保护了超过62亿美元的资产免受损失。
目前，CertiK的主要业务包括智能合约的形式化验证、渗透测试及公链安全定制等服务，团队计划将推出infra层面的节点安全服务，为区块链生态提供可信赖的基础架构运维平台以及链上数据追踪等深度安全保障。币安实验室曾向智能合约验证平台CertiK投资，投资额达数百万美元。
CertiK由Binance Labs、DHVC、FBG、光速中国、经纬中国、比特大陆、策源创投等全球领先的投资者共同孵化投资，已与Binance、Kucoin、OKEx和Huobi等世界顶级数字资产交易所，以及NEO、ICON、Terra和QuarkChain等公链建立了战略合作伙伴关系，并已经对BNB, Terra, Crypto.com，TUSD和USDK等多个主要项目进行了安全审计。
关于MDUKEY
MDUKEY的愿景致力于打造“流量 2.0（Traffic 2.0）”平台，通过区块链技术一改之前流量的所有权益均由平台把控的高度中心化模式，选择将数据的交易权、定价权以及交易收益均归还给个人。同时，购买数据的企业与售卖数据的用户之间形成“点对点交易”的关系，企业将不再存有数据真实性的疑虑。
MDUKEY可以有效解决当前数据流量市场所面临的几个问题：1. 流量贵、引流困难；2.数据定价不透明；3.个人隐私数据易被泄露；4.用户丢失数据收益权；5.数据交易的信任问题；6.KYC成本高。
MDUKEY团队成员大多来自阿里巴巴、花旗银行、万向区块链等公司，成员曾多次为国际顶级开源社区(Cosmos/Tendermint）贡献代码。创始人韩元桢表示未来数据会从中心化模式走向让用户真正控制自己的数据的模式，这就是MDUKEY要做的事。
75
73
65
60
58
