火星链 火星链
Ctrl+D收藏火星链
首页 > FIL > 正文

zkSync:零知识证明系统先行者zkSync-ODAILY

作者:

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

前言

关注区块链的朋友,经常会在圈子里面看到有关零知识证明的信息,而zksync、mina等知名项目都是使用到了零知识证明的相关技术。

而实际上,这并不是什么新技术,早在1985年,由MIT教授ShafiGoldwasser,SilvioMicali和密码学大师Charles在《TheKnowledgeComplexityofInteractiveProof-Systems》论文中提出。

正是这篇文章提出了零知识证明这个伟大概念,并逐步成为了现代密码学理论的根基之一,而ShafiGoldwasser和SilvioMicali也于2012年获得了有“计算机界诺贝尔奖”之称的图灵奖。

什么是零知识证明

零知识证明指的是证明者能够在不向验证者提供任何有用的信息的情况下,使验证者相信某个论断是正确的。或许这样的描述还不够通俗,其实在我们日常生活中,也经常会有零知识证明的身影。

互操作性协议Rarimo与Polygon ID合作推出首个用于验证凭证的多链零知识证明:金色财经报道,互操作性协议Rarimo宣布与隐私保护ID基础设施Polygon ID合作,这是链上身份向前迈出的革命性一步,每个使用 Polygon ID 的身份提供商都立即实现跨链,这不仅是Polygon ID首次成为多链,而且由于PolygonID是第一个也是唯一一个允许用户将链外凭证表示为零知识证明 (ZKP) 的解决方案,此次合作标志着数字身份领域的首创。Rarimo表示,既然以太坊已被纳入其中,Polygon上颁发的凭证将在未来几周内在BNB Chain和Avalanche上提供。[2023/7/22 15:51:50]

例1:

比如我有一个车子,我要向你证明我有车子的钥匙能打开车门。

在这里,我要证明的论题是:我有这个车子的钥匙,第一种做法是,我直接当你的面用车钥匙打开车门,还有一种做法是,我直接拿出车里面的东西给你看。

以太坊基金会、AMD、Polkadot 发起 700 万美元竞赛以促进零知识扩展:金色财经报道,ZPrize于4月19日宣布,多个加密货币项目联合起来,为使用零知识(ZK)证明的创新团队提供700万美元的奖金。该竞赛由21个Web3组织支持,包括Polygon、Polkadot、Mina和Ethereum基金会。AMD-Xilinx还将为参赛团队提供高功率的计算设备。ZPrize在一份声明中说,参赛团队将尝试设计 \"新的算法和技术,以实现最好的零知识系统无法比拟的性能指标。\"获奖者必须将其提交的材料开源,以便其他开发者能够将任何突破性的东西整合到他们的工作中。[2022/4/20 14:34:54]

第一种方法你直接看到钥匙开门的过程,这不算零知识证明,因为你看到了钥匙。

第二种方法,验证者并不需要知道我用钥匙开门的过程,也能判断出我有这个车子的钥匙,整个过程我们认为验证者对于钥匙是零知识的。

DeGate 发布发展蓝图,将优先实现基于零知识证明技术的以太坊二层订单薄交易协议:据官方消息,以太坊二层交易协议 DeGate 发布最新发展蓝图,对原有的发展路线进行了调整,将优先上线订单薄交易,并最终形成订单薄交易、AMM 交易、保证金交易三者并存的产品架构。

DeGate 表示,随着 Layer2、以太坊 2.0 等技术的落地,区块链使用成本将大幅降低,因此更能满足交易者需求、资金利用率更高的订单薄交易有可能产生更大的市场需求。DeGate 的订单簿交易系统将拥有即时挂单撤单、挂单撤单免手续费、maker 交易免手续费、taker 直接交易等功能或优势。[2021/5/26 22:46:41]

例2:

