CertiK

CertiK

CertiK于2017年底在美国纽约和硅谷成立,2019年初落成北京办公室。公司由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立,通过“深度规范”的形式化验证技术为区块链应用和智能合约提供代码安全审计服务。
20

文章

159247

浏览

微信公众号

  • 一分钟了解以太坊(系列二) | 币圈历史,以太坊的跌宕起伏

    以太坊被称为是“第二代的区块链平台”,仅次于比特币。那么以太坊是如何从一个默默无闻的小币种成长为如今仅次于比特币的全球第二大数字货币的呢?以下是以太坊发展史上的大事记。2013年11月:Vitalik Buterin发布了一份白皮书,将以太坊描述为“智能合约和去中心化兼自主独立的通用计算平台”。V神在全球的密码学货币社区陆续召集到一批开发者,从而启动了以太坊项目,并于2014年1月在美国佛罗里达州迈阿密举行的北美比特币会议上正式宣布了以太坊的存在。
    2019-12-10 10:54:37 3628
    • 一分钟了解以太坊(系列一) | V神为何信誓旦旦diss中本聪?

      本次系列文章《一分钟了解以太坊》即将在接下来的几周内陆续推出。这一系列主要讲述了以太坊历史、目前的应用方向及其结构以及未来的发展方向。
      2019-12-05 13:51:55 2311
      • CertiK已完成对MYKEY以太坊智能合约的审计

        MYKEY与CertiK开展合作,由CertiK对其发布在以太坊网络上的智能合约进行安全审计。为了确保审计的顺利进行,CertiK运用形式化验证平台,并委派安全专家及工程师对源代码分别进行机器分析和人工审查。本次审计重点关注以太坊智能合约的设计情况和实践情况。
        2019-12-01 12:48:29 5042
        • CertiK链测试网Beta公开测试

          CertiK基金会是一家技术组织,奉行安全第一的准则。基金会运用安全可信赖的软件程序,得到了IBM和以太坊基金会的资助。同时,CertiK基金会致力于提升算法、协议和业务功能的安全性,在区块链和其他关键任务软件中推进使用更安全的程序和编程方法。CertiK基金会着力于研究形式化验证技术和保证其中从端到端的正确性,从而建设安全性编程社区,为区块链节点创建一个统一的、高表现力的并且端到端的安全基础架构。
          2019-11-28 18:59:05 5666
          • 由《网络安全威胁信息发布管理办法》引发的对区块链安全的思考

            随着互联网及区块链的技术迅猛发展,网络安全问题逐渐浮上水面。仅仅是2017年期间,就发生了12起惊心动魄的全球网络安全事件。网络安全相关从业人员及企业出于安全意识考虑或为了提高业内安全技术,积极发布看似具有提示性的安全威胁信息和预警。但是,这些信息的发布带来了另一种形式的网络安全威胁,可被恶意分子直接利用,降低了网络攻击的门槛。
            2019-11-22 09:41:39 5702
            • 智能合约高危漏洞频出,五种常见漏洞你必须知道

              在区块链行业内,一个普遍达成的共识是智能合约的“智能”性取决于其可自执行的书面代码编写的程序。那么还有一个问题:智能合约到底能有多智能呢?智能合约与其他软件程序一样,程序的智能性取决于源代码的质量。在对诸多项目进行了智能合约审计之后,CertiK汇编了一些常见的漏洞,这些漏洞对于智能合约甚至可以称得上致命的。本文可以作为参考,帮助规避合约中出现类似问题。
              2019-11-02 11:53:15 6742
              • 区块链技术:智能合约

                区块链的历史起始于比特币,它是世界上第一个加密货币。它的创造者是一个被称为“中本聪”的神秘人。此人提出了一个愿景,就是创造一种完全去中心化的数字货币,也就是说,再也没有一个单一实体可以控制这种货币并且控制货币的转移、创造和存储。这种数字货币将完全属于使用它的人。
                2019-10-24 11:40:06 16978
                • CertiK已完成对Rupiah Token(IDRT)的审计

                  在过去的二十年中,因分布式网络的兴起,数十亿的用户以一种安全的方式相互联系并且共享信息。尤其是区块链这样的分布式网络,已经成功地将传统经济与无摩擦的分散平台相连接。“像比特币这样的数字资产虽然应用率还不够高,但已经实现了区块链创设之初的目的。尽管比特币已经成为一种交易方式和标准的交换单位,但如它一般的加密货币在稳定性方面依旧存在一些问题。而引入稳定货币就是当前行之有效的解决办法之一。”
                  2019-10-23 10:23:50 3613
                  • 以太坊网络升级可能破坏现有智能合约

                    如今,以太坊网络正蓬勃发展,开发人员计划引入新的系统把目前每秒20个交易量扩展到每秒数十万交易量,这也正是21世纪探索开发区块链的大势所趋。对于智能合约开发人员来说,这意味着需要持续跟踪以太坊更新的情况,了解每个代码的更改形式。听起来这似乎大幅增加了智能合约开发人员的工作量,但是别忘了CertiK就是在这个时候来为大家提供帮助的,因此完全不需要担心此次的以太坊网络升级。
                    2019-10-18 12:36:27 12661
                    • 区块链技术与去中心化金融体系

                      要想了解去中心化金融体系,首先要了解一下错综复杂的金融史。不管你是什么专业背景,什么职业,你的生活都和金融脱不了干系。今天不妨就来简单了解一下我们的金融发展是怎样走到今天的,未来又将是怎样的一番局面。历史上金融体系第一个重要的发展,就是它自身向”金融“方向转变。这句话听起来有些抽象,直接一点来说,就是当人们最终拥有足够的资源进行交易、易物与合作,而不仅局限于眼前的生存时,抽象的金融便形成了。比如多余的小麦可换取陶器、动物,甚至是原始的人像雕塑或者玩具。
                      2019-10-14 14:38:27 4449
                      • 区块链的三难困境,有这样一种解决途径?

                        三难困境一直是加密货币面临的最大障碍。这个概念最开始由VitalikButerin提出,他指出了开发人员在创建可扩展、分散的和安全的区块链时所面临的三个挑战。具体来说,这三个方面是:1. 分散性:创建一个拥有不依赖于控制中心点的区块链系统;2. 可扩展性:区块链系统具有处理越来越多事务的能力;3. 安全性:区块链系统能够按预期操作,防御攻击、防范bug和其他不可预见的问题。
                        2019-10-11 13:04:38 6268
                        • CertiK已完成对Waltonchain形式化验证审计

                          CertiK已完成对Waltonchain golang语言的公链及其跨链智能合约的官方安全审计,并对其程序设计和运行情况进行了重点审计。Waltonchain (简称WTC),将区块链技术引入物联网,解决了物联网发展过程中所面临的中心化问题,基于密码学原理,凭借分布式点对点网络,实现有序交易记录的永久性存储,不可删除和篡改,公开并且可溯源,能完美解决互联网虚拟世界的信任和权益问题。WTC将构建现实世界与区块链完美结合的商业生态链,引领人类全面进入可信赖的数字化生活,开创物联网的新纪元。
                          2019-10-09 13:55:24 2820
                          • 一分钟了解比特币:为什么比特币如此具有价值

                            如果你已经阅读了前面的文章,你就会理解比特币作为一个纯粹用代码创建的货币系统是如何工作的。但是这种货币到底有何价值呢?它的价值是怎么样被体现的呢?比特币在最初被发明出来的时候,基本上毫无价值。但自那时起,比特币的价格就开始逐渐上升(当然一路上也有很多大起大落)。在它的价格最低点时只值几美分,在鼎盛时期,一个比特币价值就超过了2万美元。
                            2019-10-08 11:26:24 11315
                            • 一分钟了解比特币:哈希函数

                              长假最后一天,不知道假期结束甚至几年后回想起来是否还记得住祖国70岁生日的这段时光呢?是否那个时候还会觉得这七天过的有意义呢?除了国庆阅兵和几个让人值得刷一刷的电影,如果你除了娱乐还没有什么特别的记忆,不妨读下本系列文章一分钟了解比特币,告诉大家你学习到了当下最热门的有关比特币的技术知识,而且是有深度有内涵的那种哦。
                              2019-10-07 21:32:04 12523
                              • 一分钟了解比特币:挖矿与共识机制

                                假期余额严重不足,我们的“一分钟了解比特币”系列文章也已发布过半。如果在阅读我们的文章当中有什么问题,不妨在公众号下面留言,也许我们以后会推出文章来专门解答你的问题。通过上一篇文章,我们知道了如何保证财产和信息的安全性、私有性。但是,在没有中央服务器来协调的情况下,怎样才能让每个人都认可他人的账户余额确实是账户持有者说的那么多呢?
                                2019-10-06 11:42:12 14944
                                • 了解比特币:如何对身份进行加密

                                  假期三天倒计时,希望读完本系列文章的你在收获知识的同时能够有些小小的成就感。别人还在游玩晒朋友圈的时候,你已经把朋友圈分享的一些文章变成自己所了解的知识了。上一篇文章中,我们简单介绍了区块链的结构基础。(此处来自谢耳朵的灵魂拷问:你们读了上一篇有关比特币的文章了吗?这张图可不是PS来的,美剧《生活大爆炸》第十一季第九集的开篇就是这句话)是不是发现如果你不了解比特币就有些out了呢?就连自身就很火的美剧,也会加入比特币的内容在剧本里,来增加热点与实事内容。
                                  2019-10-05 18:57:52 13039
                                  • 《深入浅出比特币》之二:如何对身份进行加密

                                    上一篇文章中,我们简单介绍了区块链的结构基础。今天,我们将探讨区块链系统中存在的一个问题——如何实现安全与匿名,透明与清晰并存的理想状态。在没有中央服务器可以登录的情况下,我们该如何保护隐私?如何安全地“登录”比特币?如何才能确保信息的公开性和透明性呢?
                                    2019-09-25 12:21:11 14710
                                    • 《深入浅出比特币》之一:比特币究竟是什么?

                                      刚刚接触比特币的人通常认为,计算机上的某种数据或文件就是 “比特币”,但这种理解是错误的。比特币并不以数据的形式存在,但可以用账本上的数字表示出来。这里所说的账本是虚拟的会计账本,是所有权的有形证明。如果有人说“我有一个比特币”,这个意思是我们可以看到公开发行的会计账本,可以阅读这些数字,而所有者则可以向他人展示,“我有一个与我的名字和账户相关的比特币”。
                                      2019-09-24 12:14:34 12882
                                      • 比特币钱包的作用

                                        比特币钱包里存储着你的比特币信息,包括比特币地址(类似于你的银行卡账号)、私钥(类似于你银行卡的密码)。就像实物钱包里可以存放多张银行卡,比特币钱包里也可以存储多个比特币地址,以及每个比特币地址所对应的独立的私钥。比特币钱包的核心功能就是保护你的私钥,如果钱包丢失,你将永远失去这笔比特币。
                                        2018-10-08 14:32:03 2135
                                        • 什么是比特币

                                          比特币(Bitcoin)是由中本聪在2009年提出的一种数字虚拟货币。比特币没有实物,而是以数据的形式,存在计算机中。比特币不依赖特定的货币机构发行。
                                          2018-10-04 20:04:40 1819
扫二维码

扫一扫,关注微信公众号