项目简介
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
标签
为您找到相关结果约 148 个：
链闻
深链Deepchain
DeFi+跨链，RioDeFi如何变革传统金融？
9月25日下午3点，RioDefi的首席执行官和联合创始人James Anderson做客深链财经线上沙龙，围绕“DeFi+跨链，RioDeFi如何变革传统金融？”这一主题进行分享。
火星财经
加密谷Live
·
安全丨 8 月数字货币市场发生了哪些攻击事件？
「币圈一天，人间一年」，「DeFi 一天，币圈一年」。近期的链圈币圈，热度已几乎都被 DeFi 掠夺。伴随着项目的层出不穷，大量用户的涌入，DeFi 协议总锁仓量已高达 103.8 亿美元。极高的投资收益吸引了大量币民加入，而 8 月，更是流动性挖矿项目如火如荼的一个月。从实验性流动性挖矿 ...
巴比特资讯
比推BitpushNews
DeFi火爆币安慌了！赵长鹏拿出一亿美元干了这件事！
摘要：主要加密货币交易所币安首席执行官赵长鹏周四宣布，将投入1亿美元支持Binance Smart Chain（BSC）上的DeFi项目。
核财经观察
Defi之道
·
VC 刚打下的 DEX 江山，会被社区打土豪分田地吗？
来源 | 链闻 DeFi 当道，Uniswap“DEX 大赢家”的宝座还没有暖热乎，市场上便来了一群以 Sushiswap 为代表的“不速之客”。刚刚过去的这个周末，Uniswap 迈向新里程碑，日交易量有史以来首次超过老牌交易平台 Coinbase。目前，Uniswap 交易量仍在持续刷新历史 ...
PANews
加密谷Live
·
DeFi 丨 SushiSwap 仿盘，YUNO 与 KIMCHI 智能合约漏洞或存安全隐患
北京时间 8 月 31 日和 9 月 1 日，CertiK 安全研究团队发现 Sushiswap 仿盘的两个项目 YUNo Finance (YUNO) 与 KIMCHI.finance (KIMCHI) ，其智能合约均存在漏洞。如果利用该漏洞，智能合约拥有者可以无限制地增发项目对应的代币数目，导 ...
金色财经
·
上线4天价格翻了十倍！这么香的寿司你吃到了吗？
SushiSwap将迁移所有抵押在SushiSwap合约上的流动性代币。需要把Sushi/ETH提供给Uniswap Sushi-ETH资金池/ 6、进入Uniswap。可以为Sushi-ETH资金池添加流动性。
加密谷Live
·
热点丨 SushiSwap 智能合约漏洞事件分析
近期《哈利波特与魔法石》3D 版本回归热映，不知道大家有没有注意到那个传说从未发生过盗窃事件的由妖精监管的魔法世界银行——古灵阁。 也许你心想，要是有这样一个保管财富的机构在现实世界中就好了。然而（剧透预警），在《哈利波特与死亡圣器》当中，从来没有被入侵过的古灵阁世界被盗了——主角们通过了在 ...
蓝狐笔记
加密谷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。
最新收录
更多
Chainbase
Chainbase是一个全链数据网络。它的核心使命是为人工智能时代提供一个透明、可靠、无需许可的数据层。通过其模块化设计，它支持跨链的数据互操作性和可编程性，使构建和使用数据模型变得容易。
Allium
Allium 提供链上数据基础设施产品，从托管的区块链数据库、丰富的数据模式到实时警报功能。
Liquidium
Liquidium 是一种点对点借贷解决方案，它利用离散日志合约 (DLC) 和部分签名比特币交易 (PSBT) 的强大功能，使用户能够以原生 Ordinal 作为抵押品借入和借出原生比特币。
JOJO
JOJO Exchange 是一款 DeFi 原生永续合约交易平台，支持子账户、全仓杠杆等功能。
Truvius
Truvius 致力于为机构和个人提供精心构建的主题数字资产投资组合。该平台使客户能够访问针对数字资产领域量身定制的可投资被动和主动系统投资组合。