风险提示：请理性看待区块链，树立正确的货币观念和投资理念，不要盲目跟风投资，本站内容不构成投资建议，请谨慎对待。 免责声明：本站所发布文章仅代表个人观点，与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 黑暗森林，完美拯救 960 万美元

撰文：Sam Sun、Alex Wade、Scott Bigelow、Tina Zhen、少平 202...
2020年09月26日
深链Deepchain ·

DeFi+跨链，RioDeFi如何变革传统金融？

9月25日下午3点，RioDefi的首席执行官和联合创始人James Anderson做客深链财经线上沙龙，围绕“DeFi+跨链，RioDeFi如何变革传统金融？”这一主题进行分享。
2020年09月25日
火星财经 ·

火星一线 | 9月一级市场投资DeFi项目数量环比增长2倍，谁是背后高频注资VC？

一级市场在DeFi领域投资赛道包括DEX、借贷协议、聚合器以及稳定币协议等。
2020年09月25日
加密谷Live ·

安全丨 8 月数字货币市场发生了哪些攻击事件？

「币圈一天，人间一年」，「DeFi 一天，币圈一年」。近期的链圈币圈，热度已几乎都被 DeFi 掠夺。伴随着项目的层出不穷，大量用户的涌入，DeFi 协议总锁仓量已高达 103.8 亿美元。极高的投资收益吸引了大量币民加入，而 8 月，更是流动性挖矿项目如火如荼的一个月。从实验性流动性挖矿 ...
2020年09月19日
链闻 ·

bZx 年内上演安全问题“帽子戏法”，DeFi 安全“危”与“机”并存

作者：张改娟 昨日，DeFi 借贷协议 bZx 年内第三次遭到攻击，由于代码重复事故导致共计损失价值超...
2020年09月14日
火星财经 ·

一文了解SushiSwap挖矿详细教程

一文学会当寿司农民。
2020年09月14日
巴比特资讯 ·

DeFi协议bZx再次遭遇攻击 损失超过800万美元

据bZx联合创始人Kyle Kistner最初提到称：“这似乎是一次预言机操纵攻击。”
2020年09月14日
比推BitpushNews ·

DeFi火爆币安慌了！赵长鹏拿出一亿美元干了这件事！

摘要：主要加密货币交易所币安首席执行官赵长鹏周四宣布，将投入1亿美元支持Binance Smart Chain（BSC）上的DeFi项目。
2020年09月12日
核财经观察 ·

币市崩盘, 又现一夜暴“负”

财富暴增的诱惑面前，屡屡得手的韭菜最终还是没能逃脱资产“一夜清零”的噩运。
2020年09月07日
Defi之道 ·

VC 刚打下的 DEX 江山，会被社区打土豪分田地吗？

来源 | 链闻 DeFi 当道，Uniswap“DEX 大赢家”的宝座还没有暖热乎，市场上便来了一群以 Sushiswap 为代表的“不速之客”。刚刚过去的这个周末，Uniswap 迈向新里程碑，日交易量有史以来首次超过老牌交易平台 Coinbase。目前，Uniswap 交易量仍在持续刷新历史 ...
2020年09月03日
PANews ·

VC刚打下的DEX江山，会被社区打土豪分田地吗？

文 | Nancy 编辑 | 毕彤彤 出品 | PANewsDeFi当道，Uniswap“DEX大赢家...
2020年09月03日
加密谷Live ·

DeFi 丨 SushiSwap 仿盘，YUNO 与 KIMCHI 智能合约漏洞或存安全隐患

北京时间 8 月 31 日和 9 月 1 日，CertiK 安全研究团队发现 Sushiswap 仿盘的两个项目 YUNo Finance (YUNO) 与 KIMCHI.finance (KIMCHI) ，其智能合约均存在漏洞。如果利用该漏洞，智能合约拥有者可以无限制地增发项目对应的代币数目，导 ...
2020年09月02日
金色财经 ·

上线4天价格翻了十倍！这么香的寿司你吃到了吗？

SushiSwap将迁移所有抵押在SushiSwap合约上的流动性代币。需要把Sushi/ETH提供给Uniswap Sushi-ETH资金池/ 6、进入Uniswap。可以为Sushi-ETH资金池添加流动性。
2020年09月02日
金色财经 ·