A是红绿色盲,B是正常人,现在有一个红球和一个蓝球,除了颜色,其他大小质地等其他因素完全一样,因为A是色盲,他看到的这两个球是一样的,那B如何才能让A相信这两个球是不一样的颜色呢?具体要怎么来做呢?

两位数学家因对零知识证明的研究获得数学界大奖阿贝尔奖:据DeepTech深科技消息,近日,备受瞩目的数学界大奖阿贝尔奖公布两名获奖者,一位是匈牙利数学家拉兹洛?洛瓦兹(László Lovász),一位是以色列计算机科学家阿维?威格森(Avi Wigderson)。两位数学家因为对零知识证明的研究,而获此殊荣。曾经让纯数学家看不起的零知识证明,却获得了数学界举足轻重的阿贝尔奖。正如颁奖词所说:“表彰其在理论计算机科学和离散数学方面做出的杰出贡献,以及在将之塑造为现代数学中心领域中发挥的主导作用。”零知识证明比起其他复杂算法更为简单,但这两位数学家对于零知识证明的研究,不仅对现代数学核心计算有重大贡献,还有巨大的现实意义:其一,零知识证明对数字货币的认证意义重大;其二,零知识证明还可以用于人的身份验证,即在不透露密码的前提下,验证方通过一系列问题来让对方提供 “我知道正确密码”,或在信息安全领域,提供 “我就是本人” 的证明。[2021/5/2 21:16:57]

很简单,B可以把两个球都给A,A分别一只手拿一个球,并藏在自己身后,A自己决定要不要交换两只手的球。

动态 | 安永为以太坊提供零知识证明技术:据coindesk报道,会计公司安永(EY)宣布了一项工具,此工具将把私密交易带到以太坊。其EY Ops Chain公共版原型是第一个用于以太坊的零知识证明(ZKP)技术。ZKP是一种加密技术,它允许双方证明一个私密信息是真实的,这通常是关于交易的数据。[2018/10/31]

然后A再把两只手的球拿给B看,B只需要判断是否交换球即可,当然一次并不能证明,但如果我们猜100次呢,1000次呢,如果100次,甚至1000次B都能正确猜对是否交换两个球,那A就可以推断出这两个球的颜色是不一样的了。

在整个过程中,A都不知道球的正确颜色,所以我们认为A对于球的颜色是零知识的,但是A却通过这样的方式正确推断出这两个球的颜色不一样。

零知识证明的性质

上面的两个例子着重强调了零知识证明的“零知识”这个特性,但零知识证明作为一种证明手段,它也应该具备证明的基本性质:一是足够有说服力,而是无法作假。

具体而言,一种零知识证明的方法需要具备如下三个性质:

完备性:若证明方确实掌握了某论断的答案,则他肯定能找到方法向验证方证明他手中掌握的数据的正确性,即真的假不了。

可靠性:若证明方根本不掌握某论断的答案,则他无法说服验证方他手中所谓答案的准确性,即假的真不了。

零知识性:验证方除了知道证明的结果外,对其他信息一无所知。

当然,现实生活中,还有很多这样的例子,我们不一一列举,用到零知识证明的项目很多,这里我们一起来了解一下zkSync,zkSync是基于ZKRollup架构的低成本扩容协议,主要通过零知识证明和数据可用性保障用户资产安全。

zkSync的整体架构工作过程

Watcher负责监控zkSync合约交易,Sender发送zkSync智能合约的交易,而MemPool负责收集交易。

整个过程会产生两种交易:L1交易和L2交易。

BlockProposer将交易打包,并更改世界状态(PlasmaState)。在世界状态更改后,通过BlockCommitter生成证明需要的信息。具体到存款和转账流程如下:

存款

1、用户调用L1zkSync智能合约存储资金,该交易发生在L1;

2、Watcher监控L1存款交易,当交易发生时则会放入Mempool中,该过程一般会经过10个区块确认,但实际使用中,可能需要更长时间L1的充币交易才会在L2中生效;

