火星链 火星链
Ctrl+D收藏火星链
首页 > 比特币 > 正文

ALI:V神最担心的“zkEVM多客户端问题”,终于有解决方案了

作者:

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

本文来自cryptoslate,原文作者:Liam'Akiba'Wright?

Odaily星球日报译者|Moni

3月31日,以太坊联合创始人“V神”VitalikButerin在其官方博客上发布文章《以太坊的多客户端理念将如何与ZK-EVM交互?》,分享了他对以太坊生态系统“未被充分讨论但非常重要”的方面的思考,其中深入探讨了为ZK-EVM创建多客户端生态系统的技术挑战、生态系统权衡和潜在解决方案。

接下来,让我们来解读这篇文章的关键要点。

Layer1??安全和验证过程的重要组成部分,零知识(ZK)技术也能让开发人员在不透露任何额外信息的情况下证明交易或消息的真实性。

这意味着,交易一方可以说服另一方其发出的消息是真实有效的,而无需透露消息有效性以外的任何知识。然而,根据VitalikButerin的分析,零知识证明技术的隐私保护性质可能会破坏更广泛的EVM格局,因为以太坊客户端在实施协议规则方面存在细微差别。

V神发布ChatGPT编码试验文章,表示AI不能替代程序员:12月6日,以太坊创始人Vitalik Buterin发布使用ChatGPT进行编码试验的文章。根据其试验结果表示,ChatGPT在编码过程中会出现错误,但也介绍了一些新的编码模式,并且会加快编码速度。V神表示:人工智能正在迅速改进,我希望它能继续进一步优化,并随着时间的推移消除此类错误。然而,人工智能远不能替代人类程序员。[2022/12/6 21:26:23]

现阶段,ZKRollups中的二层协议已成功使用零知识证明技术,并通过将多个交易捆绑到一个证明中来帮助扩展以太坊区块链。然而,随着ZK-EVM发展到验证主网上的交易执行,VitalikButerin认为“ZK-EVM实际上成为了第三种以太坊客户端,与当前其他执行客户端和共识客户端一样,对以太坊网络的安全至关重要。”

V神:构建阶段0的工作远大于将ETH执行引擎集成到其中的工作:以太坊创始人V神今日在推特上表示,构建阶段0本身所做的工作远远大于将以太坊执行引擎集成到其中的工作。因此,这已经使我们非常接近将ETH 1转移到PoS中。使用以rollup为中心的方法,分片也变得越来越简单。[2020/11/30 22:33:20]

不过,一旦将ZK-EVM视为第三种类型的以太坊客户端,VitalikButerin提出了以下这样一个问题:

“实际上,我们该如何为基于零知识证明以太坊区块的正确性创建一个“多客户端”生态系统?”

随着以太坊生态系统的不断扩展,VitalikButerin希望保持“多客户端理念”的优势,同时利用ZK-EVM的功能来提高以太坊网络的可扩展性、安全性和去中心化性。

V神:加密货币最终会与更广泛的经济趋势高度相关:V神发布系列推文提到,与过去十年相比,金融在未来十年的重要性会相对较低,加密货币领域需要适应这一现实。最终,加密货币会与更广泛的经济趋势高度相关。这并不意味着他们会免受其他事物(例如障碍/干扰)的侵扰,但确实意味着叙事需要调整。[2020/6/2]

根据VitalikButerin的说法,将零知识证明技术用于多个客户端的主要技术挑战与延迟和数据效率低下有关。此外,由于对协议规则或ZK-EVM实现的特定解释,各个不同以太坊客户端处理零知识证明的方式也不一样。

那么,这些问题该如何解决呢?VitalikButerin给出了解决方案——

资料来源:vitalik.eth.limo

动态 | V神阐述如何进行ETH委托挖矿:V神回复网友提问“1.可以通过合约合租一个validator(平民化参与,共享投票身份)吗?2.一个客户端可以跑多个valifator (共享机器)吗?”表示,“你开一个validator,需要设置两个公钥:签名的公钥和取款的公钥。Phase 2后,不一定需要设置取款公钥,也可以设置取款合约。签名的私钥能withdraw,withdraw完成后validator里面的资金都给取款合约的地址。所以你开新的validator到时候,可以先发比如1以太币,设置取款合约,这个合约的规则是,谁deposit多少谁按照比例withdraw多少。一段时间后,你发withdraw的交易。现在因为奖励这个validator的balance是33.6以太币(加 5%),33.6以太币给合约,合约的规则分配1.05给你,8.4, 10.5和13.65 给其他的参与者。签名的私钥是你的,谁能withdraw多少的规则是合约定的。别人能看一个还未activated的validator的withdraw合约的规则,如果他们觉得是合理的,则他们能发他们的币给这个validator,这个是委托的方法。”[2019/10/22]

VitalikButerin相信,拥有多个客户端可以降低一次实施中出现单个灾难性错误的风险,从而提高网络的安全性和去中心化程度,而这种错误可能会导致整个以太坊网络崩溃。此外,多客户理念也有助于防止权力集中在一个开发团队或组织内,继而更好地实现网络去中心化。

声音 | Ripple CTO回应V神签证被拒一事:再申请试试,我们一直都需要优秀实习生:据ambcrypto消息, V神前几日分享了他2013年希望成为Ripple的实习生而签证被拒未能成行的经历。Ripple CTO Schwartz对此恢复称:这让我很难过,想想你可能达到的成就!再申请试试?我们一直都需要优秀实习生。不过这一回应被部分V神的支持者认为“不够尊重”,之后Schwartz表示他只是在开玩笑。[2019/4/22]

针对上述提及的ZK-EVm多客户端问题,VitalikButerin提出了三种可能的解决方案:

1、单一的ZK-EVM:放弃多客户端范式,选择用来验证区块的单一ZK-EVM。

2、封闭的多个ZK-EVM:就一组特定的多个ZK-EVM达成一致并达成共识,并有一个共识层协议规则,即一个区块需要来自该集合中超过一半的ZK-EVM的证明才能被认为是有效的.

3、开放的多个ZK-EVM:不同的客户端有不同的ZK-EVM实现,每个客户端在接受一个区块为有效之前等待与自己的实现兼容的证明。”

在ZK-EVM的背景下,VitalikButerin支持第三种,也就是开放的多个客户端ZK-EVM生态系统的解决方案,他认为不同的客户端有不同的ZK-EVM实现,每个客户端在接受一个块为有效之前等待与自己兼容的证明。

“对我来说,第三种解决方案似乎是理想的,至少直到并且除非我们的技术改进到可以正式证明所有ZK-EVM实现彼此等效的程度......”

不仅如此,一旦技术改进到ZK-EVM实现有些标准化的程度,VitalikButerin认为解决方案将是选择最有效的选项,而他还觉得“第三种解决方案的挑战似乎小于其他两个选项的挑战,至少目前如此。”不过,VitalikButerin提出开放的多个ZK-EVM可能会面临两大挑战:

延迟挑战:恶意攻击者可能会延迟发布一个块,以及对一个客户端有效的证明。生成对其他客户端有效的证明实际上需要很长时间。这段时间足够长,可能会创建一个临时分叉并中断几个插槽的链。

数据效率低下:ZK-SNARKs的一个好处是可以从区块中删除仅与验证相关的数据。例如,一旦你验证了一个签名,就不需要将签名保存在一个区块中,你可以只存储一个表示签名有效的位,以及区块中确认所有签名的单个证明。但是,如果希望能够为一个区块块生成多种类型的证明,则需要实际发布原始签名。?

Layer2??

随着时间的推移,VitalikButerin建议可以将第1层每个区块的gas目标从1500万减少到100万,足以让一个区块包含一个SNARK和一些存款和取款操作,但其他的不多,从而强制几乎所有用户活动移动到Layer2?协议。

选项2?:SNARK-验证Layer1?

VitalikButerin表示可以编写更多的SNARK代码来验证区块共识,但这将是一个具有挑战性的工程问题:现阶段,ZK-EVM需要几分钟到几小时来验证以太坊区块,如果采用该方案则需要:改进以太坊本身以删除对SNARK不友好的组件通过专门的硬件获得巨大的效率提升么(iii)通过更多的并行化改进架构。

PoS共识端进行更全面的SNARK验证。

3、客户端可能会开始尝试使用ZK-EVM来证明自己的以太坊块执行,特别是当无状态客户端并且没有技术需要直接重新执行每个区块来维护状态的时候,可能会从客户端通过重新执行它们来验证以太坊区块,再过渡到大多数客户端通过检查SNARK证明来验证以太坊区块。?

4、ERC-4337和PBS生态系统可能会很快开始使用BLS和证明聚合等技术,这样可以节省大量gas成本。?

值得一提的是,VitalikButerin还对最近人工智能技术的快速发展大加赞扬,他觉得人工智能的进步可以“加速”证明ZK-EVM实现的发展。“从长远来看,当然任何事情都有可能发生。也许AI会加强形式验证,使其可以轻松证明ZK-EVM实现等效并识别导致彼此之间差异的所有错误。”

标签:ALI以太坊VITATALAlien Wars Gold以太坊交易犯法吗vita币官网FinShi Capital

比特币热门资讯
比特币:比特币转向28000支撑,这四个代币似乎将逆势上涨

如果BTC、ETH、MATIC、HBAR和EOS突破各自的上方阻力位,它们可能会回升势头。由于硅谷银行和SignatureBank倒闭,SilvergateBank因严重的财务困境而进入清算程序.

1900/1/1 0:00:00
区块链:Beosin:Optimism 上借贷协议 Kokomo Finance 对 cBTC 合约中剩余的资金进行 Rug Pull,涉及金额约 140 万美元

ForesightNews消息,据区块链安全审计公司Beosin旗下BeosinEagleEye安全风险监控、预警与阻断平台监测显示,2023年4月1日.

1900/1/1 0:00:00
加密货币:加密市场近期应该关注哪些板块和事件?

目前推动加密货币涨幅有三大的动力,分别是「银行危机的避险情绪」、「稳定币资金外流」以及「对Fed降息预期」,首先是来自美国与瑞士银行倒闭危机下的避险情绪.

1900/1/1 0:00:00
ARB:社区引发争议的提案,“请求”还是“批准”?

今日,一则关于Arbitrum这一明星项目的新闻引发了社区争议,且仍在持续发酵之中。根据周日早些时候一名员工的博客文章,Arbitrum基金会在其代币持有者治理社区“批准”该组织近10亿美元的预.

1900/1/1 0:00:00
LLE:Allbridge公布攻击事件进展:若黑客归还被盗资产,将向其提供白帽赏金

4月3日消息,跨链桥Allbridge在推特上发布关于黑客攻击事件的进展:1.我们对黑客事件的调查仍在继续,目前正在与合作伙伴和执法部门合作,以查明黑客的身份.

1900/1/1 0:00:00
BIT:Orbits:基于 zk-SNARK 的多链创新DEX

Orbits开创了一种创新的基于zk-SNARK的多链DEX。凭借其订单簿式DEX、多链交易、低交易成本、高性能、更好的交易深度和可扩展性,它有潜力成为DEX市场的重要参与者.

1900/1/1 0:00:00