项目简介
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
投资机构
Drops Ventures
Zonff Partners
SNZ Holding
Fission Capital
Spark Digital Capital
ByteSize Capital
BLUE HILL
万币资本
CSP DAO
Cryptomeria Capital
Fundamental Labs
Coatue Management
比升资本
Binance Labs
同舟资本
共识实验室
DFG Capital
IOSG Ventures
One Block Capital
FBG Capital
节点资本
Continue Capital
Coinbase Ventures
比特大陆
BlockVC
Kenetic Capital
Insight Partners
Tiger Global
Advent International
高盛
Sequoia Capital
Lightspeed Venture Partners
标签
为您找到相关结果约 154 个：
加密谷Live
·
硬核丨加密钱包漏洞利用与分析
区块链技术的迅速发展，使得加密资产逐渐成为大众的投资方式之一。全球加密资产规模的高速增长使得钱包成为每一个加密资产拥有者不可或缺的资产管理工具。加密领域里，数字钱包和资金息息相关，越来越多的人意识到了数字钱包安全的至关重要性。被称为“全球黑客的狂欢 Party”的第 28 届 DEF CON ...
链得得
·
全球数字货币总市值较上周下降3.16% | 08.17-08.23
据得得智库数据统计，截至2020年8月23日12:30，全球数字货币市场共有币种6537种。总市值共计$361,532,843,794（约为3615亿美元），本周数字货币总市值与上周相比减少了约118亿美元，跌幅约为3.16%。
金色财经
·
币信矿业CEO刘飞：探索金融场景智能合约化还有很长的路要走
摘要：8月2日，由金色财经主办，阿里云、中科云创、99EX、Asproex、热币、ChainUP、金色算力云首席合作的共为·创新者大会在郑州顺利举办。大会以“助力区块链创新者的超级进化”为主题，围绕创新原力、区块链新风口趋势等话题进行了深入的交流。
加密谷Live
·
硬核丨区块链浏览器可以逃离 DoS 的九阴白骨爪吗？
说到浏览器，大家脑海里蹦出来的一定是“百度一下，你就知道”、“上网从搜狗开始”...... 这些家喻户晓甚至大爷都说的上来的浏览器，是互联网的代言人，更是互联网的入口。 但是如果说有谁和互联网是勾肩搭背的关系，那就是现今如日中天的区块链技术了。互联网改变生活，区块链技术改变互联网。那么毫无疑 ...
加密谷Live
·
深度丨“336 枚 BTC 去哪儿了？”后续追踪，Cashaa 交易所钱包被盗事件进一步分析
Cashaa 是一家总部位于伦敦的加密钱包和银行服务提供商。 安全本该是数字货币钱包的第一生命线。Cashaa 宣称使用“无风险”的支付网关，按理说可以保障资产安全。然而，威胁还是无处不在。7 月 11 日北京时间凌晨 8 点 10 分，CertiK 天网系统 (Skynet) 检查到在比特 ...
金色财经
·
首发｜推特大规模被黑,苹果、亚马逊及美国前总统纷纷中招,专业人士给出哪些防范建议？
特斯拉CEO Elon Musk。如Gemini交易所、Coinbase交易所、币安交易所的CEO赵长鹏、Tron的CEO孙宇晨。彭博社创始人Bloomberg。
加密谷Live
·
安全丨推特大规模被黑，苹果、亚马逊，甚至前总统都被殃及？
“你给我 100 红包，我明儿给你 200 怎么样。” 敢发红包笃定能收到回馈的，怕是只有最信任的人了。法制节目经常会播放一些类似的骗局来警示大家。然而能上当的本质还是在于这两个字：信任。推特被黑事件北京时间 2020 年 7 月 16 日凌晨三点左右，CertiK 安全团队的研究人员检 ...
真本聪RealSatoshi
铸币奖励启动在即，跨链 DeFi 探索者 Kava 如何建设去中心化金融？
Kava 最大的亮点就是将陆续支持「主流跨链资产」的抵押借贷，包括 BNB、BTC、XRP 和 ATOM 等。
加密谷Live
·
硬核丨空手套以太： Balancer 攻击解析
6 月 29 日北京时间凌晨 2 点 03 分，CertiK 天网系统 (Skynet) 检查到在区块 10355807 处 Balancer DeFi 合约异常，安全研究员迅速介入调查，攻击过程浮出水面。 6 月 29 日凌晨 2 点 03 分，攻击者利用从 dYdX 闪电贷中借到的 WET...
加密谷Live
·
项目丨四月份跨链项目重大进展汇总
四月份，跨链赛道技术上没有什么大进展。Cosmos 正在准备 Game of Zones 的一系列对抗性测试网比赛 ，IBC 1.0 的版本目前已经完成 73%，跟上个月对比进度倒退 1%。波卡很可能在 5 月份上线主网测试版，目前公布了 5 家代码审计的公司。IRIS 这个月主要是与其它项目合作，...
PANews
·
周刊 | DeFi项目接连遭遇攻击损失近2500万美元；央行数字货币落地内测
摘要： 央行数字货币首个应用场景落地；Lendf.Me遭攻击累计损失超2469万美元；Libra 发布...
币新区块
·
起底 FCoin 利益相关人名单
核心团队根据此前的报道，Fcoin 的核心团队包括创始人 张健和其妻子 Lynn 。此外，在 2019 年上半年增持 FT 后，共识实验室官方宣布，委派副总裁朱玮出任 FCoin 生态负责人。此前曾有过媒体报道的 FT 生态负责人 Carrie Yang、公链负责人焦锋、FT 社区代表 Ch...
星球日报
加密谷Live
·
项目动态 | CertiK 与 OKEx 旗下交易平台达成战略合作
11 月 22 日，业内领先安全机构 CertiK 与数字资产交易所 CoinAll 达成安全战略合作关系，CertiK 将携手 CoinAll 为区块链行业安全持续保驾护航。 作为新社区平台领航者，CoinAll 是世界顶级交易所 OKEx 唯一子平台，是其旗下首家开放共赢交易平台。它 ...
加密谷Live
·
项目动态 | CertiK 与 OKEX 联合举办全球大学联会
11 月 11 日在哥伦比亚大学，CertiK 与 OKEX 携手举办全球大学联会。联会现场齐聚众多重量级来宾，人潮涌动，场面异常火爆，由于场地限制，部分来宾甚至置身会场外倾听宣讲，此次活动旨在思维的碰撞，共同探讨区块链领域的发展趋势及未来。CertiK 团队联合创始人顾荣辉教授在接受专访时表示 ...
加密谷Live
·
CertiK 对以太坊“伊斯坦布尔”升级的解读
来源 | CertiK 如今，以太坊网络正蓬勃发展，开发人员计划引入新的系统把目前每秒 20 个交易量扩展到每秒数十万交易量，这也正是 21 世纪探索开发区块链的大势所趋。对于智能合约开发人员来说，这意味着需要持续跟踪以太坊更新的情况，了解每个代码的更改形式。听起来这似乎大幅增加了智能合约开发 ...
预言机新星 Band Protocol 登场，将开启区块链大航海时代？
Band Protocol 联合创始人Soravis，他详细介绍 Band Protocol 的愿景、价值和竞争优势等。
加密谷Live
·
HashKey Research：数字资产合规投资渠道全景式概览
作者 | HashKey Capital 来源 | HashKey Hub 社区合规出入金渠道概述 1.1 合规出入金渠道参与者分类 目前合规出入金渠道的参与者分类及流程如下： 参与者多，但并非都和数字资产产生直接关系。如果以客户类型进行分类，也可以分成 toC （直接面 ...
加密谷Live
·
致敬教师节！细数计算机领域老师们的“双面人生”
来源 | CertiK 今天是教师节。每个人都经历过学生时代，“教师”是人类文明史上不可或缺的一环。那些为人类社会进步做出了贡献的科学家，有很多自身也是优秀的教师。他们的发明创造推动了社会的发展，与此同时，他们的育人精神也促进了文明的传承。在计算机和加密经济领域，有一群人，他们既是理论或技 ...
HashKeyCapitalResearch
链闻
金色财经
·
V神：若开发团队运转良好，Casper今年将会上测试网
围绕以太坊 2.0 的发展，Vitalik 做出了展望。Vitalik 认为，以太坊 2.0 将能实现管理PoS协议（Casper）以及所有的分片链的功能。
链内参
最新收录
更多
Almanak
Almanak 是一个 web3 模拟基础设施，它利用基于代理的建模来优化 DeFi 和游戏项目。Almanak 的使命是利用数据科学和交易知识来最大化协议的盈利能力，同时确保其经济安全。
StableStock
StableStock 是一个结合传统金融和去中心化金融的链上股票资产平台，旨在通过稳定币结算提供美股等资产的数字化交易方式。平台包含三大核心模块：StableBroker（支持稳定币买入股票）、StableVault（将股票资产代币化并用于链上应用）、StableSwap（实现不同代币的低滑点兑换）。
OVERTAKE
OVERTAKE 是一个面向游戏开发者的平台，用户可以在这里玩游戏、构建游戏并获利。其使命是为数据驱动的游戏开发者创建一个游乐场，让用户能够积极参与游戏内容的创作、策划和分发，最终促进更高效、更包容的生态系统。
LYS Labs
LYS Labs旨在简化和优化加密货币领域的流动性质押和再质押流程。 其创新的核心是流动性模态衍生品（LMD），以基于以太坊的新型金融工具为代表
IVIX
IVIX 是一个基于区块链的 Web3 项目，专注于检测数字时代的金融犯罪并缩小税收差距，利用区块链技术提供透明数据追踪和去中心化合规解决方案。