ERT:MDUKEY节点介绍之CertiK——致力于为区块链生态提供安全保护

CertiK成功竞选MDUKEY主网的验证节点已有三个多月，一直都在积极参与网络的建设与治理。CertiK是一家国际知名的区块链安全公司，致力于应用形式化验证技术，为智能合约和区块链生态提供安全保护，同时提供安全咨询与服务。往后Certik将继续与其他节点一起，贡献网络资源，与其他验证人共同维护MDUKEY生态愿景的安全运转。

CertiK成为MDUKEY验证节点之一，加强了MDUKEY主网的安全性，提高了网络服务的效率。对于双方来说，也是两种共识社区之间的一次交流，本次合作也为各自愿景的落地拓宽了道路。

AMD 全部 Zen 2 处理器寄存器存在漏洞，攻击者可访问敏感信息:7月25日消息，Google 信息安全部门发现 AMD 处理器寄存器漏洞（CVE-2023-20593），影响全部 Zen 2 处理器，攻击者可在虚拟机内监听宿主机数据。其中该漏洞在特定的微架构情况下，使 Zen 2 处理器中的一个寄存器可能无法正确地写入 0，导致来自另一个进程或线程的数据被存储在 YMM 寄存器中，可能允许攻击者访问敏感信息。目前 AMD 已发布微码补丁更新，如果无法应用更新，可以设置chicken bit DE_CFG，但可能会带来一些性能损失。[2023/7/25 15:57:02]

关于CertiK

a16z发文介绍渐进式权力下放框架，先将产品分割为MDU逐步进行调整:1月12日消息，a16z Crypto发文介绍渐进式权力下放框架，称去中心化是将控制和决策从一个集中的实体转移到去中心化网络，但权力下放并不容易，该框架可用于指导规划未来的权力下放。[2023/1/13 11:09:10]

CertiK(?https://certik.io?)由耶鲁大学及哥伦比亚大学教授携数十年科研成果联合创立，团队技术实力雄厚。CertiK应用最新的形式化验证技术，将智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明区块链协议、超级节点、智能合约等软件没有安全漏洞、无法被黑客攻破，以此为区块链及智能合约提供安全保护。CertiK的核心产品为CertiKOS防黑客操作系统，已经为超过150家企业级用户提供安全咨询与服务，截至目前，CertiK已经累计保护了超过62亿美元的资产免受损失。

MDX突破6.3美元关口 日内涨幅为10.87%:火币全球站数据显示，MDX短线上涨，突破6.3美元关口，现报6.3105美元，日内涨幅达到10.87%，行情波动较大，请做好风险控制。[2021/2/20 17:34:00]

目前，CertiK的主要业务包括智能合约的形式化验证、渗透测试及公链安全定制等服务，团队计划将推出infra层面的节点安全服务，为区块链生态提供可信赖的基础架构运维平台以及链上数据追踪等深度安全保障。币安实验室曾向智能合约验证平台CertiK投资，投资额达数百万美元。

CertiK由BinanceLabs、DHVC、FBG、光速中国、经纬中国、比特大陆、策源创投等全球领先的投资者共同孵化投资，已与Binance、Kucoin、OKEx和Huobi等世界顶级数字资产交易所，以及NEO、ICON、Terra和QuarkChain等公链建立了战略合作伙伴关系，并已经对BNB,Terra,Crypto.com，TUSD和USDK等多个主要项目进行了安全审计。

关于MDUKEY

MDUKEY的愿景致力于打造“流量2.0”平台，通过区块链技术一改之前流量的所有权益均由平台把控的高度中心化模式，选择将数据的交易权、定价权以及交易收益均归还给个人。同时，购买数据的企业与售卖数据的用户之间形成“点对点交易”的关系，企业将不再存有数据真实性的疑虑。

MDUKEY可以有效解决当前数据流量市场所面临的几个问题：1.流量贵、引流困难；2.数据定价不透明；3.个人隐私数据易被泄露；4.用户丢失数据收益权；5.数据交易的信任问题；6.KYC成本高。

MDUKEY团队成员大多来自阿里巴巴、花旗银行、万向区块链等公司，成员曾多次为国际顶级开源社区(Cosmos/Tendermint）贡献代码。创始人韩元桢表示未来数据会从中心化模式走向让用户真正控制自己的数据的模式，这就是MDUKEY要做的事。

标签：ERTcertikCERCERTKnoxstertokencertik币价Asia Influencer Platform0xcert

NEAR热门资讯