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 代币。