木星链 木星链
Ctrl+D收藏木星链

区块链:如何利用零知识证明改造区块链

作者:

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

编者按:本文来自:以太坊爱好者,作者:RonaldMannak,翻译&校对:曾汨&阿剑,Odaily星球日报经授权转载。已经有许多技术博客发表了关于零知识证明的文章。最近,我自己写了一篇文章,比较了新的通用型zk-SNARK。我注意到,用浅白的语言来解释ZKP用例的文章还寥寥无几。其实,ZKP不仅仅可以用于保护隐私,由于其丰富多样的功能,ZKP甚至可以改变区块链运行的方式。首先:简洁的区块链,从GB到KB

因为区块链的数据规模会随着新区块的产生而不断增长,所以其规模可能会变得很大。这是设计使然,我们已经开始接受这一现实。然而,最近上线的Coda测试网却有些与众不同。首先,Coda的区块链数据规模恒定,并不会增长。其次,它的整条区块链大小只有22kb!这意味着哪怕你用一台上世纪80年代的Commodore64或者ZXSpectrum来跑节点也毫不费力。然而,相较于传统的区块链而言,Coda的安全性有过之而无不及。还有越来越多的项目正在朝着这方面发展:Mir和Starling将在不久后启动与Coda相似但功能更加丰富的“简洁的区块链”。那它们到底是怎么做的呢?任何一个运行过区块链节点的人都经历过这样的痛苦:同步一个节点需要耗费几个小时甚至数天。区块链的数据量往往非常巨大,以至于绝大多数家庭的电脑硬盘和带宽都达不到运行节点的要求。这就导致了中心化。即便是像以太坊这样广受欢迎的区块链,全网也只有大约10,000个节点。其中大部分节点还是被托管在AWS上的,并且归属于少数实体。区块链并没有许多人认为的那样去中心化。为什么同步一条区块链要花这么长的时间?有两个原因。第一个原因显而易见:下载数百GB甚至更多的数据需要耗费一段时间。其次,当节点下载完数据后,还需要对整条区块链进行验证,因为可能会有恶意的节点给你发送错误的数据。要想验证一条区块链,必须从创世区块开始重放:执行第一笔交易,确认计算出的状态与下载到的状态一致。然后验证下一笔交易,直到你验证完整条区块链中所有的交易。这样做既耗时费力;而且在你之前,已经有成千上万的节点执行过同样的计算。但这样做是必要的,因为在传统的计算模式中,知道计算是否正确的唯一方法就是重新再算一次。这对于小型计算来说还好,但对于比较大的计算量而言就不太友好了,比如重放区块链。利用ZKP改善效率及带宽利用

陈茂波:如何将虚拟资产服务提供者纳入合适规管是特区政府的重点所在:金色财经报道,香港财政司司长陈茂波接受《大公报》最新访问时提到虚拟资产发展,特区政府去年发表有关虚拟资产在港发展的政策宣言,阐明政府为在香港发展具活力的虚拟资产行业和生态系统而订定的政策立场和方针,近期亦积极推动Web3生态圈发展。陈茂波表示,如何将虚拟资产服务提供者纳入合适规管,保护投资者利益,同时又保持金融稳定和安全,是特区政府的重点所在。[2023/6/23 21:56:03]

事实证明,有一种技术可以在无需重新计算的前提下降低验证计算结果的成本:零知识证明,而zk-SNARK可能是所有零知识证明技术中最出名的。所以到底怎么结合呢?我们必须将区块链的重放函数用zk-SNARK重写一遍。zk-SNARK将输出两样结果:初始输出和一个小型的数学证明,用于证明该计算结果是正确的。这个证明可以小到只有200Bytes(是的,你没看错,不到1KB)。无需让所有的计算机都执行重放函数。只需要有一台计算机创建证明,其它所有计算机都可以按自己的需要验证结果。验证只需要花费几毫秒,不论初始的计算花了多长时间。这些证明可以发布到网络上、通过U盘传播,甚至打印在T恤上。如果有一个恶意的节点改动了余额,那么其证明就会和结果不匹配,所有验证者都会拒绝该状态。如果恶意的节点对zk-SNARK的代码动了手脚,其结果也会被其它节点拒绝。我们已经摆脱了对重复进行昂贵计算的依赖,同时也不再需要下载整条区块链了。你只需要下载当前的状态加上一个很小的证明,用于证明当前状态是有效区块链的一部分,然后花费几毫秒来验证计算结果。递归组合

