专题研究N419：币安投资项目之二十二Certik
专题研究N419：币安投资项目之二十二CertiK
按：链闻收集了币安官方的投资公告及公开信息，整理了目前币安公开宣布投资的项目或团队，并加入了部分获得币安智能链生态资助的项目，绘制了币安的投资版图。
整体来说，币安投资布局的赛道大致有 DeFi、隐私保护、CeFi 与支付、安全、基础设施、数据分析与工具、娱乐、众筹与社区。
安全相关投资项目：这次通过推特来研究CertiK项目：CertiK，@certik_io，官方Twitter #CertiK 。将学术界最先进的技术引入企业，以确保您的正确性和安全性#blockchain专案，
Request an audit →certik.io，2018年5月 加入，
2,650 正在关注，
1.8万 关注者；
巴比特讯，11月30日，区块链安全公司CertiK宣布完成8000万美元的B2轮融资，再次刷新区块链安全赛道单笔最大融资额。该轮融资由红杉资本领投，Tiger Global、高瓴创投、Coatue Management、顺为资本等老股东持续跟投。CertiK在四个月内共完成三轮融资，总融资额超过1.4亿美元，估值近10亿美元。
8月17日 9:48
链闻消息，区块链安全审计机构 CertiK 完成 2400 万美元 B+ 轮融资，Tiger Global 和高瓴创投共同领投，所筹资金用以支持 CertiK 新产品 Skynet Premium 的发布。Skynet Premium 是 Certik 新近推出的服务，可利用机器学习实时检测合理的合约和潜在威胁，并在积分榜上发布分数。
链闻此前报道，7 月份 CertiK 完成 3700 万 B 轮美元融资，雷军创立的顺为资本与 Coatue 联合领投。
CertiK 是一家区块链安全公司，于 2017 年由耶鲁大学计算机系主任邵中教授、哥伦比亚大学计算机系顾荣辉教授共同创建，通过形式化验证技术为智能合约和区块链应用提供代码安全解决方案，合作伙伴包括以太坊基金会、币安、OKEx、火币、比特大陆等。
2020 年 9 月 CertiK 基金会宣布正式开源 CertiK Chain，开放使用的产品包括 CertiK Chain、去中心化 CertiK 安全预言机、用于编写安全智能合约的安全编程语言和编译器工具链 DeepSEA 工具链。
置顶推文 ：价值超过1.5亿美元#NFTs到目前为止已经交易。
受欢迎的#ERC721标准就在这里，这是您应该知道的一切以保持领先地位！
CertiK101#blockchain#education
🔽单击文章以了解更多信息：https://certik.io/blog/announcements/Certi101nonfungibletokens#home，下午9:35 · 2021年1月5日
随着NFT在2020年末经历复兴，随着现代项目利用流行的ERC标准来处理更复杂的用例，包括NFT保险库，NFT抵押，甚至NFT供电的贷款，涉及这些努力的智能合约将受到更高的要求-风险和金钱攻击，考虑到整个NFT市场现在的ETH价值超过2亿美元。
我们预计成熟的NFT项目会使审计行业泛滥成灾，以寻求顶级的安全性来补充其各自的业务模型，同时始终保持其用户群的完整性。
在CertiK，我们不仅对NFT进行了宣传，而且实际上我们研究了构成这种自主所有权合同的机制和功能，以便在确保更广泛的Web3场景时保持领先地位。
要了解有关NFT的更多信息，请访问：http : //erc721.org/
在过去的几年中，我们已经审核并确保了150多个智能合约和25多个整条链，而我们的安全专家为顶级行业的先驱者（包括但不限于Binance，Tera，Kava）执行了20多次VAPT ，e-Money，Fetch.ai，Akropolis，Bancor，Shapeshift和Blockstack。
我们很高兴地宣布CertiK加入了DeFi游戏联盟
@AnRKeyX
增强行业安全性！https://certik.io/blog/announcements/Certikjoinsthedefigamingalliancetoboostsecurityintheindustry#home
$ CTK可以在以下用例中使用：
✅耗气量#smartcontract运作
✅争取网络共识
✅#SecurityOracle网络奖励
✅抵押品和报销#CertiKShield
✅社区投票#decentralized治理，上午5:15 · 2021年1月21日
“作为网络安全领导者，我们必须创造影响力的信息，因为安全是一种文化，您需要开展业务并成为该安全文化的一部分”
布兰妮·霍默茨海姆___
CertiKFoundation是一个致力于组织发展的非营利组织#CertiKChain， 首先#security定向的#blockchain在太空中。
看看我们的#SecurityLeaderboard最新的#DeFi安全见解！
是否想首先了解即将进行的审核，阅读原始教育内容和行业分析？
➡️放下我们的媒介并关注#CertiK保持领先趋势。http://certik-io.medium.com
将您要查看的项目标记为我们的下一个Spotlight客户端
我们很高兴地宣布
@BitBotProtocol
已成功审核其LP股份#smartcontracts与CertiK专业服务。
在此处阅读完整的审核报告：https://github.com/certikfoundation-shared/CertiK-Audits/blob/master/reports/REP-BitBot-15_01_2021.pdf
我们很高兴成为DeFi游戏联盟值得信赖的安全提供商，请通过以下网址了解更多信息
@AnRKeyX
值得信赖的（和集中式）交流，例如
@binance
输出数据，例如定价Oracle
@bandprotocol
☝️同样的故事，数据指标由#CertiK#Skynet被引用#SecurityOracle提供安全见解。
定价Oracle在#blockchain发送外部（链外）定价数据进出智能合约。
🌟同样，#CertiK#SecurityOracle传达有益于用户，项目和#smartcontracts在#defi。
DidYouKnow CertiK专业服务已获得价值超过$ 8B的数字资产，#smartcontracts和智能分布式系统？
➡️访问http://certik.io并学习如何🛡️今天保护您的下一个冒险！https://certik.io/
CertiK以前称为“ QuickScan”#Skynet利用最先进的技术来加速#decentralized#security为了#defi世界。
🤩数据端点也可以公开获得#SecurityOracle操作员！
前威廉·辛曼（William Hinman）表示#SEC公司财务部门#ETH在存在与不存在的叠加#security与此同时。
CertiK Security Oracle可以在任何EVM兼容的智能合约上实施。它提供了一个安全评分，开发人员可以用来授权用户在进行资金交易之前做出更明智的决策。
像这样的项目
@Helmet_insure
已经在利用这项技术@http://certik.foundation
CTK持有人可以通过向#CertiKShield抵押池。受Shield保护的项目已通过CertiK审核，这意味着您可以安心赚取利息。
从这里开始：
https://wallet.certik.foundation
可信数据，未经操纵；透明的过程，没有黑匣子；注重安全性；总是。
🤩通过以下方式提升项目的安全性
@certikorg
今天，成为我们的后起之秀#SecurityLeaderboard明天！
“我们为我们的合作伙伴和分支机构为将更安全的系统浮出水面而感到骄傲，消除了恶意攻击的风险，这种恶意攻击经常使把资金委托给更广泛的金融科技生态系统的日常人员利用。”
一般估计#cybercrime到21年底将花费世界$ 6T！
💢#CertiK致力于进一步增强针对恶意行为者的全球防护，重点关注核心问题，即#fintech本身。
CertiK与之合作
@Helmet_insure
在加强#DeFi安全！
🧐🧐我们的#SecurityOracle， 供电#skynet，将为Helmet项目提供实时的链上安全监控。看看我们的#SecurityLeaderboard：http://certik.foundation/
这好像是
@Microsoft
和
@EYNews
已联手在区块链中促进区块链支付🎮#gaming行业！
➡️您想付款吗💳为您最喜欢的游戏和游戏资产#crypto？
观看当前的牛市行情应该提醒我们，我们来了，我们还早，而这仅仅是开始！🚀
👁️#Crypto不应将其视为旨在带来利润的金蛋，而应将其视为不断成熟的可能性！
令睡眠更充实的指南：
1）购买$CTK
2）前往DeepWallet中的“盾牌”部分，
https://wallet.certik.foundation
3）取出#CertiKShield计划针对不可预见的区块链安全事件覆盖您的加密资产。
4）睡个好觉
我们很高兴地宣布，我们已审核
@galaxydefi
！
恭喜，并祝愿他们的推出
@DefiEmerge
今天！
立即保护您的资产#CertiKShield
🏖️您可以轻松地购买盾牌，并有资格获得丢失或被盗密码的补偿。从未如此简单。
更多详情，请访问http://shield.certik.foundation
CertiK 101：智能合约，
👉点击这里阅读文章：https://medium.com/certik/certik-101-smart-contracts-1ef5b8b31d8d
2020年：DeFi年，
随着DeFi和更广泛的加密行业以前所未有的速度增长，安全性比以往任何时候都更加重要。
这是我们呼吁所有寻求创造更加安全的未来的建筑商的号召。
加密货币现在价值1万亿美元！
您知道新加坡政府已经启动了一项#blockchain 890万美元的创新计划准备为DLT的未来提供动力？
🔽阅读更多：https://techcrunch.com/2020/12/06/singapores-government-launches-blockchain-innovation-program-with-8-9-million-in-funding/?guccounter=1&guce_referrer=aHR0cHM6Ly90LmNvLw&guce_referrer_sig=AQAAAJCivDnyiTfWeSDpstsFelBSlr-lTeZY6HfNhO-r7cM1R5ufby4f2QqRKzqq-usPx4hKytFW-dBvqlTkA1aMPJmBQpziTGWMdVfw8s0kqo8qTLxmXjM6BKmwdE_C-dI_m--uxC0yOt7__aPYejulSiv578D18s_8kZM6E2w0Z0OA
“招股说明书说公司可以考虑使用加密和区块链”
👉阅读更多：https://coindesk.com/airbnbs-ipo-prospectus-says-firm-may-consider-crypto-and-blockchain通过
@CoinDesk
安全是集中式产品和分散式技术的混合体
@certik_io
@certikorg
（$ CTK）在这里是为了确保我们安全#DeFi空间！详细了解他们的工作和新推出的产品#CertiKChain：https://boxmining.com/certik-chain-ctk/
两种方法，一个共同的目标：确保安全#blockchain生态系统。
同时
@certik_io
专注于广泛的常规安全方法，
@certikorg
正在努力通过创新来分散区块链安全性
“如果安全至关重要，那么计算机将永远不会开机，更不用说将其连接到拥有数百万潜在入侵者的网络中了。”丹·法默
客户聚焦🌟我们很高兴地宣布
@cubicfinance
已成功审核了与
@certik_io
点击此处查看完整报告：https://github.com/cubicfinance
2020年是我们所有人的游戏规则改变者，强调了对更大目标的需求#cybersecurity在处理的智能系统中#personaldata和#micropayments。
迈入数字时代，我们希望每个人都更加灵活，健康和安全
DeFi的黑客攻击和漏洞利用证明了这一大流行并不是加密货币投资者今年面临的唯一威胁。
🕳️随着DeFi和Crypto的发展，安全将成为人们关注的焦点。
🙃查看我们的2020年最大黑客回顾：
传统合同发行人面临#smartcontracts作为进入数字领域的必然途径，安全性是纸质合同和基于代码的合同之间信任关系的重要组成部分。
我们已经深入
@gameDAOco
，
@akropolisio
，
@DarwiniaNetwork
，
@oceanprotocol
和
@MXC_Exchange
更好地理解为什么热门项目会
@substrate_io
作为现代功能强大的区块链的首选框架。
阅读更多👇https://certik-io.medium.com/popular-substrate-projects-building-in-2020-and-their-frameworks-6589d42408ab
以下内容来自国内媒体币乎 链闻关于本项目的一些补充
去中心化链上资金保险池CertiKShield立即宣布创建Nexus Mutual原生代币WNXM 的Shield保险资金池，为WNXM持有者提供CertiKShield保险服务。
从12月15日起，所有WNXM的个人持有者同样可以加入CertiKShield，购买所需的WNXM Shield。当其资产产生丢失、被盗或无法访问等情况，CertiKShield可为其提供补偿。
CertikShield作为基于会员资格的去中心化资产保障计划，致力于保护持有以太坊、币安币、USDT或任何其他加密货币的成员的资产。
它可通过CertiK Chain的链上管理系统来补偿在区块链网络上因被盗等原因导致无法追回的加密资产。
为了资产安全，加入CertiKShield可以更好地保护你的项目或个人加密资产。
CertiK所开发的一系列安全产品覆盖了区块链生态系统的所有安全需求：
安全审计→安全预言机→CertiK快速扫描→CertiKShield。
CertiKShield提供的安全保障更是可以为你的团队及社区成员免去后顾之忧。
自2020年11月25日CertiKShield正式上线，包括领袖级DeFi项目Kava，MXX，HARD，CAKE在内的所有区块链项目以及其参与者们均可得到最优的安全保障。
CertiK快速扫描=即刻的安全分析，
结合CertiK开发的安全预言机，通过实时的安全检测为智能合约提供实时的链上安全评估。
所有用户能够在与协议进行交互之前评估交互方可能存在的任何潜在风险，从而最大程度地降低安全隐患。
更重要的是，快速扫描作为CertiK独立开发的最新工具，也可用于评估智能合约的安全性并提高安全预言机建议的可靠性与可信度。
CertiK快速扫描安全性评分由静态和动态技术的结合实现，技术团队将其称为“安全性基元”。
它某种程度上类似于安全服务端点，但安全性基元是用于扫描智能合约的。
每个安全性基元都会根据智能合约评估特定的安全区域，并在0-100分之间评估出最为科学合理的安全分数。
CertiK的去中心化安全预言机由CertiK基金会开发，它的使命是为DeFi项目提供业内领先的软件安全服务，以满足一切的安全需求。其提供的安全分数可用于帮助用户获取安全情报，从而做出重要决策。
安全预言机可以应用于任何支持智能合约功能的区块链平台（如以太坊），为高安全标准的用户群体提供服务。
CertiK链在其业务区块链上部署了安全预言机的公共入口，以接收来自DeFi应用程序的安全查询，为即将进行的交易提供信息。用户可以轻松访问安全预言机、查询即将进行的交易，并获得实时的安全情报。
CertiK去中心化安全预言机建立在CertiK链上。
CertiK链的使命是成为区块链健康生态的守护者。CertiK链将会成为链上智能合约、跨链组件，以及链下安全产品的桥梁与纽带，同时保证了所有去中心化区块链的特征：
去中心化：各个节点运行对等的预言机网络。当处理安全需求时，他们可以选择各自不同的策略；
安全性：CertiK链是一个以安全为核心的区块链网络，它的模块组件经过精心的设计，以确保安全；
不变性：预言机操作人员所执行的一切相关动作都会在CertiK链上进行广播，并记录在局部状态与分布式帐本中；
共识性：CertiK链使用委托权益证明（DPoS）作为共识模型，并有staking和slashing等模块，以保证预言机操作人员的严谨性与专业性；
透明度：所有发布到业务链上的预言机信息都可以凭借CertiK链的交易哈希进行追踪。DeFi项目可以通过查询CertiK链的状态或交易历史记录，以访问深层的信息记录。
CTK是CertiK链上的原生代币，CertiK提出的解决方案都将使用CTK来维护预言机网络的正常运转。
作为 CertiK 自主开发的可用于编写可验证智能合约的新语言， 被选为 Conflux 生态系统扶持项目的其中之一。
继 DeepSEA 编译器支持以太坊、，目前 DeepSEA 编译器 也 已全面支持 Conflux 生态系统！
现在，任何人都可以使用 DeepSEA 编译器在 Conflux 网络上直接编写智能合约。
CertiK 建议通过在 DeepSEA 中构建并完全验证一个 DeFi 合约样本来证明 DeepSEA 的功能。而这一行为的结果不仅证明了“基本安全”合约的可能性，还证明了 Conflux 网络是部署 DeFi 的最安全的场所之一 。
2020 年，CertiK 深耕于区块链安全领域，不仅 CertiK Chain 主网正式上线，伴随着主网上线，CertiK 技术团队更是开发出了一系列的安全服务及工具。
凭借先进的安全技术与端到端的安全服务，C ertiK 此次荣获深链财经 2020 年度“最具影响力安全服务机构平台”大奖！
CertiK 从一开始的默默无闻，到现在——已经进行了 369 多次审计，审计了 19.8 万多行代码，保护了超过 100 亿美元的资产免受损失。
除去审计方面的业务，CertiK 在生态系统建设上也有重大更新：CertiK Chain 主网上线并开发出了一系列的安全服务及工具。
2020 年 10 月 24 日，CertiK Chain 主网正式上线。
同年 10 月，作为 CertiK Chain 生态系统的原生代币 CTK 也已正式上线币安。
CertiK 的去中心化安全预言机提供的安全分数可用于帮助用户获取安全情报，从而做出重要决策。
在 Swipe.io 上查看安全预言机：https://certik.foundation/projects/swipe
CertikShield 是一个基于会员资格的去中心化资产保障计划，旨在为区块链网络上丢失或被盗的加密资产提供补偿。
目前，CertikShield 已推出 HARD、KAVA、WNXM、MXX、CAKE 的 Shield 池，为其项目及社区提供保护。
CertiK 快速扫描作为一项 CertiK 独立开发的最新安全工具，由静态与动态双重技术提供支持，并通过安全基元生成安全评分。
在 Swipe.io 上查看快速扫描：https://certik.foundation/projects/swipe
除此之外，CertiK 和 CertiK 基金会还开发了：
：用于编写可验证智能合约的新语言。它是一种新型函数式编程语言，它可通过代码形式充分保证智能合约的安全性并且在部署合约前降低智能合约的安全风险。
CertiKOS：世界上第一个完全被验证的并发式多核操作系统，并且被证明能够完全抵御黑客攻击。它由耶鲁大学团队开发，作为军用级别的飞地，可以安全高效地运行软件程序。
CertiK 虚拟机 (CVM)：由 CertiK Chain 开发的智能合约平台。可以公开智能合约和区块链的安全信息，以前所未有的方式访问、检查、以动态方式确保区块链和智能合约安全性，同时其可与以太坊虚拟机完全兼容。
https://www.chainnews.com/articles/677695607192.htm 致 CertiK 三周年——加密世界的守望者