scarletApprentice
keep hungry,keep humble
scarlet什么是gas，为什么用Bebop进行以太坊交易不需要ETH？
你浏览了[在此插入去中心化交易所]并开始了交易。你选择了你想要的代币并准备点击 "交换"......却发现你的钱包里其实没有足够的ETH来支付网络费用。该死的。 现在你需要从另一个钱包或中心化交易所账户转入ETH。或者更糟的是，用你的信用卡支付大量的费用来购买ETH。你甚至忘记了你开始这个旅程的目的。 过分吗？希望你能get这个点。现在不是了。在Bebop，你不需要任何ETH来交易代币。你的网络费用包含在你所报的价格中，你看到的捆绑价格就是你得到的价格。但让我们从头开始。 Gas的基础知识 如果你不习惯在去中心化金融（DeFi）交易，你可能不太熟悉网络费或 "gas "的概念。TL;DR是，Gas费用是在区块链上完成每笔交易所需的付款，作为补偿。 有点像你向银行支付电汇费用一样，你需要补偿区块链矿工处理和验证你的交易所需的计算能量，而上面的任何剩余部分都是他们的利润。除了这一点是完全透明和无信任的（在一个好的方面）。Gas是由供需力量决定的--例如，如果网络拥堵，费用不可避免地会升高。 每个区块链都有自己的本地资产，用来支付这些网络费用。这些代币具有实用性。例如：在Avalanc...
nothing
scarletApprentice
keep hungry,keep humble
scarlet什么是gas，为什么用Bebop进行以太坊交易不需要ETH？
你浏览了[在此插入去中心化交易所]并开始了交易。你选择了你想要的代币并准备点击 "交换"......却发现你的钱包里其实没有足够的ETH来支付网络费用。该死的。 现在你需要从另一个钱包或中心化交易所账户转入ETH。或者更糟的是，用你的信用卡支付大量的费用来购买ETH。你甚至忘记了你开始这个旅程的目的。 过分吗？希望你能get这个点。现在不是了。在Bebop，你不需要任何ETH来交易代币。你的网络费用包含在你所报的价格中，你看到的捆绑价格就是你得到的价格。但让我们从头开始。 Gas的基础知识 如果你不习惯在去中心化金融（DeFi）交易，你可能不太熟悉网络费或 "gas "的概念。TL;DR是，Gas费用是在区块链上完成每笔交易所需的付款，作为补偿。 有点像你向银行支付电汇费用一样，你需要补偿区块链矿工处理和验证你的交易所需的计算能量，而上面的任何剩余部分都是他们的利润。除了这一点是完全透明和无信任的（在一个好的方面）。Gas是由供需力量决定的--例如，如果网络拥堵，费用不可避免地会升高。 每个区块链都有自己的本地资产，用来支付这些网络费用。这些代币具有实用性。例如：在Avalanc...
nothing
Subscribe to scarlet
Subscribe to scarlet
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
以太坊rn就是我们所说的 "单片机"。因为共识、执行和数据可用性都发生在ETH区块链上。这不是可持续的，这就是为什么它不能扩展。因为这意味着所有节点都必须执行这3个功能
为了扩大规模，Eth必须成为 "模块化"。这意味着只将区块链用于其最擅长的领域：共识，并将执行和数据可用性（DA）的负担转移到链外。
但是，我们如何以完全继承L1的安全性的方式来移动执行和DA？
zk rollups 通过zk + rollup，数以千计的tx被打包成一个单一的、可被数学验证的zk证明，并且只有这个证明被存储在链上。
现在我们来比较一下@zksync 和 @StarkWareLtd . 将尽量保持清晰，并遵循这个计划。
团队和开端
技术
数据可用性
资金和支持者
目前的产品和路线图
个人印象和机会
团队和开端。
@StarkWareLtd 始于2018年5月。该团队由世界级的密码学家和科学家组成。核心人员是前Zcash首席科学家，多年来一直是zk领域的创新先锋。他们有很多顶尖的学术论文。用Starknet. 网络变成现实世界的产品。无疑是这场游戏中最著名的团队
@zksync : 从2019年12月开始。实际上，在zk领域有一个 "第二好"的称谓，那就是正在建设ZkSync的Matter实验室团队。该公司由 @gluk64创建（我没能找到......更多关于其背后的顶尖大脑的信息），但ZkSync 2.0带来的技术突破为他们说话。他们有外来者的气势，而且行动迅速。
技术。
两个项目都有一个类似的架构。 将会有一个插入Eth区块链的rollup智能合约**，它将存储L2状态转换的zk证明**。另外，将有2种链外行为者负责为网络提供动力。provers 和 validator
**证明人（provers**）:负责繁重工作的少量节点。它们计算所有的txs，并将其汇总为简洁的zk证明。它们在专用硬件上运行，可以是黑盒子。我们所知道的是，它们在数学上无法伪造假的ZK证明。
**验证者(validator**): 负责抗审查的大量节点。他们验证证明者提交的证明的有效性。不需要特定的硬件。每个人都可以运行它
另外，这两个项目都必须竞相克服一个主要的技术问题，那就是创建一个通用的ZK证明系统这是一个该死的圣杯，因为直到现在所有的ZK电路都需要特定的应用例如starkware的starkex。这意味着每个应用只有一个ZK rollup，而且没有EVM兼容性。你猜怎么着，@zksync和 @StarkWareLtd 都做到了，但技术不同
@StarkWareLtd ：他们使用的加密货币是基于STARKs的。他们是这项技术的先驱，与SNARKs（由ZkSync使用）相比有两个主要优势。
T "意味着 "透明"(transparent)，这意味着该系统无需信任设置即可工作
它的产出速度比SNARKs快10倍
但是也有drawbacks缺陷 ,STARKs的问题是技术不如SNARKs成熟，如果它允许图灵完备性，就很难使其与EVM兼容。
Starkware创造了Cairo，一种特定的最接近图灵完备的编程语言，允许运行由STARKs驱动的自主程序，但由于人们想学习一种新的编程语言来做智能合约的门槛太高，他们现在正与 @nethermindeth 创建Warp，这是一个可以将solidity智能合约无缝转换为Cairo的转码器，以便使 @StarkWareLtd 与EVM兼容
@zksync : 使用的zk系统是基于SNARKs（尤其是PLONK）。因此，该系统的整个安全性在于2019年秋季发生的一个可信仪式。它吸引许多有名的加密货币玩家，其中包括 @VitalikButerin
@zksync 的证明逻辑是如果至少有一个参与者是诚实的，那么这个系统是可以证明是安全的，尽管ZkSync团队做了很多优化，SNARKs比STARKs慢。但他们的系统允许EVM兼容...比STARKs更亲民的方式是，事实上，智能合约可以（几乎）由ZkSync编译器逐个转换操作码，这使得solidity成为ZkSync的 "主要语言"。不需要中介语言或转码器
数据可用性 Data availability （DA）。
zk rollups将txs计算的承担从L1中移出，并允许ETH扩展到2-3K tps。这很好，但还不够，仅仅采用 "rollup "的方法，DA的负荷仍然在L1上，而tx数据通过calldata写在L1上。
DA是超级重要的。这是允许你在Etherscan上看到你的tx发生了什么的原因。没有它，TX的执行就成了一个黑盒子。如果你喜欢便宜的tx而不是在L1上直接追踪，这是可以实现。因此，zk rollup必须向用户提供一个选择。要么你的tx数据写在L1上，但费用高一点，要么你优先考虑超便宜的tx，并信任L2上的一些实体来保证你tx数据的可用性。这样，L1就可以从DA负担中解放出来，而ZKrollup可以扩展到20-30k TPS。
@StarkWareLtd ：用Volition系统解决DA的挑战。Volition允许终端用户在其tx的滚动结算（链上DA）和单个tx层面的有效结算（链下DA）之间做出选择。
如果是 validium方案，链外DA由一个中心化的 "数据可用性委员会"（DAC）保证，该委员会由著名的加密货币实体组成。
@zksync DA的解决方案是zkPorter 它是一个分片基础设施，与ZkSync的zk rollup无缝运行。想象一下，ZkSync rollup是保证链上DA的shard0。然后其他分片可以选择不同的DA政策并在链外存储Tx数据。。
差异主要体现在：@StarkWareLtd的Volition和@zksync zkPorter，它们两主要区别是，Volition的方案是基于tx的选择（用户为每个tx选择DA），而zkPorter是基于账户的（一个zkPorter账户使用链外Da产生tx）
另外，对于zkPorter来说，链外DA系统更加去中心化，因为DA是由ZkSync原生代币激励的 "守护者 "网络而不是中心化的 "DAC "来保证的。
资金和支持者
@StarkWareLtd
2018年5月，600万美元的种子轮（Pantera/Naval/Vitalik）。
2018年10月，3000万美元的A轮融资（Paradigm/Sequoia/Cb Ventures）。
3月7500万美元的B轮融资(Paradigm/3AC/Alameda)
去年11月5000万美元的C轮融资（Paradigm/3AC/Alameda）。
今天 @StarkWareLtd 的估值为20亿美元。这是一次世界级的融资，有著名的投资者。大佬们和以太坊基金会都在其中。 Vitalik 本人评论了Starkware创作的大部分文章。。这怎么会失败呢？
@zksync
https://blog.matter-labs.io/funding-ea89c1fa731e
3月600万美元的A轮融资（Binance/Cb Ventures/AAVE/ Balancer/Curve）。
去年11月5000万美元的B轮融资（Horowitz/Placeholder/Crypto.com等）。
（看起来大人物较少，像一个大的Defi/CEX加密货币家族的资金。我们认识每一个人，并且在一起很好 这听起来很有趣，但实际上很重要，因为ZK的成功将在很大程度上取决于Defi协议的加入和直接CEXs的整合）所以我很看好 @zksync生态系统的快速整合
目前的产品和路线图。
@StarkWareLtd : 令人难以置信的演变，因为他们坚持不懈地将其顶级密码学论文转化为现实世界的创新。他们的路线图总结如下
他们首先推出了StarkEx，这相当于 "Planets "阶段，并允许创建由Cairo和STARKs驱动的有权限的、特定应用的ZKrollup。 如果你不清楚，看看@dydxprotocol@Immutable或@deversifi 。因为它们是3个由StarkEx的版本驱动的主要应用程序 到目前为止，StarkEx已经通过这些应用程序解决了超过500万的交易量和2500亿美元的价值。StarkEx的效率现在已经得到了证实。于是@StarkWareLtd迅速进入了路线图的 "Constellations "阶段。
11月29日，他们在主网上发布了StarkNet的Alpha版本。StarkNet是我们所期待的无权限、多应用、通用的zkrollup
https://medium.com/starkware/starknet-alpha-now-on-mainnet-4cf35efd1669
起初，StarkNet将由一个集中式验证器provers提供验证，应用程序将被部署
@zksync 的路线图通过4个步骤总结如下。 第一阶段对应于2020年6月推出的ZkSync 1.0，大致对应于zk rollup，但没有智能合约整合。你可以发送和接收代币,尽管缺乏可组合性，但有前途的项目已经在其上部署，所有指标都显示对ZkSync 1.0的兴趣呈指数增长
路线图的第二阶段将随着ZkSync 2.0的主网部署而启动，它对应的是我们期待的一切：Zk rollup上的完全EVM兼容性和智能合约的可组合性
ZkSync 2.0最初计划于8月在主网上发布，但技术问题推迟了发布。这些困难现在在测试网得到了解决，去年10月@zksync宣布即将完成技术步骤，并部署了一个类似于AMM的测试网来证明EVM的兼容性,Matter Lab为确保LLVM/Solidity的兼容性而采取的延迟，一开始可能会让人感到沮丧，但它会帮助@zksync 通过允许每个以太坊 工具和对其的依赖性与 ZkSync 2.0 本地集成来赢得大量时间
个人印象和机会。
@StarkWareLtd这是我在一段时间内看到的最有前途的基础设施项目。全明星团队，世界级的创新，顶级的资金。令人印象深刻的是，他们不仅仅是在建造一个ZK rollup。他们还建造 Cairo语言和Warp转码器。 同时他们也在努力通过 Veedo 为 Eth 带来真正的随机性，通过有条件的 txs 进行 L1s 到 L2s 的通信，Batch-Long 闪电贷和其他炸爆天的天才的东西。他们解决 AMM 流动性的方法。用 "分布式AMMs " 处理L1和L2之间的碎片化真的很鼓舞人心。他们望眼全球。他们正在思考大问题。
https://medium.com/starkware/damm-decentralized-amm-59b329fb4cc3
我现在看到的@StarkWareLtd 的唯一技术问题是通过Warp转码器进行的Solidity集成。Starknet首先是为Cairo优化的，而Solidity转译器是在它上面添加的。我不是一个技术人员，但我担心 "Solidity转译 "将无法实现。直截了当的说，它可能会导致与一些智能合约的兼容性问题。 我看到的其他问题是：我们这些平民百姓的机会在哪里？
另一方面，我喜欢@zksync社区第一的做法。以及对 "Solidity作为主要语言 "的强调。他们的整个技术努力依赖于真正的EVM体验，没有任何取舍，这可能会在普遍性方面得到回报。@zksync 也与当前的Defi/CEX深度融合，这对未来的协议加入和采用是一个好兆头。就机会而言，ZkSync已经宣布了原生代币的存在，他们将做一个公平的发布和潜在的空投
--the end
以太坊rn就是我们所说的 "单片机"。因为共识、执行和数据可用性都发生在ETH区块链上。这不是可持续的，这就是为什么它不能扩展。因为这意味着所有节点都必须执行这3个功能
为了扩大规模，Eth必须成为 "模块化"。这意味着只将区块链用于其最擅长的领域：共识，并将执行和数据可用性（DA）的负担转移到链外。
但是，我们如何以完全继承L1的安全性的方式来移动执行和DA？
zk rollups 通过zk + rollup，数以千计的tx被打包成一个单一的、可被数学验证的zk证明，并且只有这个证明被存储在链上。
现在我们来比较一下@zksync 和 @StarkWareLtd . 将尽量保持清晰，并遵循这个计划。
团队和开端
技术
数据可用性
资金和支持者
目前的产品和路线图
个人印象和机会
团队和开端。
@StarkWareLtd 始于2018年5月。该团队由世界级的密码学家和科学家组成。核心人员是前Zcash首席科学家，多年来一直是zk领域的创新先锋。他们有很多顶尖的学术论文。用Starknet. 网络变成现实世界的产品。无疑是这场游戏中最著名的团队
@zksync : 从2019年12月开始。实际上，在zk领域有一个 "第二好"的称谓，那就是正在建设ZkSync的Matter实验室团队。该公司由 @gluk64创建（我没能找到......更多关于其背后的顶尖大脑的信息），但ZkSync 2.0带来的技术突破为他们说话。他们有外来者的气势，而且行动迅速。
技术。
两个项目都有一个类似的架构。 将会有一个插入Eth区块链的rollup智能合约**，它将存储L2状态转换的zk证明**。另外，将有2种链外行为者负责为网络提供动力。provers 和 validator
**证明人（provers**）:负责繁重工作的少量节点。它们计算所有的txs，并将其汇总为简洁的zk证明。它们在专用硬件上运行，可以是黑盒子。我们所知道的是，它们在数学上无法伪造假的ZK证明。
**验证者(validator**): 负责抗审查的大量节点。他们验证证明者提交的证明的有效性。不需要特定的硬件。每个人都可以运行它
另外，这两个项目都必须竞相克服一个主要的技术问题，那就是创建一个通用的ZK证明系统这是一个该死的圣杯，因为直到现在所有的ZK电路都需要特定的应用例如starkware的starkex。这意味着每个应用只有一个ZK rollup，而且没有EVM兼容性。你猜怎么着，@zksync和 @StarkWareLtd 都做到了，但技术不同
@StarkWareLtd ：他们使用的加密货币是基于STARKs的。他们是这项技术的先驱，与SNARKs（由ZkSync使用）相比有两个主要优势。
T "意味着 "透明"(transparent)，这意味着该系统无需信任设置即可工作
它的产出速度比SNARKs快10倍
但是也有drawbacks缺陷 ,STARKs的问题是技术不如SNARKs成熟，如果它允许图灵完备性，就很难使其与EVM兼容。
Starkware创造了Cairo，一种特定的最接近图灵完备的编程语言，允许运行由STARKs驱动的自主程序，但由于人们想学习一种新的编程语言来做智能合约的门槛太高，他们现在正与 @nethermindeth 创建Warp，这是一个可以将solidity智能合约无缝转换为Cairo的转码器，以便使 @StarkWareLtd 与EVM兼容
@zksync : 使用的zk系统是基于SNARKs（尤其是PLONK）。因此，该系统的整个安全性在于2019年秋季发生的一个可信仪式。它吸引许多有名的加密货币玩家，其中包括 @VitalikButerin
@zksync 的证明逻辑是如果至少有一个参与者是诚实的，那么这个系统是可以证明是安全的，尽管ZkSync团队做了很多优化，SNARKs比STARKs慢。但他们的系统允许EVM兼容...比STARKs更亲民的方式是，事实上，智能合约可以（几乎）由ZkSync编译器逐个转换操作码，这使得solidity成为ZkSync的 "主要语言"。不需要中介语言或转码器
数据可用性 Data availability （DA）。
zk rollups将txs计算的承担从L1中移出，并允许ETH扩展到2-3K tps。这很好，但还不够，仅仅采用 "rollup "的方法，DA的负荷仍然在L1上，而tx数据通过calldata写在L1上。
DA是超级重要的。这是允许你在Etherscan上看到你的tx发生了什么的原因。没有它，TX的执行就成了一个黑盒子。如果你喜欢便宜的tx而不是在L1上直接追踪，这是可以实现。因此，zk rollup必须向用户提供一个选择。要么你的tx数据写在L1上，但费用高一点，要么你优先考虑超便宜的tx，并信任L2上的一些实体来保证你tx数据的可用性。这样，L1就可以从DA负担中解放出来，而ZKrollup可以扩展到20-30k TPS。
@StarkWareLtd ：用Volition系统解决DA的挑战。Volition允许终端用户在其tx的滚动结算（链上DA）和单个tx层面的有效结算（链下DA）之间做出选择。
如果是 validium方案，链外DA由一个中心化的 "数据可用性委员会"（DAC）保证，该委员会由著名的加密货币实体组成。
@zksync DA的解决方案是zkPorter 它是一个分片基础设施，与ZkSync的zk rollup无缝运行。想象一下，ZkSync rollup是保证链上DA的shard0。然后其他分片可以选择不同的DA政策并在链外存储Tx数据。。
差异主要体现在：@StarkWareLtd的Volition和@zksync zkPorter，它们两主要区别是，Volition的方案是基于tx的选择（用户为每个tx选择DA），而zkPorter是基于账户的（一个zkPorter账户使用链外Da产生tx）
另外，对于zkPorter来说，链外DA系统更加去中心化，因为DA是由ZkSync原生代币激励的 "守护者 "网络而不是中心化的 "DAC "来保证的。
资金和支持者
@StarkWareLtd
2018年5月，600万美元的种子轮（Pantera/Naval/Vitalik）。
2018年10月，3000万美元的A轮融资（Paradigm/Sequoia/Cb Ventures）。
3月7500万美元的B轮融资(Paradigm/3AC/Alameda)
去年11月5000万美元的C轮融资（Paradigm/3AC/Alameda）。
今天 @StarkWareLtd 的估值为20亿美元。这是一次世界级的融资，有著名的投资者。大佬们和以太坊基金会都在其中。 Vitalik 本人评论了Starkware创作的大部分文章。。这怎么会失败呢？
@zksync
https://blog.matter-labs.io/funding-ea89c1fa731e
3月600万美元的A轮融资（Binance/Cb Ventures/AAVE/ Balancer/Curve）。
去年11月5000万美元的B轮融资（Horowitz/Placeholder/Crypto.com等）。
（看起来大人物较少，像一个大的Defi/CEX加密货币家族的资金。我们认识每一个人，并且在一起很好 这听起来很有趣，但实际上很重要，因为ZK的成功将在很大程度上取决于Defi协议的加入和直接CEXs的整合）所以我很看好 @zksync生态系统的快速整合
目前的产品和路线图。
@StarkWareLtd : 令人难以置信的演变，因为他们坚持不懈地将其顶级密码学论文转化为现实世界的创新。他们的路线图总结如下
他们首先推出了StarkEx，这相当于 "Planets "阶段，并允许创建由Cairo和STARKs驱动的有权限的、特定应用的ZKrollup。 如果你不清楚，看看@dydxprotocol@Immutable或@deversifi 。因为它们是3个由StarkEx的版本驱动的主要应用程序 到目前为止，StarkEx已经通过这些应用程序解决了超过500万的交易量和2500亿美元的价值。StarkEx的效率现在已经得到了证实。于是@StarkWareLtd迅速进入了路线图的 "Constellations "阶段。
11月29日，他们在主网上发布了StarkNet的Alpha版本。StarkNet是我们所期待的无权限、多应用、通用的zkrollup
https://medium.com/starkware/starknet-alpha-now-on-mainnet-4cf35efd1669
起初，StarkNet将由一个集中式验证器provers提供验证，应用程序将被部署
@zksync 的路线图通过4个步骤总结如下。 第一阶段对应于2020年6月推出的ZkSync 1.0，大致对应于zk rollup，但没有智能合约整合。你可以发送和接收代币,尽管缺乏可组合性，但有前途的项目已经在其上部署，所有指标都显示对ZkSync 1.0的兴趣呈指数增长
路线图的第二阶段将随着ZkSync 2.0的主网部署而启动，它对应的是我们期待的一切：Zk rollup上的完全EVM兼容性和智能合约的可组合性
ZkSync 2.0最初计划于8月在主网上发布，但技术问题推迟了发布。这些困难现在在测试网得到了解决，去年10月@zksync宣布即将完成技术步骤，并部署了一个类似于AMM的测试网来证明EVM的兼容性,Matter Lab为确保LLVM/Solidity的兼容性而采取的延迟，一开始可能会让人感到沮丧，但它会帮助@zksync 通过允许每个以太坊 工具和对其的依赖性与 ZkSync 2.0 本地集成来赢得大量时间
个人印象和机会。
@StarkWareLtd这是我在一段时间内看到的最有前途的基础设施项目。全明星团队，世界级的创新，顶级的资金。令人印象深刻的是，他们不仅仅是在建造一个ZK rollup。他们还建造 Cairo语言和Warp转码器。 同时他们也在努力通过 Veedo 为 Eth 带来真正的随机性，通过有条件的 txs 进行 L1s 到 L2s 的通信，Batch-Long 闪电贷和其他炸爆天的天才的东西。他们解决 AMM 流动性的方法。用 "分布式AMMs " 处理L1和L2之间的碎片化真的很鼓舞人心。他们望眼全球。他们正在思考大问题。
https://medium.com/starkware/damm-decentralized-amm-59b329fb4cc3
我现在看到的@StarkWareLtd 的唯一技术问题是通过Warp转码器进行的Solidity集成。Starknet首先是为Cairo优化的，而Solidity转译器是在它上面添加的。我不是一个技术人员，但我担心 "Solidity转译 "将无法实现。直截了当的说，它可能会导致与一些智能合约的兼容性问题。 我看到的其他问题是：我们这些平民百姓的机会在哪里？
另一方面，我喜欢@zksync社区第一的做法。以及对 "Solidity作为主要语言 "的强调。他们的整个技术努力依赖于真正的EVM体验，没有任何取舍，这可能会在普遍性方面得到回报。@zksync 也与当前的Defi/CEX深度融合，这对未来的协议加入和采用是一个好兆头。就机会而言，ZkSync已经宣布了原生代币的存在，他们将做一个公平的发布和潜在的空投
--the end
No activity yet