SYNC:探索零知识:zkSync 和 zkEVM

zkSync

zkSync由MatterLabs开发,由AlexGluchowski于2018年创建。zkSync的最终目标是创建一个完全无需信任的L2,具有L1保证,例如重组保护和资金安全。除了简单的安全保证之外,它还在开发工具,为基于零知识的智能合约提供支持。

zkSync1.0最初于2020年6月推出,并已经完全运行。目前,它使用PLONK作为证明者。随着?zkSync1.1的推出,递归证明、订阅机制、以及单一代币的手续费支付以及ERC-20代币铸造和销毁功能被添加进去了。启用递归证明后,zkSync的当前吞吐量为每秒3000笔交易。

SKALE即将发布去中心化零知识证明解决方案Levitation Protocol:6月2日消息,以太坊侧链 SKALE 开发人员宣布了一项 SKALE 改进提案,即,去中心化零知识证明解决方案 Levitation Protocol,旨在通过使全套 ZK 解决方案无缝连接到 SKALE 架构,并将 Rollup 连接到以太坊主网。该提案包括进一步的生态系统升级,增加了一个新的「Layer 1 Megachain」,称为 SKALE G(G 代表木卫三,太阳系中最大的卫星)。

SKALE 开发人员计划在未来几个月内开始发布 Levitation Protocol 源代码,之后将启动公共测试网。Levitation Protocol 主网计划于 2023 年第四季度推出。[2023/6/2 11:53:31]

PLONK

艺术创作者平台Wildxyz完成700万美元融资:12月2日消息,艺术创作者平台Wildxyz完成700万美元融资,Matrix Partners领投。Wildxyz旨在建立一个艺术家集结地与原创数字艺术平台,并建立新的粉丝互动方式。[2022/12/2 21:18:34]

PLONK全称为“基于拉格朗日基数的全局非交互式知识证明排列”,最初由ArielGabizon、ZacWilliamson和OanaCiobotaru创建,它提供了一些改进,相比之前的证明协议有着一些优点,但同时也保留了一些缺点。

PLONK的优势和改进:

从特定于应用程序的可信设置转变为通用且可更新的可信设置依赖于标准化加密更小的证明大小

Coinbase将上线XCN、METIS、MONA和AST:6月28日消息,据官方推特,Coinbase将上线Chain (XCN)、MetisDAO (METIS)、Monavale (MONA) 和AirSwap (AST) 。如果满足流动性条件,交易将于太平洋时间6月28日9:00(北京时间6月29日0:00)或之后开始。

如果建立了足够的该资产供应,XCN-USD、XCN-USDT、METIS-USD、METIS-USDT、MONA-USD、MONA-USDT、MEDIA-USD、MEDIA-USDT、AST-USD和AST-USDT交易对的交易将分阶段开放。

注意:Coinbase仅在以太坊网络(ERC-20代币)和Solana网络(SPL代币)上支持以上资产,不要通过其他网络发送此资产,否则资金可能会丢失。[2022/6/28 1:35:35]

Apollo Safe 已在 Terra 新链上完成部署:金色财经报道,Terra 生态 DeFi 项目 Apollo 宣布现已在 Terra 新链上部署其多签管理 DApp Apollo Safe。[2022/6/1 3:54:24]

虽然不完美,但PLONK比以前的实现要好得多。来源:vitalik.ca

zkSyncv1的PLONK实现依赖于由Aztec组织的Ignition可信设置仪式。通过可信设置仪式,只要一个参与方删除了用于生成设置的他/她所提供的熵,就足以确保安全性。通过Ignition,来自30多个国家的176名参与者参加了该仪式,显著降低了信任要求。

除了PLONK之外,zkSync还致力于开发RedShift,旨在使用仍处于活跃研究和开发阶段的“transparentSNARKs”来消除对可信设置仪式的需求。transparentSNARKs将有助于通过默认方式完全消除PLONK的信任问题。

zkSync2.0

zkSync2.0的zkEVM使开发人员能够平滑地将L1dApps转移到L2;虽然它不是EVM的完全复制,但zkEVM为L1带来了可扩展性。让我们来探讨一下它是如何运作的!

zkSync基础设施

zkSync在以太坊之上运营着几个基础设施。所有基础设施目前都已投入使用并运行,包括zkEVM。但是,zkEVM仍在开发中,并将在稍后公布。

全节点

使用虚拟机执行zkEVM字节码过滤不正确的交易执行内存池的交易构建块证明者

从区块见证生成ZK证明提供用于并行证明生成的接口可扩展交互器

L1以太坊和L2zkSync之间的链接计算交易费用——费用取决于代币价格、证明生成和L1gas成本偏执监视器

监控基础设施并在发生事故时通知MatterLabs

zkEVM

来源:MatterLabs

Yul是一种中间表示,它可以将Solidity编译成字节码。然后,它会被传递给LLVM,这是一个可模块化的可重用编译器。通过引入LLVM,它为未来采用Rust或Javascript原生语言编写的zkSync智能合约开发打开了大门。虽然基于Rust的Zinc将在未来得到使用,但是为了完成Solidityv8和Vyperv3的zkEVM实现,目前Zinc的开发已经降低了优先级。

可编程性

虽然可扩展性三难困境侧重于三大问题:可扩展性、去中心化和安全性,但还有第四块拼图。解决可扩展性三难困境但非常深奥且难以编程的链如果大规模采用是不可行的。zkSync通过使zkEVM易于将现有的L1协议转移到其中来解决这个问题,同时也为原生Rust和Javascript智能合约开发打开了大门。

来源:MatterLabs

结论

2022年是Layer2的一年。随着如此多的协议从研究中走出来并进入实施阶段,以太坊将准备好大规模采用,同时保持无需信任、安全和去中心化。十年后,今天正在构建的基础设施将成为下一代协议的支柱。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-1:140ms