学习zkSync术语，更好了解Layer2

原文标题： 《zkSync 术语解释 》

原文来源：水多多

zkSync — 以太坊第二层零知识汇总扩展终极解决方案，即将推出 zkSync2.0 主网、代币和更多 DApp 生态系统。

zkSync 的一些主要功能是：

极低的交易费用

资金是加密安全的，就像在以太坊主网中一样

用户始终掌控自己的资金

无需许可的智能合约

零知识证明  —  零知识证明系统具有主动加密安全性。例如，zk-rollup 解决方案在不透露其证明过程的情况下确定某个交易结果是真实的。简单来说，zk-rollups 遵循「相信我」的方法。尽管这对于外行来说听起来不可能，但事实是零知识证明可以不提交证明过程，而告知正确的结果。零知识证明被认为是以太坊最有前途的扩展和隐私解决方案之一。

以太坊  —  是俄罗斯出生的程序员 Vitalik Buterin 于 2015 年创建的区块链平台。允许您创建基于智能合约的去中心化应用程序。

密钥  —  密码算法中的一串特殊字符。它用于加密和解密消息、建立和验证数字签名以及用于识别。

zkEVM  —  zkEVM 是一种虚拟机，它以与零知识证明计算兼容的方式执行智能合约。这是构建与 EVM 兼容的 ZK Rollup 的关键，同时保留经过多年使用 Solidity 获得的经过实战测试的代码和知识。我们的 zk-EVM 保留了 EVM 语义，但也是 ZK 友好的，并且采用了传统的 CPU 架构。

zkSNARK  —  简洁的非交互式零知识论证

zkSTARK  —  可扩展的透明零知识论证

ZK  —  Rollups 是一个第 2 层可扩展解决方案，它使用有效性证明来扩展计算：每批交易都伴随着一个由以太坊智能合约验证的加密证明 (ZK-SNARK)。这样，在区块完成之前，每笔交易都由所有完整的以太坊节点完全验证。

zkPorter  —  最大和最重要的功能之一，zkPorter 将允许用户在具有最高安全性和与以太坊相比降低 20 倍费用的 zkRollup 帐户之间进行选择，或者在一个稳定的交易费用仅几美分的 zkPorter 帐户之间进行选择。不同的安全模型（远高于侧链）。zkPorter 和 zkRollup 账户将能够在底层实现无缝交互。

zkSync 2.0 是一个 ZK rollup：一种无需信任的协议，它使用零知识证明在以太坊上实现可扩展、低成本的交易。所有资产都存储在主链上的单个智能合约中，而计算和数据存储在链下完成。

存款  —  将资金从以太坊网络转移到 zkSync 网络上的指定账户。如果接收者的帐户在 zkSync 网络上尚不存在，则会创建该帐户，并为指定的地址分配一个数字标识符。

完全退出  —  在不与 zkSync 服务器交互的情况下，将资金从 zkSync 网络提取到以太坊网络。此操作可用作 zkSync 服务器主机检测到审查的紧急出口，或在无法为 zkSync 网络上的帐户建立签名密钥的情况下提取资金（例如，如果地址与智能合约匹配）。

ChangePubKey  —  设置（或更改）与帐户关联的签名密钥。如果没有签名密钥集，则相应账户不能授权任何操作（优先操作除外）。

转账  —  将资金从一个 zkSync 账户转移到另一个 zkSync 账户。如果接收者的帐户在 zkSync 网络上尚不存在，则会创建该帐户，并为指定的地址分配一个数字标识符。

交换- 两个现有 zkSync 账户之间的原子资金交换。

取款  —  将资金从 zkSync 网络提取到以太坊网络。

ForcedExit  —  从没有一组签名密钥的「目标」L2 账户提取资金到以太坊网络上的相同「目标」地址。此操作可用于在无法为 zkSync 网络上的帐户建立签名密钥的情况下（例如，如果地址与智能合约匹配）来提取资金。

MintNFT  —  根据提供的内容哈希将 NFT 发送给指定的「收件人」。

