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

资讯
快讯
动态
作者
活动
加密谷Live ·

安全丨推特大规模被黑，苹果、亚马逊，甚至前总统都被殃及？

“你给我 100 红包，我明儿给你 200 怎么样。” 敢发红包笃定能收到回馈的，怕是只有最信任的人了。法制节目经常会播放一些类似的骗局来警示大家。然而能上当的本质还是在于这两个字：信任。推特被黑事件北京时间 2020 年 7 月 16 日凌晨三点左右，CertiK 安全团队的研究人员检 ...
2020年07月16日
真本聪RealSatoshi ·

铸币奖励启动在即，跨链 DeFi 探索者 Kava 如何建设去中心化金融？

Kava 最大的亮点就是将陆续支持「主流跨链资产」的抵押借贷，包括 BNB、BTC、XRP 和 ATOM 等。
2020年07月10日
加密谷Live ·

硬核丨空手套以太： Balancer 攻击解析

6 月 29 日北京时间凌晨 2 点 03 分，CertiK 天网系统 (Skynet) 检查到在区块 10355807 处 Balancer DeFi 合约异常，安全研究员迅速介入调查，攻击过程浮出水面。 6 月 29 日凌晨 2 点 03 分，攻击者利用从 dYdX 闪电贷中借到的 WET...
2020年06月30日
加密谷Live ·

项目丨四月份跨链项目重大进展汇总

四月份，跨链赛道技术上没有什么大进展。Cosmos 正在准备 Game of Zones 的一系列对抗性测试网比赛 ，IBC 1.0 的版本目前已经完成 73%，跟上个月对比进度倒退 1%。波卡很可能在 5 月份上线主网测试版，目前公布了 5 家代码审计的公司。IRIS 这个月主要是与其它项目合作，...
2020年05月07日
PANews ·

周刊 | DeFi项目接连遭遇攻击损失近2500万美元；央行数字货币落地内测

摘要： 央行数字货币首个应用场景落地；Lendf.Me遭攻击累计损失超2469万美元；Libra 发布...
2020年04月20日
币新区块 ·

起底 FCoin 利益相关人名单

核心团队根据此前的报道，Fcoin 的核心团队包括创始人 张健和其妻子 Lynn 。此外，在 2019 年上半年增持 FT 后，共识实验室官方宣布，委派副总裁朱玮出任 FCoin 生态负责人。此前曾有过媒体报道的 FT 生态负责人 Carrie Yang、公链负责人焦锋、FT 社区代表 Ch...
2020年02月18日
星球日报 ·

加密基金批量夭折，这十只却仍在高频出手

文 ：王也 出品： Odaily星球日报 2018 年踩在风口之上，Crypto Fund 如见遍地黄...
2019年12月25日
加密谷Live ·

项目动态 | CertiK 与 OKEx 旗下交易平台达成战略合作

11 月 22 日，业内领先安全机构 CertiK 与数字资产交易所 CoinAll 达成安全战略合作关系，CertiK 将携手 CoinAll 为区块链行业安全持续保驾护航。 作为新社区平台领航者，CoinAll 是世界顶级交易所 OKEx 唯一子平台，是其旗下首家开放共赢交易平台。它 ...
2019年11月23日
加密谷Live ·

项目动态 | CertiK 与 OKEX 联合举办全球大学联会

11 月 11 日在哥伦比亚大学，CertiK 与 OKEX 携手举办全球大学联会。联会现场齐聚众多重量级来宾，人潮涌动，场面异常火爆，由于场地限制，部分来宾甚至置身会场外倾听宣讲，此次活动旨在思维的碰撞，共同探讨区块链领域的发展趋势及未来。CertiK 团队联合创始人顾荣辉教授在接受专访时表示 ...
2019年11月16日
加密谷Live ·

CertiK 对以太坊“伊斯坦布尔”升级的解读

