在 ETH1 客户端需要 BLS-12-381 预编译。 ETH 1 链可以是挂钩到 2.0 链的计较层，要求在 2.0 链上宣布用于汇总模式的数据。

破例环境是增加分片或更新加密。

ZK Rollup 没有数据可用性问题，因为所有生意业务都宣布到链，没有签名。

这种布局可以相对安详地将简朴付款从 15 tx/s 增加到 500 tx/s。

这是一种新的 L2 布局，与可扩展性（plasma/state channels）的 L2 差异，它利用 BC 作为数据存储而非计较的场合。计较可以用 zk-snarks 完成。

合约 yanking 有助于办理火车和旅馆问题。（与差异分片上的 2 个工具举办交互） ETH 链是否应支持 L1 上的同步？不，它引入了太多的巨大性。

具有同步交错分片挪用会粉碎此稳定量，使状态计较游戏变得越发巨大，尽量你可以实现雷同 Rollup 的 L2，这将有助于支持同步交错分片挪用。

TC 的数学界说与加密社区的寄义有所差异。数学：TC 意味着计较机。这是如此笼统，你不能汇报计较何时遏制（Snark 需要事先知道）。

此刻，在两个交联之间，你可以计较分片中的状态转换，作为分片和信标链中数据的函数。不依赖于其他分片中产生的工作。

一些汗青：将 Mastercoin 视为 BTC 之上的元协议。为表明 tx 界说一组差异的法则。BTC 是数据存储，但不是状态执行。非凡 tx 可以用 flag 暗示。

假如我们想做更多的工作怎么办？输入 ETH 2.0 的 Beacon Chain 第 1 阶段。作为仅数据链的分片链意味着 2.8 MB/ 秒的数据可用性。

问：我们是否应该担忧熊市期间 30％的哈希率损失？

Rollup 应该可以或许支持更巨大的状态转换，包罗 Uniswap，高机能互换，多个 token，隐私掩护计较，ENS 等，所有这些都利用 SNARK + publish tree details 典型。

办理此延迟的大致发起是答允一个分片看到另一个分片的根的机制。这大概在大大都时间都有效。

Mastercoin 的缺点：客户端不足轻（需要 BTC 区块链和 Mastercoin 节点）。MC 协议中的勾当不会影响 BTC 链，这限制了整体成果。

以下是 Alex Gluchowski 和 Kent Barton 在 ETHDenver 2019 上的出色演讲，具体先容了 Rollup 机制：零常识缩放 Scaling With Zero Knowledge。对付 SNARK 和 STARK 之间的差别也有很好的摸索。

我在下面输入了 Vitalik 演讲的大致记录，试图捕获每个部门的精华。但愿人们以为这很有用。

问：L2 内容是否解除了利用完整语言不合用于 zKsnarks？

其他区块链已经提出了这个主张，但实际环境是，一旦你拥有可扩展的数据可用性和足够的表示力，至少要验证 zKSnarks 和状态转换（功率和巨大性的最低阈值），你可以在顶部成立所有须要的 L2。

当耐久委员会切换时，每 9 天需要 80kb 的 merkle 分支（也可以在 9 天内分摊），每个头部加 500 字节。

这可以通过不包罗 nonce 来改造，删除 2 个字节（每个字节 11 个字节每字节 X gas 气体 = 748 个 gas）

斯坦福 1.x 研讨会（youtube 视频）的一个功效是，与其他业务对比，数据价值过高。尽量存在对状态的担心，但向块巨细添加 1kb 并不会使工作变得更糟。在 Istanbul 可以淘汰简朴 tx 的 gas 本钱，从而将 ETH1.x 的吞吐量提高到 1000 tx/sec 以上。

本文由 Trenton Van Epps 按照 Vitalik 2019 年 3 月 15 日晚在台北的以太坊集会会议上的演讲整理而成，由汇智网提供中文翻译版本。Vitalik 最近提出了他对 Rollups 的想法以及与 Ethereum1.0 和 2.0 中的第 2 层办理方案相关的数据可用性问题。他的演讲包括了一些引人入胜的布局，大概会进一步从团队中举办迭代。这是一个至关重要的研究规模，因为对付但愿增加用户群的项目来说，仍然很是需要信任最小化的区块链扩展机制。假如你有时间我发起听完整的演讲。

从哲学上讲，第 1 层不需要过于巨大来优化属性，块时间，x-shard 通信，x-shard 同步动静支持，隐私等。

此刻我们有 ETH 1.0，很快我们将得到 ETH 2.0，我们能做雷同于 Mastercoin 的事吗？

TC 是错误的词，可是你可以做一些足够表达的工作来构建 zKsnarks 中的应用措施。

根基思路：回收 ZK 汇总但内置迷你版 zCash。（关于 zCash 的入门：用户宣布 txs，SNARKs 说「我有一个有效的支出证书，用于该状态的一些 coin 哈希。这是一个新的 coin 哈希」

在存储令牌余额的注册表的上下文中，宣布 100 个 ETH 存款的用户（在期待 x-shard 生意业务通过期）然后将其余额更新为条件状态假如状态根声明是正确的，我有 x+转移 amt ，假如不正确我只有原始金额（减去充公的 ETH 担保金）。

从理论上讲，ETH 2.0 阶段 3 大概永远是足够的，不需要超等二次分片。

Celer 是一个提供本身的数据可用性办理方案的 L2，Plasma 也是这样做的。Rollup 执行计较 offchain 并在链上处理惩罚数据可用性。有差异的衡量。

转发者不会宣布 tx，它会宣布收据（105 字节 X 68 gas= 每 tx 7140 gas）。在这里我们安排一个 SNARK 来验证包括的每个单独的 tx 是否附加了 SNARK （一级递归）。验证 SNARKs onchain，它需要 500k gas。

get rekt scamcoins LOL VB 甚至无法选择哪个是 TPS 声称的最差。

youtube 视频链接

留意：即时存款和取款。提款：coin 从他们的 merkle 分支转移到主链，然后是 merkle root 更新。存款将是相反的，但别的为用户提供帐户 ID。大概会有许多漂浮在周围。

每个宣布 13 个字节 X 每个字节 68 个 gas=884 个 gas，当前简朴 tx 的当前本钱为 21k。

将其视为 SC 内部的量子叠加（存储两种状态 / 两种大概性）。只有当合约通过交联才气知道原始碎片的状态根时才办理。
ETH2 在 ETH1 轻客户端

ETH 2.0 研究团队花了许多时间使 2.0 体系布局轻松客户端友好。

问：「第三方」L2 办理方案（Celer）与其他以太坊 L2 办理方案之间的干系是什么？

每个 zK zK 汇老是 105 字节 / 意味着 27k 隐私保存生意业务 / 秒，假如完全耗损 2.8 MB。假如我们不体贴隐私，则 27k 增加 10 倍。

当前分片设计的弱点：分片之间的通信有延迟（期待交联，~6 分钟）

ZK 汇总（not ignis, not ignis plasma）可以在本日提高 30 倍的可扩展性，未来会更高。事情道理：Onchain 合约只存储一个值：merkle 树的 merkle 根。

「碎片的 merkle root 是 0x12345，假如这个说法错了，我同意失去 100 ETH （押金）」。

zKsnark

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。