月亮链 月亮链
Ctrl+D收藏月亮链

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

作者:

时间: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改善效率及带宽利用

法律专家:Mango Markets案例会影响DAO未来如何实施其法律和治理结构:2月4日消息,加拿大律师事务所McMillan LLP的合伙人Benjamin Bathgate表示,针对所谓的Mango Markets漏洞利用者Avraham Eisenberg的诉讼可能会影响DAO未来如何实施其法律和治理结构。Bathgate表示,在很多情况下,DAO只是用户的集合,这是一个用户社区,也许有一个核心贡献者负责编码。管理Mango Market DAO的怀俄明州有限责任公司Mango Labs正在寻求收回剩余的4700万美元。然而,Bathgate表示,Mango Labs的诉讼不太可能成功,到那时可能会为DAO生态系统敲响警钟。

此前报道,Mango Markets攻击者Avraham Eisenberg在纽约美国地方法院第一次听证会上放弃保释。目前,Avraham正被Mango Labs起诉,要求赔偿剩余的4700万美元,他被指控犯有商品欺诈、商品操纵和电汇欺诈三项刑事罪。[2023/2/4 11:46:50]

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

波卡社区正在讨论如何限制验证者大幅更改佣金:刚刚,Web3基金会技术教育主管Bill Laboon发推提醒用户小心局。Web3基金会、Polkadot官方以及Parity都没有赠送DOT和KSM代币。与此同时,Bill Laboon还公布波卡项目进展。内容显示:1.目前验证者可以随意更改佣金比例。目前社区正在讨论如何限制佣金变动以避免佣金大幅变动,例如在获得足够多的提名者后,将佣金由0%改为100%。2.财政部已经开始讨论Elara 0.2提案。Elara 0.2是Patract Labs是为以Substrate为基础的链提供的基础设施。[2020/10/29]

验证证明的过程非常快,可创建证明的过程呢?事实证明,创建证明所耗费的时间并不是固定的,相较于传统的计算而言,该过程在计算和内存方面要低效得多。事实上,尽管采用了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月6日消息,微软中国金融行业总监李国平表示,第一,今天应用区块链技术,应该多思考如何赋能,少谈颠覆。他认为其实在从传统业态向数字生活,数字经济迈进的过程中,有很多行业场景存在痛点和短板,在整个信息化进程中如何补足现有实体经济中的这些问题,赋能现有业务,提高效率,降低成本,是区块链应用最应该思考的问题;第二,科技向善。今天的区块链技术、人工智能技术等,公众是存在认知差的。出现了认知差,就存在炒作的空间,就可能有泡沫,还包括新技术滥用数据等问题。因此在应用新的技术时,要在态度上端正,敬畏监管,敬畏客户,敬畏可持续发展,这样才能走的更远,更稳;第三,从网络效应原理来看,网络是越大价值越大。从最早的局域网到以太网到现在整个互联的世界,网络的效应是需要扩大的。因此今天谈公有链,链与链之间有没有标准?全球有没有标准?中国有没有标准?很多企业资产能不能链互链?思考和解决这些问题,有助于区块链的应用范围和价值的扩大。[2019/12/7]

声音 | 新加坡金管局高管:金管局正在研究如何通过监管应对加密货币带来的风险:据Finance Magnates消息,新加坡金融管理局(MAS)高管Damien Pang在本周四举行的年度金融科技联合大会上表示,许多监管机构和行业人士呼吁以自上而下的方式对加密货币行业进行监管。金管局正在研究加密货币带来的风险,以及如何通过监管来予以应对。 Pang称:“我们绝对需要监管加密货币,这是为了正确应对风险。例如使用加密货币为恐怖主义融资等,这是我们需要解决的问题。因此,问题不在于加密货币是否应该受到监管,而是关于(区块链)技术所带来的风险,以及我们如何在不对整个加密货币行业一网打尽的情况下,试图减轻这些风险。”[2019/6/27]

动态 | 火币中国CEO与马来西亚总理讨论区块链将如何在马来西亚落地:据雅虎财经消息,近日,火币中国CEO袁煜明与马来西亚总理马哈蒂尔(Mahathir Mohamad)就“如何在制造业和能源行业中应用区块链”以及“区块链将如何在马来西亚落地”进行了讨论。[2019/5/29]

标签:区块链ARKNARODA区块链最新应用StarSharksManariumMODA

火币交易所热门资讯
比特币:比特币秘史(八):比特币论坛关于“小吃机”的讨论_INSTAR

无人售货机是方便和快捷的代名词,比特币是所有确认交易均被打包进区块的共识网络。如果将两者结合就会形成悖论;因为没有人愿意在无人售货机前面花上一个小时等待交易被确认,而无人售货机公司也不会想白给出.

1900/1/1 0:00:00
区块链:星球前线 | 刚裁员14%的ConsenSys要跟摩根大通合并了_Genesys

Odaily星球日报译者|念银思唐在今天路透社的独家报道中,据知情人士透露,银行业巨头摩根大通的区块链部门“Quorum”和JosephLubin的以太坊加速器“ConsenSys”正在商讨合并.

1900/1/1 0:00:00
ION:瘦应用_FIRE

编者按:本文来自链闻,撰文:JoelMonegro,区块链投资机构Placeholder联合创始人,曾在2016年撰写了著名的「胖协议」一文,编译:PerryWang.

1900/1/1 0:00:00
区块链:区块链项目中的权衡:爬、走、跑_亚马逊

编者按:本文来自蓝狐笔记,Odaily星球日报经授权转载。前言:在构建加密项目时,总会涉及到权衡。因为去中心化往往意味着在项目启动上具有难度,在用户体验很难达到易用,而且成本较高,扩展性有限.

1900/1/1 0:00:00
DEF:解构DeFi生态圈,以及预言机优化DeFi生态的多种方式_DEFI

金融是一门资金管理的艺术,其主要目标是最大化资产收益。无论是把钱放在存款账户里吃利息,还是投资股票或房地产,消费者可以使用各种各样的金融工具实现不同的目标并规避各类风险.

1900/1/1 0:00:00
比特币:Bakkt期权的低交易量表明华尔街在此次比特币反弹中保持沉默_kkt币跑路了吗

编者按:本文来自LongHash区块链资讯,作者:JosephYoung,Odaily星球日报经授权转载.

1900/1/1 0:00:00