观点:目前行业内是一个沉淀期,builders应该更多去focus在如何解决问题:近日,BeWater DevCon 2022 全球开发者大会在硅谷湾区成功举办,来自Polychain Capital, Uphonest Capital, DFG Capital, Foresight Ventures的嘉宾进行了圆桌讨论,围绕“VC如何在熊市中投资和支持Builders”。Polychain Capital的Jacob Philips表示,目前行业内是一个沉淀期,builders 应该更多去focus在如何解决问题。Uphonest Capital的KJ表示,VC应该作为共同创业的伙伴,而不仅仅是投资就不管事儿了。DFG Capital的Joanna表示,这个熊市的基本面已经和18年19年的熊市大不一样,基础设施得到大量发展,让大家多多探索

Foresight Ventures的Suning表示,builder可以在熊市多做一些新尝试,比如在开发语言方面,尝试Move或Cairo,探索全新生态的可能性。同时作为Foresight Ventures也会更多关注真正颠覆性的创新,以及围绕DAO或者NFT等的crypto-native的文化发展。[2022/6/24 1:29:46]

验证证明的过程非常快,可创建证明的过程呢?事实证明,创建证明所耗费的时间并不是固定的,相较于传统的计算而言,该过程在计算和内存方面要低效得多。事实上,尽管采用了zk-SNARK的重放函数听上去很美好,但它实践起来并不是一个优秀的解决方案。它会消耗巨大的内存,甚至比最初的非zk-SNARK重放函数还要慢。但如今有了另一种优雅的解决方案。通过一些小技巧,我们可以使用递归的zk-SNARK。通过递归,我们不再需要从头开始验证区块链,而可以在上一个状态的基础上构建新的状态。这要快得多。请注意,递归的zk-SNARK并没有非递归的zk-SNARK效率高,但最近zk-SNARK构建已取得了巨大的进步。递归的zk-SNARK程序使用上一个状态、该状态的证明以及新的交易作为输入。它验证上一个状态,并检查新状态中的交易是否有效。如果有效,它将输出新状态及其证明。一旦新状态和证明分发到了网络中,所有节点都可以直接抛弃旧的状态,而不用担心产生任何负面后果。新节点只需要下载最新的状态及其证明就可以了。这就为什么Coda、Mir、和Starlin能实现数据规模恒定的区块链。在我们上一个例子中,只有一个节点会创建新的区块及证明。很显然,并非所有区块都必然是同一个节点产生的。例如,可以从众多节点中随机选择一个节点来创建区块,节点们甚至可以在内部选出节点来出块,且无法作恶)。我们甚至可以做的更好。我们可以将区块生产的逻辑划分为多个zk-SNARK。最终的结果就是区块生产者不需要再保存整条区块链,而只需要保存上一个状态。这种解决方案可以小多少呢?一个常规的Coda节点只需要占用22KB的空间用于存储证明、当前状态和指向一个余额的默克尔路径。通过22KB的存储,节点可以验证整条区块链、查询余额、以及创建交易。但要想生产区块,节点需要做更多的操作:它需要上一个状态的全余额默克尔树。默克尔树的大小取决于钱包的数量。即便Coda拥有的钱包数量和以太坊一样多,一个Coda的区块生产者仍然只需要1GB大小的存储空间。而最小的以太坊全节点则需要230GB。这是一个巨大的差距。通过这种方式,网络中会有更多活跃的节点,进而增加其去中心化程度,并为与区块链交互的程序开辟了许多新的可能性,而不用再借助诸如Infura或Metamask等解决方案。考虑到99%的用户在安装Metamask之前就已经放弃了,这应该会带来巨大的影响。感谢DanielLubarov(Mir)、ShaneVitarana、StanvandeBurgt、TaariqLewis、和DmitriyBerenzon对本文的校对。