撤回 NFT  —  将 NFT 从 zkSync 网络撤回到以太坊网络。

通过默默无闻的安全性  —  这种方法基于默默无闻，使攻击者的生活尽可能困难，但区块链文化基于对开发人员和用户的彻底透明，并得到我们强大的白帽黑客社区的补充。

Zinc  —  是在 zkSync 平台上开发智能合约和 SNARK 方案的新平台。

现有的 ZKP 框架缺乏智能合约的功能。由于智能合约处理有价值的金融资产，因此安全性和安全性至关重要。这就是为什么现代智能合约语言（如 Simplicity 或 Libra』s Move）的开发人员将安全性和形式代码可验证性置于表达性之上的原因。

Zinc 旨在通过提供一种针对 ZKP 方案优化且易于开发人员学习的简单、强大的智能合约语言来弥合这两个世界之间的差距。

可组合性  —  zkSync 智能合约可以像以太坊智能合约一样相互调用。

任何 DeFi 项目都可以迁移到 zkSync，因为大多数现有的 Solidity 代码都可以原封不动地部署。

智能合约迁移  —  大多数 DeFi 和 NFT 项目无需更改代码即可运行。但是，在第一个版本中，对 SHA256 和 Keccak256 的调用将被编译器自动替换为模式友好的哈希函数。目前也不支持其他几个加密原语，例如 ecrecover 和加密预编译。

Atomic Swaps  —  Atomic Swaps 允许您使用现有的 zkSync 帐户安全且廉价地交换资金。

成功兑换需要 3 个步骤：

签署订单，确认您要进行特定交换

从您希望与之交换的帐户收到相同格式的签名订单

将两个带有付款的订单发送到 zkSync 服务器

限价单  —  限价单提供了一种以特定价格将特定代币兑换成另一种代币的方式。它们旨在主要由希望提供可靠且可扩展的交换服务的其他平台使用。

费用  —  zkSync 收取交易费用以支付网络维护费用。

每种交易的费用是根据三个主要因素计算的：

将发送到以太坊网络的数据量。

当前的天然气价格。

为带有交易的区块生成证明的计算资源成本。

Merkle 树  —  Merkle 树是一种用于计算机科学应用的数据结构。在比特币和其他加密货币中，默克尔树用于更有效、更安全地对区块链数据进行编码。

块  —  zkSync 中的所有操作都被组织成块。zkSync 语句创建一个块后，通过提交交易将其发送到以太坊网络上的 zkSync 智能合约。当一个块被固定时，它的状态还不是最终的。几分钟后，该区块正确性的 ZK 证明被发布。该证明通过交易验证发布在以太坊上。只有在数据传输被验证后，新状态才被认为是最终状态。一些块可以修复但尚未测试。

ZigZag  —  是一种基于 zk 积累的去中心化订单簿交换，无需存储。这将允许我们的用户以几乎零费用进行无缝无缝交易，同时为任何规模的交易提供像报价一样的集中式交易所。我们还努力为中心化交易所提供无缝的功能、体验和最佳流动性，同时完全去中心化。

MatterLabs  —  我们是一个对自由、区块链和数学充满热情的工程师团队。我们正在用零知识证明来扩展以太坊。它是实现公共区块链广泛采用的最可行的技术。我们的使命是加速这场正在进行的金融革命。

zkSync 大使  —  帮助发展和保护去中心化技术进步带来的自由的志愿者，并帮助提供信息生态系统参与者所需的信息，以做出有助于塑造我们共同未来的明智决策。

L1  —  一级区块链（以太坊）

累积块  —  第 2 层区块链 (zkSync)

Owner  —  控制 L2 中一些资产的用户。

Operator  —  执行 ZK 卷积基本功能的主体。他们的任务是创建区块、整合交易、执行计算以及将数据提交到以太坊主链进行验证。

最终 在有限时间内发生。

rollup 中的资产  —  所有者控制的 L2 智能合约中的资产。

累积密钥  —  所有者用于管理存入资产的私钥。

