时间: 2024-06-16 13:28:04 | 作者: 企鹅电竞手机网页版登录
ge Proof或Zero-Knowledge Protocol)是一种基于概率的验证方法,它包括“类似事实的陈述”和“关于个人知识的陈述”。 验证者基于一定的随机性来询问证明者,如果证明者给出的答案正确,那么证明者将有很大概率会拥有其所声称的“知识”。零知识证明可以在不透露使用哪种货币的情况下验证你确实花了钱。
如今,零知识证明已经被许多区块链项目视为最好的隐私保护方案之一。能够在不泄露数据的情况下,来证明数据的真实性。
在本文中,我们将会解释神秘的零知识证明(Zero-Knowledge Proof)及其当前的应用。
数据隐私是当今社会最重要的课题之一。保护与个人身份有关的个人数据(出生日期、银行证明、交易记录、教育证书)是至关重要的,并且其重要性将不断提高。
在科技时代,我们正在创造着前所未有的海量数据,而且我们也在不断创造着关于自身的可供掠夺的数据。
像Google和Facebook这样的大公司利用我们的数据成为了当今世界的科技巨头。然而,最近密码学的突破和区块链的兴起为保护我们的数据和身份信息提供了新方法。零知识证明或许就是答案。
零知识证明是麻省理工学院的研究人员在20世纪80年代提出的一种加密方案。零知识证明协议是指一方(证明方)可以证明某事对另一方(验证方)来说是真实的。除了此特定陈述属实之外,不会透露其他任何信息。
例如,当前网站将用户密码的Hash散列值储存在其web服务器中。为了验证客户端是不是真的知道密码,大多数网站目前使用的方法是要求客户端输入密码的hash散列,并将其与储存的结果进行比较。
零知识证明可保护用户账号不被泄漏。若能实现零知识证明,那么客户端密码对任何人来说都是未知的,但是仍旧能对客户端登录进行身份验证。当服务器受到攻击时,用户的账户仍然是安全的,因为其密码并没有被储存在web服务器中。
零知识证明可大致分为「交互式」和「非交互式」两种。接下来我们就一一来看看这两种证明方式有哪些不同。
零知识证明协议的基础是交互式的。它要求验证者不断对证明者所拥有的“知识”进行一系列提问。
例如,如果有人声称自己明白数独游戏的答案,零知识证明的过程就是验证者需要随机指定要通过列、行或九个正方形进行验证。
每轮测试不必须了解到具体的答案,只需要检测数字1~9是否包含在内。只要验证的次数足够多,就有理由相信证明者是知道数独问题答案的。
然而,这种简单的方法并不能使人相信证明者和验证者都是真实的。在数独这样的一种情况下,两者能提前串通,以便证明者可以在不知道答案的情况下依然通过验证。
如果他们想要说服第三方,验证者还必须要证明验证过程是随机的,并且他不会向证明者泄漏答案。
因此,第三方难以验证交互式零知识证明的结果,要向多人证明某些东西的话则需要额外的努力和成本才行。
顾名思义,非交互式零知识证明不需要交互过程,避免了串通的可能性,但是在大多数情况下要额外的机器和程序来确定实验的顺序。
例如,在数独这个例子中,由程序决定要验证的列或行。验证序列必须保密,否则验证者可能会在不知道真正“知识”的情况下通过验证。
比特币和以太坊都是用公共地址来代替当事方的实际身份,使交易部分匿名,公众只知道发送和接收的地址以及交易的数量。然而,能够最终靠区块链上可用的各种信息(如交互记录)找出地址的实际身份,因此存在暴露隐私的可能。
零知识证明,可以在发送方、接收方和其他交易细节都保持匿名的情况下,保证交易有效。
zk-SNARK技术减少了证明的大小以及验证所需的计算量。它能够在不泄漏有关地址和相关有价值的任何关键信息的情况下证明有效交易条件得到了满足。
zk-SNARK将需要验证的交易内容转换为两个多项式乘积相等的证明,并结合同态加密和其他先进的技术,在执行交易验证时保护隐藏的交易金额。
将代码拆分为可验证的逻辑验证步骤,然后将这些步骤拆分为一个由加法、减法、乘法和除法组成的运算电路;
进行一系列变换,将待验证的代码转化为多项式方程,如t(x)h(x)= w(x)v(x);
为了使证明更加简洁,验证者预先随机选择几个检查点s 来检查这些点的方程是否为真;
通过同态编码/加密,验证者在计算方程式时不知道实际输入值,但仍旧能进行验证;
在方程的左边和右边,同时乘以一个不等于0的秘密值k。当验证(t(s)h(s)k) 等于(w(s)v(s)k)时,具体的t(s)、 h(s)、 w(s)和v(s) 是不可知的,进而达到保护信息的目的。
但zk-SNARK并不是完美的。当前zk-SNARK实现中的一个缺陷,是需要提前设置参数。如果这些参数被泄漏,那么整个网络将面临毁灭性的打击。因此,在使用这一些网络时,用户必须坚信参数不会被泄漏。
可能的解决方案包括使用现代“可信执行环境”,如因特尔 SGX以及ARMTrustZone。对于因特尔的SGX技术来说,即使应用程序、操作系统、BIOS或VMM受到威胁,私钥也是安全的。
根据zk-STARK 白皮书,zk-STARK是第一个在不依赖任何信任设置的情况下实现区块链验证的系统,随着计算数据的增加,计算速度呈指数级增加。
它不依赖于公钥加密系统,更简单的假设使其在理论上更安全,因为它唯一的加密假设是Hash 散列函数(例如SHA2)是不可预测的。
不可否认的是,零知识证明和zk-S(TN)ARK技术的测试和采用都将需要一定的时间。但是对于区块链底层开发平台来说,如何兼顾性能和安全性是至关重要的。也许只有零知识证明等密码学技术被更多应用的时候,区块链这项技术才能被更好地推动。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。举报投诉
,使用私钥加密并对证书进行签名;接下来创建一个哈希值,用来验证证书内容是否被篡改;最后,再次使用私钥在比特币
、规则完善、不存在后台操纵、不存在恶意引导消费的游戏环境是一个好的游戏生存下去的最重要的指标;其次,
技术,是继蒸汽机、电力、信息和互联网科技之后,目前最有潜力触发第五轮颠覆性革命浪潮的核心技术。近来,
概念公司股票价格暴涨,国内金融机构、网络公司、IT企业和制造企业都在积极投入
快速切入发展金融科技产业为主,自2016年各家金融机构、交易所(币安、火币网、AT交易所、ZB网 ...)纷纷加大力度引入
`span style= 我们大家都知道比特币是基于
的核心,它是一种以关键方式构建的突破性计算机编程语言,与人的心智非常相似。正如我们的记忆通过联想而联系在一起一样,鸡汤的味道可能会唤起人们对孩子
就被列为峰会上的重要议题,之后就在今年1月份举办的瑞士达沃斯世界经济论坛
的信息可能被转换为一串密文,人脸图像信息也被加密。他在酒店办理入住时,仅需通过应用将身份证号码密文发送给酒店,酒店将信息同
试验成功了,那么它能不能在法定的数字货币也能获得成功?国家法定数字货币是由央行发布的中心化数字货币,但
中进行展示,这样交易的各方就不用担心某一方篡改合约或者其他的信息不对称问题导致的利益的损失。 第二方面,
技术最大的行业应为医疗行业。因为病人的医疗记录和信息在任何一个时间里都是需要予以保密的,而中心化数据库和文件柜都不再是个
技术子集的总称。从语音模式识别到无人驾驶,人工智能的目标是让机器从大量数据流中收集的
的去中心化系统开发的各种去中心化运用,从技术的可行性视点来看,现在一切的互联网运用皆可通过
售商的销售业绩来推动生产者的进步,通过生产者之间的竞争来推动发展,拓展业务。2) 对于
P1 Linux下Go安装 P2 搭建go-ethereum P3 搭建
技术,将用户的实名、合同发送、签署等信息实时记录。合同签署方能获取一部分权限来查询这一些信息,法律服务商可以调取这一些信息充当法律
`span style= 随着
曾经作为比特币基础研发理念 在2013年渐渐的走入大众视野 但是当时他只是作为比特币的“附属品”出现 2015年
技术从“比特币”的概念中分离出来 成为独立研发的研究方向 其发展依赖于金融
中的所有参与者(酒企、酒厂、酒商、用户)都是一个共同的信任体系。无论任何环节错误,都可以查询所有记录。
项目。“天下熙熙,皆为利来;天下攘攘,皆为利往。”以商业活动为主的经济体系负责营养的东西在整个世界的流通。商业活动的兴起
参与者有可能看到竞争对手、供应商与客户之间的所有成本、交易和库存,从而建立一个更公平和更存在竞争力的市场
技术,以全球具有公信力,流通量更大的数字货币为介质,并接入全球各大数字资产交易所流动性,满足高效兑付需求,以此来实现商业消费、支付、结算功能。
游戏在很早以前就有了,比如说在以太坊出来的时候,大家慢慢地就会想把游戏的概念丢到
是否有病人的核可并进行交流。▲多样的诱因奖励设计:可以构思提高病患接受专业的治疗服务的诱因,若病患遵照护理计划,定期预约并保持健康,他们可能可以透过
技术和产业创新方向 我们生活的这个时代是“互联网+”时代,从人工服务到数据服务的转变 象征着
行业发展,金融领域应用方向?2018年5月28日,******在中国科学院第十九次院士大会、中国工程院第十四次院士大会上的讲话中提出,“以AI、量子信息、移动通信、物联网、
,以及企业信息技术服务、金融科技服务。在多主体参与的环境中,合作的基础是信任和利益分配。
作为一种分布式的账簿,为所有参与者提供了一个平等的合作平台,降低了机构间信用合作的风险和成本。
应用技术中,所有事务都记录在块中。记录的形成不能被篡改。因此,可以对所有交易进行跟踪
金融界将是跨时代的进步,因为能节省大量的对账、储存、清算的中间环节,据桑坦德银行数据,到2022年,
“重塑”或者颠覆。不可否认的是,经过这几年的快速地发展,APP正在走向衰落。DAPP优点是应用体验及运维成本DAPP使用者真实的体验由于
是一种数据库技术,具体讲就是一种账本技术。账本记录一个或多个账户资产变动、交易情况,其实是一种结构最为简单的数据库,我们平常
开展服务的人,可以往这个系统中的任意的节点进行读写操作,最后全世界所有节点会根据某种机制的完成一次又依次的同步,从而实现在
技术正是起源于这样的网络社区组织。2008年11月1日,一个自称中本聪(Satoshi Nakamoto)的人在一个隐秘的密码学讨论组
,DENC的底层架构还包括其他重要的分层,其中最重要的正是“***络层”。在币圈和
,DENC的底层架构还包括其他重要的分层,其中最重要的正是“***络层”。在币圈和
,未来怎么样打造差异化竞争之路?利用物联网终端设备安全可信执行环境,可以将物联网设备可信上
、火币资讯、币世界等纷纷中招。腾讯方面对此表示,部分公众号涉嫌发布ICO和数字资产交易抄作信息,违反
信息读写技术中读写产品信息的方法有哪几种?小白求助,求基于Hyperledger Fabric的农产品
:将新疆企业的人与红枣的质量身份通证,不管是种植、采摘、生产加工,检测,包装,仓储物流,经销
的协议做相关操作。17、DAO——去中心化自治组织可以认为是在没有一点人为干预的情况下运行的公司
是不成问题,但就算你真的做了出来,我也没理由去接受的那些产品,你真心没必要去花什么心思或者财力。另外,请小心
的关系,2017年,物联网慢慢的变成了当之无愧的热点。电信运营商、互联网公司、实体制造业以及众多的创新企业都全部杀入这一领域。然而,物联网产业是一个超级碎片化的领域,不论是现在就已经...
创建的一条不变的审计线索包括相应的数据,以提供从矿山到终端制造商生产钴的证据。除了
部件的可追溯性外,汽车公司也慢慢变得需要能够跟踪软件更新。一些高端车辆包含超过1亿行代码,所有这些软件都必须保持
,这些站点都会独立验证记录。此外,每个记录都建立在上一记录之后。因此,即便大多数社区成员同意修改某一历史记录
慢慢被大家熟知,慢慢融入我们的生活,关于它的话题就没有停止过,越来越火热,币圈的投资者们在近来几个月内,随着币价的的变化也经历着心情的跌宕起伏。业界被骗丑闻频出,正值不稳定
。这三种技术和更多的技术最终将流畅地协同工作。例如,物联网将生成关于我们周围发生的一切的数据。AI可以在没有人指导的情况下,根据物联网提供的新信息做出决定。在这一切的基础
,虽然很多人能够叫得出名字,但真正了解的却不多。所以AT为大家理了。
大带宽 高防护 配置高服务器r410r610 曙光E5-2620百兆独享带宽 国内外G口 联系666idc-海绵6950871 六九五
”“大数据”,作为2018年战略科技发展的新趋势热点。自互联网、生物技术、人机一体化智能系统后,又为第四次工业革命增添试点。说道
,其实这并不新鲜,以往我们很多时候用的是发行量大的报纸和真人照片进行存在性
形成均由所有网络节点一次性执行。 这大幅度减少了最终验证交易所需的时间。
,其实这并不新鲜,以往我们很多时候用的是发行量大的报纸和真人照片进行存在性
的情况下,验证者可以验证某个论断是正确的。图1给出一个有趣的例子,Alice把自己的签名的信封放到一个保险箱中,Bob说他了解这一个保险箱的密码,Alice让Bob