概述 介绍
ZkSync是由zkRollup技术提供支持的，用于以太坊上可扩展的、低成本支付的、不信任协议。它使用零知识证明和链上数据可用性来确保用户的资金安全，就好像他们从未离开主网一样。
安全是我们的重中之重，但用户和开发人员的经验对于zkSync设计至关重要。我们沉迷于寻求消除摩擦和复杂性的改进，以使zkSync对于最终用户和构建者而言，都是以太坊上最令人愉悦的平台。对此最好的方法是自己尝试zkSync，整个过程只需2分钟。
zkSync功能 L1上的ETH和ERC20代币转移具有即时确认和10分钟的终结性。
主网级别的安全性，对第三方的依赖为零。
零成本帐户创建。
超低的交易费用（每次转帐约0.001美元）。
向现有以太坊地址（包括智能合约）付款。
代币转让方便支付的费用。
在15分钟内退出主网。
多信号支持。
隐私权（即将推出）。
无许可的智能合约（即将推出）。
zkSync解决的问题
以太坊代币转移的gas费每月超过200万美元。使用zkSync，可以将这些成本降低到一小部分。
像Agrent或Dharma这样的用户体验优先的加密钱包，旨在为整个社会提供替代的银行服务。 zkSync使他们的任务得以完成。
DeFi的兴起开启了更多有趣的用例。 zkSync在这里为你的项目解锁Paypal规模。
与zkSync相比 在现有的L2伸缩解决方案中，zkSync在安全性和可用性方面非常突出。由于结合了尖端的加密技术和链上数据的可用性，zkSync的核心技术zkRollup是唯一不需要任何操作活动即可确保资金安全的L2扩展解决方案。用户可以离线使用一年，然后再回来，并确保在没有任何外部帮助的情况下安全撤回其资产，即使zkRollup经营者早已消失。 技术 zkRollup架构
zkSync使用的体系结构称为zkRollup。
所有资金均由主链上的智能合约持有，而计算和存储则在链外进行。简而言之，它的工作方式如下：
1.用户签署交易并将其提交给验证者。
2.验证程序在一个块中汇总成千上万笔交易，并将新状态的加密承诺（根哈希）提交给主网上的智能合约，以及加密证明（SNARK），以证明此新状态确实是加密的结果。将一些正确的交易应用到旧状态。
3.除了证明之外，状态?（每笔交易的少量数据）还作为呼叫数据通过主链网络发布。这使任何人都可以随时重建状态。
4.证明和状态?通过智能合约进行验证，从而验证区块中包含的所有交易的有效性以及区块数据的可用性。
与单独验证每个交易相比，SNARK验证要便宜得多，而链下存储状态要比将其存储在EVM中便宜得多。因此，极大地提高了可扩展性（约100-200倍的主网容量）和节省了TX成本。
zkRollup体系结构提供以下保证：
1.验证者永远不会破坏国家或窃取资金（与侧链不同）。
2.即使验证者因为数据可用而停止合作，用户也始终可以从zkRollup检索资金（与Plasma不同）。
3.用户和单个受信任的第三方都不必在线监视zkRollup块以防止欺诈（与防欺诈系统不同，例如付款渠道或Optimistic Rollups）。
换句话说，zkRollup严格继承了基础L1的安全性保证。
代币和费用 支持的代币
zkSync可用于传输ETH和ERC20代币。最初，新代币需要由操作员手动列入白名单。将来，添加新代币将是不允许的。
费用 在zkSync中，每笔交易的成本都有两个组成部分：
链下部分（存储+证明者成本）：状态存储和SNARK（零知识证明）生成的成本。这部分取决于硬件资源的使用，因此是不变的。根据我们的基准估算，每次转帐的费用约为0.001美元。
链上部分（gas成本）：对于每个zkSync区块，验证者必须支付以太坊gas以验证SNARK（约40万gas，在区块中的所有交易中分摊），此外每笔交易约0.4kgas以发布状态?。链上部分是可变的，因为它取决于以太坊网络中的当前gas价格。但是，此部分比普通ETH / ERC20传输的成本便宜几个数量级。
截至今天（2020年6月17日），全部转让价格估计约为0.004美元。
如何支付费用
zkSync中的转移就像“无gas的元交易”一样工作：用户以被转移的代币支付交易费用。因此，例如，如果你要转移DAI稳定币，则无需拥有ETH或任何其他代币。只需支付DAI的一小部分费用即可。 安全 安全概述
zkSync v1.0是Alpha版。区块链和零知识证明仍然是实验技术，其攻击媒介正在迅速发展。 zkSync依赖于从未在生产中使用过的尖端加密技术。尽管Matter Labs在安全性方面严格遵循科学和工程学的最佳实践，但我们不能提供100％无故障的保证。使用zkSync需您自担风险，并且不要在损失中投入更多的钱。
zkSync协议设计文档明确列出了该协议的加密假设和安全属性。
简而言之，该协议的主张是，如果正确实施密码假设并保证其有效性，放入zkSync的资金将具有与以太坊帐户中持有的资金相同的安全保证，而无需用户方面的任何额外要求。特别是： 用户不需要监视网络。
私钥可以保存在冷藏库中。
运营商不能以任何方式窃取资金或破坏zkSync状态。
无论zkSync运营商的合作如何，用户最终都可以将其资产提取到主网上。
下面讨论了几种机制来实现这些保证。
有效性证明 zkSync建立在zkRollup体系结构上。这意味着，通过验证区块有效性的证明，每笔单笔交易都通过以太坊主网上的智能合约进行验证。因此，任何操作员都无法将系统移至错误状态或花费用户金钱。
优先队列 在所有操作员都被关闭或无法响应的最终紧急情况下，紧急出口机制可确保用户继续控制其资产。它的工作原理如下。
如果出于某种原因运营商忽略了用户的交易，则可以直接在主网上将退出请求提交到优先级队列中。
操作员必须在短时间内（约1周）内处理优先队列请求。
万一操作员无法处理请求，系统将进入出埃及模式，每个用户都可以通过在以太坊主网上进行直接交易立即退出其所有资产。
安全审核
ABDK Consulting正在对zkSync v1.0进行审核，结果将在此处发布。审核范围包括协议设计，应用密码术，智能合约和零知识电路。 去中心化 zkSync如何去中心化？ 从技术上讲，去中心化不是二元选择，而是设计选择的连续体。以下规模可用于评估资产所有权方面的加密项目去中心化程度：
集中托管（完全信任）：Coinbase
集体监护（以诚实的多数人信任）：侧链
通过欺诈证据进行非监护（信任诚实的少数派）：optimistic rollups 非托管，集中管理（不信任）：Argent 多操作员（不信任，检查员抵抗力弱）：Cosmos
点对点（不信任，强大的审查能力）：以太坊，比特币
目前，zkSync处于此级别的第4级。它完全是非托管的，具有零信任假设：zkSync操作者无权在没有显式授权的情况下对用户的资产执行任何操作。用户始终可以将其所有资金提取到以太坊，而无需运营商的任何合作，即使后者完全关闭且无响应。但是，目前zkSync网络的日常运行取决于计算服务提供商的运行状况，该服务提供商为这些块生成零知识证明。
对于L1网络，只有诚实的少数用户有能力从不诚实的多数用户手中接过网络，才能确保不信任。对于L2协议，这不是必需的，因为用户最终可以依赖L1来规避出口检查。
现在谁在运营zkSync？
目前，zkSync网络的计算服务提供商是'Stichtig ZK Sync'，这是一家非营利性荷兰基金会，根据RSIN 861038204在阿姆斯特丹Kingsfordweg 151，1043GR中注册。该服务将以收支平衡成本运营，直到过渡到完全分权。
路线图 Matter Labs致力于将zkSync开发为完全去中心化的协议。
我们在zkSync愿景文档中概述了去中心化路线图。我们打算通过引入独立的共识机制来实现区块构建，以实现两个不同的角色：验证者和守护者。 （请注意，zkSync的安全性不会因引入其他共识机制而受到影响，因为状态转换证明的最终验证仍将由以太坊主网上的智能合约执行。） 智能合约 目前，zkSync仅可用于安全代币传输。但是，智能合约是zkSync路线图的基本部分。自2019年夏季以来，我们在Zinc上取得了重大进展，Zinc是开发人员友好的编程框架，用于创建零知识证明电路。遵循在Solidity中以太坊编程的非常相似的约定，很快将可能在Zinc中为zkSync编写智能合约。
Zinc lang遵循默认安全的Rust原理，并基于简化的但非常有表现力的Rust语法。精通Rust，C ++或Solidity等语言的开发人员可以在一天之内学会它。
与其他现有的ZKP编程语言不同，无需了解所有细微差别R1CS即可编写安全代码。 Zinc遵循严格的类型，默认情况下所有操作都是安全的，并且不会因为缺少重要的约束而犯错——整个程序会自动正确地受到约束。 原文链接：https://zksync.io/faq/intro.html#introduction
—-
编译者/作者：洁sir
玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。
|