来源 | CertiK 如今，以太坊网络正蓬勃发展，开发人员计划引入新的系统把目前每秒 20 个交易量扩展到每秒数十万交易量，这也正是 21 世纪探索开发区块链的大势所趋。对于智能合约开发人员来说，这意味着需要持续跟踪以太坊更新的情况，了解每个代码的更改形式。听起来这似乎大幅增加了智能合约开发 ...
2019年10月18日
真本聪RealSatoshi ·

预言机新星 Band Protocol 登场，将开启区块链大航海时代？

Band Protocol 联合创始人Soravis，他详细介绍 Band Protocol 的愿景、价值和竞争优势等。
2019年09月26日
加密谷Live ·

HashKey Research：数字资产合规投资渠道全景式概览

作者 | HashKey Capital 来源 | HashKey Hub 社区合规出入金渠道概述 1.1 合规出入金渠道参与者分类 目前合规出入金渠道的参与者分类及流程如下： 参与者多，但并非都和数字资产产生直接关系。如果以客户类型进行分类，也可以分成 toC （直接面 ...
2019年09月12日
加密谷Live ·

致敬教师节！细数计算机领域老师们的“双面人生”

来源 | CertiK 今天是教师节。每个人都经历过学生时代，“教师”是人类文明史上不可或缺的一环。那些为人类社会进步做出了贡献的科学家，有很多自身也是优秀的教师。他们的发明创造推动了社会的发展，与此同时，他们的育人精神也促进了文明的传承。在计算机和加密经济领域，有一群人，他们既是理论或技 ...
2019年09月10日
HashKeyCapitalResearch ·

一文纵览加密货币合规投资渠道全景

对合规渠道的各参与方、所需牌照、合规的服务商以及银行渠道等进行了全面的介绍和分析。
2019年09月10日
真本聪RealSatoshi ·

三分钟速览 Tellor：币安与 Maker 支持的去中心化预言机

Tellor 的私募资金来自于币安和 Maker，没有进行 ICO 并将使用开发模式。
2019年09月09日
链闻 ·

加密世界黑帮，了解一下

编者按：本文来自链闻ChainNews（ID：chainnewscom），作者：Ash Egan，就职...
2019年07月30日
金色财经 ·

USDT跌落神坛，稳定币再添新玩家，谁能笑傲江湖？

前有本体、TRON等公链，后有摩根大通、OK这类新旧世界金融机构入局稳定币，显然，稳定币战场的风已起。
2019年05月22日
金色财经 ·

V神：若开发团队运转良好，Casper今年将会上测试网

围绕以太坊 2.0 的发展，Vitalik 做出了展望。Vitalik 认为，以太坊 2.0 将能实现管理PoS协议（Casper）以及所有的分片链的功能。
2019年01月12日
链内参 ·

加密货币交易所 2019 年前瞻：革命、监管与安全

有资产担保的交易所有望出现……
2019年01月11日
金色财经 ·

深度 | 剖析滚滚硝烟中的区块链游戏世界

我一直比较相信如果说有例如头号玩家电影中“绿洲”这样的游戏在未来的话，一定是基于区块链这样的分布式所建立起来的。
2018年12月04日
碳链价值 ·

一文拆解比特大陆投资生态

为何比特大陆更喜欢布局全赛道，并且在每个赛道只投一两家，而非看好某一个赛道，在同一个赛道中投资多个项目。
2018年10月18日
星球日报 ·

2018年区块链技术安全服务行业报告

谈到区块链安全，Odaily星球日报认为行业处于“薛定谔的”中间态。攻击事件层出不穷、安防等级难以量化...
2018年09月05日
链闻 ·

揭秘币安孵化器：一家立志挤入10亿美元俱乐部的区块链投资机构到底做什么？

留给Ella Zhang 和她的团队考虑的时间，只有不足 24 个小时了。时间是 2018 年 4 月...
2018年08月02日

最新收录

更多

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