恢复签名  —  使用所有者的私钥对消息进行签名的结果，用于内部汇总交易。

最终哈希其位串表示的紧急哈希，如下所述。为了获得位串表示，每个文件都被编码为位，从最小值开始（位的文件顺序），并按照它们在结构中出现的顺序连接起来。

交易  —  用户可以直接发送给运营商的内容。

优先操作  —  用户可以向 zkSync 智能合约发送什么。

卷积运算  —  Transaction 表示或的卷积块的一部分 Priority operation。

链上操作  —  操作员可以在 pubdata 累积块中放入什么（pubdata 操作）。

节点  —  实现描述操作的节点模型。

模式实现  —  描述操作及其见证的模式模型。

有效字节  —  操作占用的所有字节中有多少字节是有效的（包括操作数）。

Bitpacking  —  Salvation 是一种适用于字段元素的代数散列，因此任何二进制数据（打包交易）必须首先编码为多个字段元素。为此，位串被 x 编码为字段元素的序列，将 253 位放入每个元素中，从 LSB 开始。

Bridges   —  Celer、Connext、ZigZag、Orbiter、DAI Wormhole、Composable、Jump Exchange、LayerZero、PolyNetwork、deBridge 和 Nomad 将在 zkSync 2.0 与其他 L1 和 L2 协议之间实现快速且廉价的代币传输。

钱包  —  用户将能够使用 zkSync 2.0 上的大多数以太坊钱包签署交易并管理他们的资产，包括 Metamask、Argent、Numio、1inch Wallet、MyKey 和 imToken。

支持旧版本的 Solidity  —  我们正在积极支持不同版本的 Solidity，以便为现有项目提供无缝集成。

L1 L2 智能合约消息传递  —  允许开发人员将数据从以太坊 L1 传输到 zkSync 上的智能合约，提供运行各种智能合约所需的信息。

Hardhat 插件  —  允许您在 zkSync 上轻松测试和开发智能合约。

支持加密原语 Ethereum  —  zkSync 通过预编译原生支持 keccak256、sha256 和 ecrecover。

zkSync  —  是一个 ZK rollup，一个可扩展的第 2 层解决方案，通过使用最新一代的零知识简明证明来保留底层区块链的安全属性。

zkSync v1  —  是一个 ZK 支付累积包，自 2020 年 7 月起在以太坊主网上可用。zkSync 被许多协议、钱包和 dapps 接受，提供超过 400 万笔交易。

zkSync v2  —  这是通用智能合约的 ZK 汇总，保留了 EVM 兼容性和可组合性。即将推出的测试网目前有来自 DeFi、NFT、游戏、DAO、交易所、坡道、钱包、开发工具、数据分析等项目的 150 多个注册。

Graph  —  这是 web3 索引和查询层。开发人员创建和发布称为子图的公共 API，应用程序可以使用 GraphQL 查询这些 API。Graph 目前支持对来自 25 个不同网络的数据进行索引，包括 Ethereum、NEAR、Arbitrium、Optimism、Polygon、Avalanche、Celo、Fantom、Moonbeam、IPFS 和 PoA。新网络即将推出。

Account  Abstractions  —  想象一下，您可以实现自定义逻辑来验证您的帐户的签名。或者也许是社会恢复？目前，在大多数 EVM 链上，用户需要为此使用智能合约钱包。所有这些都可以通过帐户抽象轻松支持。

Withdraw  —  用于将原生 ERC20 代币提取到 L1。请注意，这种类型很可能会在测试网络后被删除。

Execute  —  用于调用智能合约函数。

Deploy  —  用于在 zkSync 中部署智能合约。

Deposit  —  用于将资金从 L1 账户转移到 L2 账户。

AddToken  —  用于向 zkSync 注册原生 ERC20 代币。

原文链接

欢迎加入律动 BlockBeats 官方社群：

Telegram 订阅群：https://t.me/theblockbeats

Telegram 交流群：https://t.me/BlockBeats_App

Twitter 官方账号：https://twitter.com/BlockBeatsAsia