3、BlockProposer处理Mempool交易打包,并提交StateKeeper更新账本,充币交易的状态随之变化。

转账

1、当用户想要使用L2低成本快速转账时,调用zkSyncAPI提交转账交易;

2、交易同样会按照流程Mempool-->BlockProposer-->StateKeeper进行流转;

3、最终StateKeeper通知BlockCommiter收集生成零知识证明所需信息,调用PlonK证明系统生成零知识证明后,借助Sender将存款和转账等交易数据,以及将对应的零知识证明提交到L1的zkSync智能合约验证,等待L1交易确认后,Watcher会通知L2更新交易状态为最终确认。

zkSync采用PlonK零知识证明系统,其中包括ProverServer和ProvingClient,在电路设计上,非常巧妙的将交易分割成一个个小的通用处理单元。

一个Operation对应的证明电路逻辑支持所有可能交易的Operation逻辑。多个有关联的Operation电路组成交易电路。

多个交易的电路再组合成区块电路。从而,在固定大小的区块中也能包含不同组合的交易。zkSync开源了PlonK算法的验证电路,能进行多个PlonK证明。

相关代码链接如下:

https://github.com/matter-labs/recursive_aggregation_circuit

而在整个充币和转账过程中,zkSync并不需要独立生成新账户,zkSync的L2账户和L1账户是一一对应的,“共享”一份私钥,准确的说,L1的私钥的ECDSA签名的结果作为L2账户的私钥。

这样在使用的时候很方便,我们直接使用L1的地址就可以在L2上完成充币,转账或者提币的操作。

总结

截止目前,imToken和gitcoin已经深度集成了zkSync,后面还会有更多的项目接入,而随着ETH交易量的高速增长,交易的拥堵和高昂的矿工费必将促进Layer2赛道的竞争,zkSync作为零知识证明系统应用的先行者,或许值得期待。

标签:SYNCZKSzkSyncSYNSYNCBRAINzks币3年后多少钱zksync币空投比例zksync币空投比例

FIL热门资讯
NSUR:DAOrayaki |好的协调:标准化和信任生产-ODAILY

当一群人试图集体完成一项复杂的任务时,他们需要一个协调机制。本文将协调分为两个部分:标准化和信任生产。区块链解决了这些关键部分,为新的人类组织模式奠定了基础.

1900/1/1 0:00:00
NFT:NFT金融的六种玩法-ODAILY

在过去的几千年里,人类发展了各种所有权、财产权和许可方法,这些方法大多适用于实物。随着互联网的兴起,数字资产大量增加,无论是普通规则还是当前的技术尝试都无法安全地验证真实性、稀缺性和所有权,从而.

1900/1/1 0:00:00
DEFI:云九资本牛凤轩:如何挑选元宇宙好项目,如何成为好的创业者-ODAILY

作者:刘全凯,本期编辑:ColinWu随着元宇宙概念的火爆,AxieInfinity、CryptoBlades等链游相继兴起,play-to-earn模式吸引了大批圈外玩家.

1900/1/1 0:00:00
区块链:DAOrayaki|更好的 DeFi Grant计划设计-ODAILY

DeFi和区块链领域的资助计划应该从现有的现实世界竞争和创业资助计划中吸取一些教训.区块链和DeFi部门应该更多地了解现实世界的赠款机构如何运作.

1900/1/1 0:00:00
ASC:AscendEX推特AMA全记录-ODAILY

ShaneMolidor:我们先说下事件经过,然后将在AMA自由问答中解答大家的问题。事件的大致过程就是在12月11日,AscendEX发现了平台的一个热门钱包有多笔未经授权的转账.

1900/1/1 0:00:00
OBI:World Mobile聘请前沃达丰大众细分市场负责人为新任CMO-ODAILY

WorldMobile宣布聘用SteveJames为其新的CMO,James为人才济济的WorldMobile团队带来了新的力量,这一决定标志着WorldMobile正在大规模扩展市场及用户群.

1900/1/1 0:00:00