探索零知识:zkSync 和 zkEVM_ZKS:zksync币与zks币

zkSync

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

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

Oasis:ValleySwap与EvoDeFi bridge是未获官方支持的第三方项目,已多次提示风险:金色财经消息,Oasis针对ValleySwap中的USDT脱锚情况发布声明,称ValleySwap与EvoDeFi bridge都是第三方的项目,没有获得Oasis的支持。同时出现脱锚的稳定币并非Oasis的原生资产,几个月来Oasis多次对社区警告风险,Oasis官方推荐使用Wormhole、cBridge或Multichain。???此前报道,Oasis Network上Valley Swap中的USDT已严重脱锚。[2022/6/8 4:11:06]

PLONK

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

DeFi管理协议Insta dapp发布Instadapp Lite,允许一键实施复杂DeFi策略:金色财经消息,多链DeFi管理协议Instadapp发布DApp Instadapp Lite,允许用户一键实施复杂的DeFi策略。费用方面,总收益的10%将归INST财政部所有,另外还有0.01%的退出费会分配给剩余的存款者。[2022/3/31 14:29:40]

PLONK的优势和改进:

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

受监管的DeFi交易平台Swarm Markets推出SMT代币:总部位于德国且受德国联邦金融监管局(BaFin)监管的DeFi交易平台Swarm Markets 已宣布推出SMT代币,SMT代币将用于在其他用例中为Swarm Markets平台上的流动性提供动力。官方表示,50%的SMT代币将用于奖励池,没有为团队预留代币。SMT用户可以享受协议交易费用50%的折扣。(zycrypto)[2021/7/9 0:40:35]

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

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

币安智能链DeFi协议bEarn Fi遭到攻击 损失近1100万美元:5月16日消息,PeckShield“派盾”预警显示,跨链智能收益与流动性聚合器bEarn Fi遭到攻击,损失近1100万美元,投资者请谨慎投资。[2021/5/16 22:08:30]

除了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-6:592ms