火星链 火星链
Ctrl+D收藏火星链

certik:星球专访 | CertiK首席科学家:黑客永远只会对系统中更弱的一环进行攻击

作者:

时间:1900/1/1 0:00:00

VilhelmSj?berg:智能合约经常被曝漏洞,主要是两点原因:一个原因是代码出bug这个事儿是不可避免的,在互联网时代可以通过快速迭代来修复,但智能合约在部署后是无法更新的,上线的代码就需要是完美的。另一个是攻击智能合约漏洞获得的价值回报高,所以会有很多人盯着你的代码找错误。Odaily星球日报:相比于智能合约,对区块链底层基础设施进行验证的难度有多大?VilhelmSj?berg:区块链的底层基础设施要比智能合约本身复杂,其复杂程度主要体现在两方面:计算的复杂度、运行环境的复杂度。在证明程序正确性的时候,如果一旦这两方面复杂,那么要证明的问题就会变得复杂。而CertiK是目前唯一可以对复杂的计算、运行环境进行证明的公司,这是我们的价值点所在。此前对于复杂代码的多线程验证,在业界是被认为不可能实现的,前几年被我们成功进行了验证。Odaily星球日报:为什么形式化验证这项技术,在互联网行业或者说区块链技术变热之前,并没有多少商业前景?VilhelmSj?berg:互联网时代,虽然程序很复杂,但是对于形式化验证技术来说,并没有多少市场。如果程序有bug,比如微信有bug,这对用户而言并没有多少损失,而且中心化服务器端也可以将数据回滚来挽回损失。形式化验证这项技术适合代码价值很高、不是特别复杂的程序,区块链就是用有限的代码数量来控制价值很大的东西。还可以再举个例子来明这一点,比如对安全性要求最高的或许是无人驾驶车,但是从黑客的角度来看的话,与其攻击无人驾驶车,不如攻击智能合约、钱包,得到的价值更大。Odaily星球日报:目前,行业里有其它安全公司在使用形式化验证技术,CertiK在这个方向的技术壁垒是什么?VilhelmSj?berg:验证复杂度是一个很难的事情,以前一直被业界认为是不可能的。邵中教授至少花了3年时间,才第一个真正解决了在多线程的环境下,如何证明一个复杂系统的正确性,所以说,CertiK本身具有先发优势。我们通过深度规范技术,来验证了自己研发的CertiKOS防黑客操作系统,后来美国国防部请谷歌团队对CertiKOS防黑客操作系统进行攻击,但是攻击了一个月都没有成功。此外,我们最近开发了第一代高性能智能合约自动检测引擎CertiKAutoScanEngine,用户上传智能合约后,该引擎可以自动进行扫描并定位出漏洞。整个过程实现了最大化机器验证,对人力的依赖非常少。Odaily星球日报:CertiK于2015年提出了分层结构理论,如何理解分层结构?VilhelmSj?berg:举个例子,比如我们使用一个数字,计算机的内存是有限的,不可能表示出任何数,计算机每次碰到一个数字的时候,都需要考虑到这个数字的这样几点:数字的精度、数字的范围,有没有溢出。如果你每次用数字时,需要重新来验证,是个没有多少意义的事情。所以,不如把整个数字的证明做成一个layer。比如整数本身在代码里是如何表征的,我们把它证明正确,直接做成一层。以后每次用整数的地方,就直接调用这一层。具体到每一层究竟是如何的,我简单举例来说明:第一层,可能是证明整数是否在range内的。第二层,可能是来证明加减乘除的准确性。第三层,可能就是证明乘方/开方。当然,后面还会有很多层。通过建这种模型,就可以节省大量的计算。所以说这个技术在经验方面很重要,我们团队之前已经研发出很多层,其他人如果也想做形式化验证,需要从头开始研发,而我们已经可以基于此前的研究,来构建更多商业逻辑上的东西。Odaily星球日报:CertiK的商业化模式中,除了提供中心化验证服务,还有一个是去中心化的安全验证系统,这两部分如何协调?而且去中心化的安全验证系统具体指的是什么?VilhelmSj?berg:中心化验证服务主要是由我们自己先把一个复杂的系统进行分层,然后再把每一层的计算分给社区来执行,也就是交给去中心化的安全验证系统。去中心化的安全验证系统的目标主要两个:一个是借助更多的计算资源,相比于POW这种没有意义的计算,我们的目标是把计算变得有意义。用户提供算力,计算出了一个证明方法,然后这个知识大家可以共享。而且整个验证过程是透明的,用户可以接入区块链,来看到整个验证过程。另一个是希望借助整个社区的证明能力,构建一个去中心化的关于形式化证明程序方法的知识库。比如说你知道对某个程序的证明方法,但我可能是不知道的,通过借助通证经济,可以让这个证明方法被共享出来。如果是我直接花钱买了你的证明方法,这个知识实际上并没有被共享。对于社区用户来说,我们目前在开发一整套的工具以降低用户门槛。社区用户可以有多个角色,你可以进来提交需要验证的程序,也可以分享计算资源,还可以定期对引擎本身进行评估等等。Odaily星球日报:在区块链安全领域,CertiK对于未来的发展规划以及目前的合作进度如何?VilhelmSj?berg:智能合约这方面目前需求最大,CertiK以智能合约为切入口,逐渐侧重于对区块链基础设施的安全,从而布局整个区块链生态系统的安全问题。区块链基础设施的安全问题很重要,比如PaymentChannel,如果底层的VM或者其它链本身的支付通道有问题,那么智能合约必然会有安全问题。在合作方面,CertiK目前主要与公链、交易所展开了合作:公链方面,CertiK和NEO、星云链、Qtum量子链、本体、ICON、Waves等项目有合作,主要负责对公链的VM进行安全审核。此外,我们目前也在争取与以太坊的合作。交易所方面,CertiK和火币、OKex、Gate、KuCoin、FCoin等有合作,主要负责交易所上币项目的安全审计,之后还会针对交易所对安全的需求点来提供服务。此外,币安还是CertiK的种子轮投资者。Odaily星球日报:您觉得区块链安全行业面临的最大的挑战是什么?VilhelmSj?berg:最大的挑战在于工程、研究方面。工程的实现需要一个强大的团队;研究方面还有一些问题没有解决,比如有些语言的特性很复杂;开发人员依赖的工具本身,其安全性有时也会有问题;又比如说我们目前正在运用形式化验证,来研究哪一种共识机制是最好的,是在数学上最公平的、合理的、最安全的。Odaily星球日报:您如何看待区块链技术面临的量子计算攻击?VilhelmSj?berg:技术方面,量子计算不会完全毁掉现在所有的加密算法,比如POW,但是量子计算会通过更多的计算,来降低攻破它的难度。而且另一方面,研究人员也在研究,如果量子计算一旦出现,我们用什么方法来保证私钥的安全性。其实,对于区块链来说,在技术方面并没有多少威胁,更多的可能还是政策方面。主要参考来源:

香飘飘奶茶官宣发布“理想星球开拓者”NFT 数字藏品:1 月 11 日,香飘飘推出“香飘飘理想星球开拓者” 数字藏品,香飘飘以No.85奶茶星空探索队为主角,设置了真香密码、快乐起飞、反EMO、茶享自由等8个不同的理想星球场景。每个星球对应SSR、SR、R三个不同等级的数字藏品。

同时,香飘飘还结合时下备受追捧的盲盒玩法,一定程度上激发了年轻消费者的收藏欲:每款生椰菠菠椰乳茶“85度暖冬礼盒”中,都有一张“香飘飘理想星球开拓者”邀请卡,根据卡片提示,可随机获取一款数字藏品,开拓属于自己的“理想星球”。[2022/1/11 8:41:06]

1.星球研报|2018年区块链技术安全服务行业报告2.CertiK白皮书3.“军用级别”防黑客?「CertiK」要用形式化验证技术保护智能合约和区块链生态的安全4.CertiK首席科学家VilhelmSj?berg:建立值得完全信赖的智能合约和区块链生态系统|星球日报P.O.D大会5.智能合约安全之形式化验证研究报告6.成都链安科技CEO杨霞:80%的智能合约都存在安全漏洞

UCC联合商业社区比特星球已于4月28日正式上线:据官方消息,比特星球(Bitstar)是一个基于区块链的短视频娱乐生活分享平台。平台采用UCC联合商业社区的分布式商业区块链技术解决方案,实现平台上的内容创作者、分享者、KOL、消费者、广告主等用户对数据和流量的创造被公平确权,对数据和流量的使用变得公开透明可追溯,帮助海量用户获得视频商业和数字经济时代红利。

