项目简介
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 个：
区块链前哨
PolkaWorld
ParaState: 以太坊在波卡上的进化
加入 PolkaWorld 社区，共建 Web 3.0！以太坊无疑是目前所有公链当中应用生态最丰富的公链。然而，在以太坊创建之初，创建人其中之一的 Gavin Wood 博士也承认，以太坊虚拟机是一个简单、死板、代码运行较慢的沙盒环境。这导致了我们今天在以太坊开发上遇到的问题，包括不安全的智能合 ...
Defi之道
·
DeFi 新玩法 | 3 分钟了解 1inch V2 的新特性
11 月 6 日消息，去中心化交易所 (DEX) 聚合服务商 1inch 今日宣布推出 V2 版本协议，据悉，这一新版本的主要亮点是 Pathfinder，这是一个包含新发现 & 路由算法的 API，而另一个亮点就是一个新的直观且对用户友好的用户界面，总的来说，这些改进确保了 1inch ...
巴比特资讯
火星财经
链闻
深链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 版本回归热映，不知道大家有没有注意到那个传说从未发生过盗窃事件的由妖精监管的魔法世界银行——古灵阁。 也许你心想，要是有这样一个保管财富的机构在现实世界中就好了。然而（剧透预警），在《哈利波特与死亡圣器》当中，从来没有被入侵过的古灵阁世界被盗了——主角们通过了在 ...
蓝狐笔记
最新收录
更多
Almanak
Almanak 是一个 web3 模拟基础设施，它利用基于代理的建模来优化 DeFi 和游戏项目。Almanak 的使命是利用数据科学和交易知识来最大化协议的盈利能力，同时确保其经济安全。
StableStock
StableStock 是一个结合传统金融和去中心化金融的链上股票资产平台，旨在通过稳定币结算提供美股等资产的数字化交易方式。平台包含三大核心模块：StableBroker（支持稳定币买入股票）、StableVault（将股票资产代币化并用于链上应用）、StableSwap（实现不同代币的低滑点兑换）。
OVERTAKE
OVERTAKE 是一个面向游戏开发者的平台，用户可以在这里玩游戏、构建游戏并获利。其使命是为数据驱动的游戏开发者创建一个游乐场，让用户能够积极参与游戏内容的创作、策划和分发，最终促进更高效、更包容的生态系统。
LYS Labs
LYS Labs旨在简化和优化加密货币领域的流动性质押和再质押流程。 其创新的核心是流动性模态衍生品（LMD），以基于以太坊的新型金融工具为代表
IVIX
IVIX 是一个基于区块链的 Web3 项目，专注于检测数字时代的金融犯罪并缩小税收差距，利用区块链技术提供透明数据追踪和去中心化合规解决方案。