风险提示：请理性看待区块链，树立正确的货币观念和投资理念，不要盲目跟风投资，本站内容不构成投资建议，请谨慎对待。 免责声明：本站所发布文章仅代表个人观点，与CoinVoice官方立场无关
AC Capital 链声实验室 | 寻求报道 | App下载

CertiK

CTK

官网： https://certik.org/
分享

项目简介

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 个：

资讯
快讯
动态
作者
活动
Defi之道 ·

88mph 创始人 Guillaume：借贷和结构化产品将是 DeFi 创新的主要驱动力

固定利率借贷协议对应传统金融中 固定收益 或 结构性产品 的概念。
2021年02月22日
火星财经 ·

项目动态 | 3分钟读懂跨链收益聚合器项目ETHA Lend，它要为投资者节省52%的Gas费

今日早间，ETHA Lend宣布获DFG、Oasis Capital及Origin Capital等十逾家VC投资160万美元。
2021年02月22日
链声黑板报 ·

ETHA Lend完成160万美元融资，为DeFi领域带来全新的收益优化协议

ETHA Lend是在以太坊和波卡生态系统上的独特且高度灵活的跨链收益优化协议。
2021年02月22日
巴比特资讯 ·

88mph创始人Guillaume：借贷和结构化产品将是DeFi创新的主要驱动力

DeFi中尚未被充分开垦的领域，了解一下88mph。
2021年02月20日
CertiK ·

CertiK：闪电贷攻击频发 带你回顾BT.Finance遭受攻击事件

闪电贷攻击频发，CertiK带你回顾BT.Finance遭受攻击事件
2021年02月10日
CoinVoice ·

第一届币安智能链（BSC）农民节，巨鲸富农们说了什么？

币安“第一届BSC农民节”精彩回顾
2021年02月09日
火星财经 ·

ZKSwap最新压力测试每天可处理200万笔Layer2交易，主网即将上线

ZKSwap团队本周也会在以太坊主网陆续部署智能合约和部署layer2系统。
2021年02月08日
PolkaWorld ·

Bifrost 第二期铸币空投规则公布

Bifrost 将于 2021 年 2 月 8 日 14:00 开启第二期 Mint Drop，总计空投 500,000 BNC。本期 Mint Drop 将分为三轮空投，每轮限额铸造 5,000 ETH，总限额 15,000 ETH，每轮硬顶时间为 72 小时，若 vETH 限额铸满则该轮次立即 ...
2021年02月07日
CertiK ·

CertiK：Yearn.Finance惊爆漏洞，DeFi再遭打击，一文带你探明事件始末！

北京时间2月5日，CertiK安全技术团队发现DeFi项目Yearn.Finance发生攻击事件，攻击总损失高达约7100万人民币，黑客从中获利约1800万人民币。
2021年02月05日
Defi之道 ·

平均每月 1 次攻击，涉及资金 1.2 亿美元，2020 年 DeFi 攻击大盘点

DeFi 是 2020 年加密经济秀上的明星，总体而言，这将是加密货币具有历史意义的一年。话虽如此，2020 年也出现了新一波复杂的攻击者，他们来探查并窃取年轻的 DeFi 项目持有的代币。让我们回顾一下今年最大规模、最“成功”的 DeFi 攻击。（译者注：本文为攻击事件的简要回顾，具体内容可 ...
2021年01月08日
星球日报 ·

三万字「2021」DeFi行业全景扫描

DeFi 正如一片刚刚开始垦殖的“新月之地”，各式各样的重要创新在不断涌现，我们期待着它的扩张和对传统金融的征服。
2021年01月06日
DappRadar ·

DappRadar 年度报告：一览 2020 DApp 生态发展与挑战

DeFi 成为 DApp 发展引擎，它将不仅为 NFT 和游戏，也为社交、物流和其他 DApp 类别构成加密经济的基础。
2020年12月30日
比推BitpushNews ·

一文全览DeFi 2020发生了什么

2020年是DeFi的正名之年，2021年DeFi仍将带来更多惊喜。
2020年12月25日
Blocklike ·

技术中立下的 DeFi ：“科学家”锋芒毕露

NXM 被盗，社区再议 DeFi 食物链顶端的高级玩家>>>
2020年12月16日
加密谷Live ·

安全丨我们每天遇到有漏洞的 DeFi 合约概率是多少？

身在新冠日增确诊 10 万例美国的小编，因为硬核原因不得不搭乘飞机出门。出行前一直担心是否会被感染，途中却被飞机遇到猛烈气流的颠簸唬住了。虽然心里默默安慰自己飞机空难发生的概率非常低，感染新冠肺炎的概率也没那么高，但还是想起来了四个字：“墨菲定律”。身为二十世纪西方文化三大发现之一，墨菲定 ...
2020年12月08日
Defi之道 ·

DeFi 新玩法 | Aave 上线 V2，九大新功能优化 DeFi 体验