声音 | 王小云:区块链技术创造性地解决了如何在无许可环境下达成共识的问题:12月7日,由中国科学院学部主办的“区块链技术与应用”科学与技术前沿论坛在深圳举行。中国科学院院士、国际密码协会会士王小云在题为“Hash函数与区块链技术”的演讲中表示,密码是保障网络与信息安全的核心技术和基础支撑,加密算法、数字签名算法和Hash函数是密码学三类基础算法,其中Hash函数是区块链的起源性技术。她指出,区块链技术的出现,创造性地解决了如何在无许可环境下达成共识的问题。区块链共识协议的一致性,确保了所有用户记录的区块链数据相同;链增长速度,确保了区块链区块数量增长速度的稳定;链质量,确保链区块链中敌手生成的区块数量不超过可容忍比例。[2019/12/7]

声音 | Circle首席执行官:加密和区块链产业是对公民社会最终如何运作基础的再设计:据Cointelegraph消息,Circle首席执行官Jeremy Allaire在世界银行集团和国际货币基金组织(IMF)2019年春季会议上表示,加密和区块链产业是对公民社会最终如何运作的基础根本性的重新设计。Allaire认为,加密和区块链产业不仅关乎数字支付,还关乎一种新的基础设施,用于记录重要信息,并为构建解决方案提供一个更加去中心化、更具弹性的基础。[2019/4/12]

中国信通院云计算与大数据研究所所长何宝宏:区块链中如何使用共识机制是大问题:中国信通院云计算与大数据研究所所长何宝宏:区块链是唯一崛起于草根的颠覆性技术,越来越多的行业应用正在采用分布式账本技术;在区块链中如何使用共识机制是大问题,当信任缺失时,共识机制十分消耗算力;区块链技术人才需求朝复合型方向发展。[2017/12/22]

标签:区块链ARKNARODA区块链运用的技术不包括quarksrnArt GalleryKODACHI币

比特币行情热门资讯
KKT:星球前线 | 母公司ICE信心满满:Bakkt是关键增长举措

Odaily星球日报译者:念银思唐纽约证券交易所和加密交易所Bakkt的母公司洲际交易所在2019年第四季度的财报电话会议上公布了2019年的亮眼业绩.

1900/1/1 0:00:00
LIB:对话Mikko:货币学者眼中Libra和DCEP的本质

2019年,Libra和DCEP无疑是行业中影响力最大的事件了。从小众的区块链金融创新,到宏观层面上的大国金融博弈,很多人应该是切身体会到了被时代浪潮裹挟前行的茫然感.

1900/1/1 0:00:00
EOS:链游特点揭秘:3款放置类链游玩法和奖励机制比较分析

DegameLabs之前的文章里已经对区块链游戏的特点以及一些技术机制进行了介绍,那么说了这么多区块链游戏的好处,链游玩起来到底是什么感觉呢?本系列就选取当前市场成绩不错的一些链游产品.

1900/1/1 0:00:00
VIT:Vitalik关注的加密经济学问题,如今解决了吗

编者按:本文来自巴比特资讯,作者:海伦,星球日报经授权发布。春节闭关在家,静下心来读完了《理想》这本书,书中收录了以太坊创始人VitalikButerin从2013年到2018年的优秀作品,话题.

1900/1/1 0:00:00
数字货币:从达沃斯世界经济论坛,看区块链和数字货币的三大发展趋势

编者按:本文来自链内参,作者:内参君,Odaily星球日报经授权转载。2020年瑞士达沃斯世界经济论坛已经圆满落幕。在今年这场全球政要、经济学家、企业家的思想盛宴上,区块链和数字货币大放异彩.

1900/1/1 0:00:00
数字货币:为什么世界需要匿名加密货币?

上一讲我和大家分析了区块链行业里“智能合约”这个领域。这一节课我和大家继续分享“区块链行业成熟的领域”中的第三个细分类:“隐私货币”.

1900/1/1 0:00:00