KSY:探索零知识：zkSync 和 zkEVM

zkSync

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

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

对冲基金Gotbit Hedge Fund推出Web3加速器计划“Odyssey”:金色财经报道，对冲基金Gotbit Hedge Fund宣布推出Web3加速器计划“Odyssey”，旨在推动任何寻求为 DeFi 和 Web3 基础设施构建解决方案的项目、区块链技术公司、以及私人实体，并进行早期阶段或种子阶段投资。据悉，第一批有9个项目入围，分别是 Arcana、DeFiHelper、Farm xyz、Firepot Finance、Interest Protocol、Kinetex Network、Movement 、 Stable Battle和Trait Swap，第二批申请计划在一个月左右开放。（globenewswire）[2023/4/19 14:13:24]

PLONK

CZ：CeFi如果能透明的话会比传统金融更透明:金色财经报道，在今日举行的Web3香港嘉年华峰会上，Binance创始人CZ表示，CeFi的交易所也可以是非常透明的，有很好的储备证明并在区块链上验证。Binance 就有做这样的事情，FTX 想做这样的事情但没有公开，CeFi如果能透明的话，其实比传统金融更透明。[2023/4/12 13:59:22]

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

PLONK的优势和改进：

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

美财长：FTX崩盘事件证明数字资产市场需有效监督，国会应介入并填补监管空白:11月17日消息，美国财政部长耶伦表示，加密交易平台 FTX 的崩盘事件证明数字资产市场需要更有效的监督，传统金融体系和加密市场的进一步互联可能会引发更广泛的金融稳定担忧，展望未来，我们必须采取必要措施应对这些令人担忧的风险，并采取行动保护消费者并促进金融稳定。

耶伦表示国会应该介入并填补监管空白，并强调拜登政府今年早些时候发布的一系列数字资产报告。[2022/11/17 13:15:37]

贵金属代币化平台Atomyze US宣布关闭业务:9月28日消息，据TheBlock报道，贵金属代币化平台Atomyze US宣布进入公司解散程序。其首席执行官JeanineHightower-Sellitto表示，“由于我们无法控制的情况，Atomyze(US)LLC已决定关闭业务并进入解散公司的程序。”

据悉，Atomyze US成立于2020年，在俄罗斯采矿巨头Nornickel的支持下，于今年2月推出了产品测试版，包含代币化的铂金和钯金。此外，俄罗斯央行今年2月已将Atomyze Russia注册为该国第一家数字资产管理公司。（The Block）[2022/9/28 22:36:26]

虽然不完美，但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的一年。随着如此多的协议从研究中走出来并进入实施阶段，以太坊将准备好大规模采用，同时保持无需信任、安全和去中心化。十年后，今天正在构建的基础设施将成为下一代协议的支柱。

标签：KSYSYNCZKSSYNzksync币空投比例SynchroCoinzks币有潜力吗SYNCBRAIN价格

XMR热门资讯