第三大 DeFi 借贷协议 Aave 今天公布了 V2 版，利用闪电贷使 DeFi 更加无缝和可组合。以下为 Aave 发布的有关 V2 的内容：这是我们一直在等待的时刻……Aave 协议的 V2 上主网了！今年年初推出的 Aave 协议 V1，其目标是解锁 DeFi 中的价值并改善用户体 ...
2020年12月04日
PolkaWorld ·

波卡生态｜Bifrost 推出 Mint Drop 计划，2 天后将启动 vETH 铸币空投

加入 PolkaWorld 社区，共建 Web 3.0！波卡生态 DeFi 协议 Bifrost 即将推出面向 ETH 2.0 的衍生品 vETH，vETH 将分为四个阶段启动，最终将以 ERC20 和 Substrate Base 双协议资产存在，可同时在 Ethereum 和 Polkado...
2020年11月25日
加密谷Live ·

安全丨 DeFi 项目 Walletreum 内部操作攻击事件分析

马克思曾在资本论中引用一句名言：“如果有 10% 的利润 , 它就保证到处被使用；有 20% 的利润 , 它就活跃起来；有 50% 的利润 , 它就铤而走险；为了 100% 的利润 , 它就敢践踏一切人间法律；有 300% 的利润 , 它就敢犯任何罪行 , 甚至绞首的危险。”对于区块链来 ...
2020年11月17日
PolkaWorld ·

波卡周报 | 波卡官方即将举办首次社区活动 Polkadot Decoded

加入 PolkaWorld 社区，共建 Web 3.0！ 波卡本周进展波卡全民公投 11 已经通过，Polkadot 已成功升级到 runtime v26。此 runtime 中的更改包括实现模块版本控制、批处理所有外部（原子批处理）和验证人选择计算的改进。https://polkadot...
2020年11月15日
区块链前哨 ·

比特币突破1.6万美元，DeFi 却依然被攻击不停

攻击多了，监管自然就来了。
2020年11月13日
PolkaWorld ·

ParaState: 以太坊在波卡上的进化

加入 PolkaWorld 社区，共建 Web 3.0！以太坊无疑是目前所有公链当中应用生态最丰富的公链。然而，在以太坊创建之初，创建人其中之一的 Gavin Wood 博士也承认，以太坊虚拟机是一个简单、死板、代码运行较慢的沙盒环境。这导致了我们今天在以太坊开发上遇到的问题，包括不安全的智能合 ...
2020年11月06日
Defi之道 ·

DeFi 新玩法 | 3 分钟了解 1inch V2 的新特性

11 月 6 日消息，去中心化交易所 (DEX) 聚合服务商 1inch 今日宣布推出 V2 版本协议，据悉，这一新版本的主要亮点是 Pathfinder，这是一个包含新发现 & 路由算法的 API，而另一个亮点就是一个新的直观且对用户友好的用户界面，总的来说，这些改进确保了 1inch ...
2020年11月06日
巴比特资讯 ·

DeFi聚合商1inch V2上线：3分钟了解新特性

v2版本的1inch协议可以提供更好的DEX交易体验，这对于DeFi玩家来说，可能是一个好消息。
2020年11月06日
区块链前哨 ·

公司聚会时项目被攻击，两次审计无果：我们付不起20万美元的审计费

我们对着这顿价值 100 美元的食物难以下咽。
2020年10月28日
火星财经 ·

火星一线 | 新型AMM协议CoFiX正式上线，启动流动性挖矿和交易挖矿

目前多数在AMM平台进行的交易都是由套利驱动。
2020年10月13日

最新收录

更多

GEODNET

GEODNET 的任务是使用新型屋顶空间气象站从地球及其大气层收集密集的实时地理空间数据。区块链的使用将促进一个强大而有弹性的网络，该网络提供用于农业、交通和金融等关键经济部门的安全和可信的地理空间数据产品，以及 Autonomy、AR/VR 和 Metaverse 的新兴应用程序。

Plena

Plena Wallet 是一个支持帐户抽象的多链自我托管钱包，并提供加密资讯和见解。

SendingNetwork

Sending.Network 是一个高性能、开放的 Web3 通信协议，其中从消息数据、用户 ID 到社交图谱的每个组件都是去中心化的。它旨在帮助开发人员构建社交去中心化应用程序，并帮助社区访问加密的去中心化群聊平台。

Saakuru

Saakuru 是一种以消费者为中心的 L2 协议，使用 OP Stack 开发，具有零交易费用，并利用委托模型消除用户的 Gas 费，为构建在 Saakuru 之上的任何应用程序创建无摩擦的体验，并通过 Saakuru 开发套件进行增强，支持嵌入复杂的内容 数字产品在 1 天内升级为 Web3。 以 Saakuru 区块链为中心的强大且对开发人员友好的产品套件可实现从 Web2 到 Web3 的经济高效且无缝的连接。

Circle of Games

Circle of Games 是一个由 COG-DAO 拥有和管理的区块链上的游戏平台。