CertiK

CertiK

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

文章

105092

浏览

微信公众号

  • 以太坊网络升级可能破坏现有智能合约

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

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

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

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

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

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

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

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

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

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

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

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

扫一扫,关注微信公众号