一文读懂SushiSwap（附Sushi挖矿详细教程）

流动性挖矿大火席卷DeFi，现在烧到Uniswap了。
2020年09月02日
火星财经 ·

宜收藏 | 一文梳理全球最活跃的DeFi投资机构，谁才是浪潮背后的推手？

加密货币市场正因DeFi的爆发而变得愈加有趣与难以预测。
2020年09月02日
火星财经 ·

火星一线 | SushiSwap仿盘YUNO与KIMCHI智能合约均存漏洞，项目方可无限增发代币

“代码中有无限增发的函数，项目方可以盗取资金。”
2020年09月02日
火星财经 ·

SushiSwap流动性近10亿美元，“寿司”虽香，但需警惕风险

DEX 8月呈爆发式的增加，SUSHI代币24小时涨超100%，不得不警惕背后的风险。
2020年08月31日
加密谷Live ·

热点丨 SushiSwap 智能合约漏洞事件分析

近期《哈利波特与魔法石》3D 版本回归热映，不知道大家有没有注意到那个传说从未发生过盗窃事件的由妖精监管的魔法世界银行——古灵阁。 也许你心想，要是有这样一个保管财富的机构在现实世界中就好了。然而（剧透预警），在《哈利波特与死亡圣器》当中，从来没有被入侵过的古灵阁世界被盗了——主角们通过了在 ...
2020年08月29日
蓝狐笔记 ·

Sushiswap：Uniswap的进化？

Sushiswap有机会成为Uniswap的对手吗？
2020年08月28日
加密谷Live ·

硬核丨加密钱包漏洞利用与分析

区块链技术的迅速发展，使得加密资产逐渐成为大众的投资方式之一。全球加密资产规模的高速增长使得钱包成为每一个加密资产拥有者不可或缺的资产管理工具。加密领域里，数字钱包和资金息息相关，越来越多的人意识到了数字钱包安全的至关重要性。被称为“全球黑客的狂欢 Party”的第 28 届 DEF CON ...
2020年08月24日
链得得 ·

全球数字货币总市值较上周下降3.16% | 08.17-08.23

据得得智库数据统计，截至2020年8月23日12:30，全球数字货币市场共有币种6537种。总市值共计$361,532,843,794（约为3615亿美元），本周数字货币总市值与上周相比减少了约118亿美元，跌幅约为3.16%。
2020年08月24日
金色财经 ·

币信矿业CEO刘飞：探索金融场景智能合约化还有很长的路要走

摘要：8月2日，由金色财经主办，阿里云、中科云创、99EX、Asproex、热币、ChainUP、金色算力云首席合作的共为·创新者大会在郑州顺利举办。大会以“助力区块链创新者的超级进化”为主题，围绕创新原力、区块链新风口趋势等话题进行了深入的交流。
2020年08月09日
加密谷Live ·

硬核丨区块链浏览器可以逃离 DoS 的九阴白骨爪吗？

说到浏览器，大家脑海里蹦出来的一定是“百度一下，你就知道”、“上网从搜狗开始”...... 这些家喻户晓甚至大爷都说的上来的浏览器，是互联网的代言人，更是互联网的入口。 但是如果说有谁和互联网是勾肩搭背的关系，那就是现今如日中天的区块链技术了。互联网改变生活，区块链技术改变互联网。那么毫无疑 ...
2020年08月02日
加密谷Live ·

深度丨“336 枚 BTC 去哪儿了？”后续追踪，Cashaa 交易所钱包被盗事件进一步分析

Cashaa 是一家总部位于伦敦的加密钱包和银行服务提供商。 安全本该是数字货币钱包的第一生命线。Cashaa 宣称使用“无风险”的支付网关，按理说可以保障资产安全。然而，威胁还是无处不在。7 月 11 日北京时间凌晨 8 点 10 分，CertiK 天网系统 (Skynet) 检查到在比特 ...
2020年07月21日
金色财经 ·

首发｜推特大规模被黑,苹果、亚马逊及美国前总统纷纷中招,专业人士给出哪些防范建议？

特斯拉CEO Elon Musk。如Gemini交易所、Coinbase交易所、币安交易所的CEO赵长鹏、Tron的CEO孙宇晨。彭博社创始人Bloomberg。
2020年07月17日

最新收录

更多

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 拥有和管理的区块链上的游戏平台。