UCC联合商业社区是一个分布式商业生态社区,由全球区块链技术专家、投资银行和商业咨询机构专家于新加坡发起成立,旨在为分布式商业应用提供泛技术与经济解决方案。目前,社区内已有黑金公社、Flash TV、比特星球等商业应用落地,比特星球的加入将为社区生态带来海量用户,进一步完善分布式商业。[2021/4/29 21:09:41]

网易星球推出新玩法:5月10日,网易星球微信公众号发消息称,5月14-16号,网易星球将推出新玩法,有抽奖+拍卖两种方式。[2018/5/10]

网易星球团队回应质疑:黑钻不是代币:网易星球团队就竞拍活动引发的质疑进行回复表示,黑钻不是代币,此次竞拍活动是一次正常的市场运营活动,网易星球后续将会引入更多的合作企业,不定期持续举行黑钻拍卖。同时,市场上出现的黑钻交易的信息都是虚假的,与网易星球没有任何关系。[2018/3/28]

网易星球产品尚在内测中 不会支持黑钻交易:网易星球负责人近日表示,网易星球产品还在内测中,需要邀请码才能注册。网易星球客户端主页显示“黑钻竞拍”功能,该功能还未上线。网易星球负责人顾费勇表示:“肯定是不支持交易的,这只是一个活动形式。”[2018/3/7]

标签:区块链TIKERTcertik区块链技术通俗讲解中山大学DETIK TokenLiberta Financialcertik币价

火币交易所热门资讯
HEC:星球日报 | 央媒称区块链将给商业银行带来颠覆性变革;迅雷合作新大陆,发布链享云;小米尝试广告+区块链业务

头条《国际金融报》:区块链技术很可能将会为商业银行带来颠覆性的改变9月17日,人民日报社旗下的《国际金融报》发表文章《商业银行区块链应用未来可期》称,区块链技术的出现.

1900/1/1 0:00:00
BIT:星球日报 | 交易所BTK疑似网络跑路;火币通过控股获日本牌照;OKex遭质疑操纵交易量

头条星球独家|匿名投资者:在数字资产交易所BTK买的USDT无法提现,目前已有超300人维权知情人士向Odaily星球日报称,在数字资产交易所BTK买的USDT无法提现.

1900/1/1 0:00:00
EOS:星球行情 | 比特币多空双爆,市场行情分歧加大

全球数字资产市场在昨日震荡之后在今日凌晨迎来一波快涨快跌行情,随后市值表现稳定。在昨日晚间17:00开始,市值开始缓慢下跌,从2000亿美元缓慢下跌至1960亿美元,随后小幅回升,在第二天早上2.

1900/1/1 0:00:00
WEB3:俄版“济州岛”?加里宁格勒或设立俄罗斯首个受监管的数币交易所

上周,专司俄罗斯数字经济监管的RUIE专门成立了一个工作组,以便对所有加密数字货币的法律和监管问题进行集中处理。同时,RUIE工作组将依据现有的“数字金融资产法”草案制定加密数字货币监管框架.

1900/1/1 0:00:00
加密货币:委内瑞拉石油币稳步推进?美国的“制裁之剑”紧随其后

美国正在步步紧逼委内瑞拉。据News.bitcoin报道,美国两党的多位参议员正在推动一项今年9月24日首次提交的议案,要对委内瑞拉的加密数字货币石油币展开更严厉的制裁.

1900/1/1 0:00:00
区块链:京津冀首个区块链产业园落户曹妃甸

今年以来,政府对区块链技术的扶持,让区块链行业的注意力从币圈转移向偏技术和应用的领域。各地区都在积极进行关于区块链技术的产业园建设,以期形成规模化的发展。近日,曹妃甸大数据区块链产业园正式成立.

1900/1/1 0:00:00