第一则：@StopAndDecrypt：有没有比特币爱好者来解释下zkrollup？我不指望以太坊的开发者会诚实地讲清楚其中的权衡，也不指望以太坊的粉丝真的明白它是怎么工作的。@SomsenRuben：用比特币的术语来说，就是一个大区块方案——每个人都要下载额外的数据。在交易进入区块之前，一个中间人先使用一个SNARK证据来聚合/压缩所有的见证数据，并发布新状态的UTXO集合承诺。每个人都验证这个SNARK，证明区块的有效性和UTXO集合承诺的正确性。没人必须生成UTXO集合，因为SNARK已经证明过了，只要你想，你就能生成出来。如果那个中间人失踪了，你只需使用UTXO集合承诺证明自己的状态即可动用资金。简而言之，好处是你可以节约见证数据和计算量。zkrollup只是应用了我们一直知道的SNARK能做的事，可能差别只在于它用在了单独的一个UTXO集合上。亦见我写的SNARK文章：SNARK与区块链的未来。第二则：@AdrianoFeria：侧链不能提供与L1同样的安全性。Statechain不是完全免信任的。我还没研究Chaumianbanks。@bergealex4：当然不能，它从来也没说自己能。你没法跨层复制L1的安全性。@AdrianoFeria：“你没法跨层复制L1的安全性。”这就是ZK-Rollup能做到的事。@bergealex4：好吧，即使我们接受这个前提，光凭这一点也不能让ETH优于BTC。@AdrianoFeria：就凭这一点，以太坊就有了一种扩容机制，可以保留L1的安全性，同时无需付出开启/关闭通道的开销，也不必承担闪电网络内在的数据可得性风险。我们没法靠推特来讨论哪个系统在整体上更优。无论如何，zk-rollup是一个大进步，并且提供了比支付通道更大的好处。@SomsenRuben：ZK-rollup和支付通道是不同维度的。zk-rollup就像扩大的区块——非见证数据放到链上，并由每一个人验证。我可以理解为什么你们管它叫“L2”，但从技术上来说，它其实不是。它只是做了非交互的见证数据聚合。看我的文章《SNARK与区块链的未来》。@AdrianoFeria：它是个L2，因为SNARK的计算是委托给另一个网络的。L1只用来存储证明，结果是它提高了L1的吞吐量大约100倍。据我了解，它就相当于无损压缩。@SomsenRuben：“L2”只是个标签。关键是我们同意这个过程里面SNARK做了什么——非交互的见证数据聚合，这个也可以用在主链上，或者用在链中链上。在比特币网络中，见证数据只占区块的50%，所以你最多只能获得2倍的效率提升，而且这是假设了完美的SNARK技术；这个扩容效果很一般。即使运用了它，支付通道仍显然是有好处的。@AdrianoFeria：在rollup基础上再运行支付通道就不可能吗？@SomsenRuben：当然可以，这就是为什么我说他们不是同一个维度的。@AdrianoFeria：是不是可以断言，它提高了L1的吞吐量，代价是增加了额外的计算量？而且，即使证据的提供者崩溃了，资金也仍然可以取回。@SomsenRuben：我那篇文章提出的NIWA概念解释了这种直觉。任何人都可以收集所有的见证数据并压缩/聚合成一个SNARK证据。只需某人付出多一点，结果有益所有人。资金总是可以取回的，证据的提供者也总是可以替换的。@AdrianoFeria：我理解这些，但理想情况下，SNARK的计算应该作为一项服务，由一个去中心化的网络来提供。这就是以太坊生态里面正在发生的事，而且我看不出为什么类似的东西对比特币来说就不可取。@SomsenRuben：它总有可取之处，但你过高地估计了它的好处，也低估了它的代价。我确实相信有一天SNARK会成熟，会变得很有意义，但现在还没到时候。@AdrianoFeria：普遍共识是，zkrollup在以太坊上的扩容效果是100倍。为什么它对比特币就没有这样的效果呢？@SomsenRuben：我能想到的两个原因：相比比特币，以太坊中的witness数据大得多，验证起来也更昂贵——所以SNARK能更好地缓解以太坊的低效率。地址重用进一步减少了非见证数据——对比特币来说，这种隐私上的牺牲也是不太可能被接受的。我的主张是很容易推理的：SNARK只能减少见证数据比特币的见证数据大约占区块的50%只要你理解这些，你就不需要“相信我是个专家”，但100倍的说法，实在是很难推理出来。@AdrianoFeria：我没有在任何地方看到有人挑战这个100倍的说法。我假设zkrollup的技术设计可能稍微不同于你用比特币来举的例子，以及/或者跟UTXO或比特币脚本的限制有关。@SomsenRuben：我不会那么快就开始假设。“别信任，自己验证”。总的来说，我也建议你不要为某种主张辩护，除非你有非常强的信心。谦虚一些，http://www.paulgraham.com/identity.html@AdrianoFeria：所以我也欢迎对这个说法的技术上的挑战呀。基于一个事实：它已经被许多著名的开发者引用，也广为流传，也没有被挑战，偏向这个陈述是合理的。Rollup已经快集成好了，证据就在眼前。你需要务实地遵守这个“别信任，自己验证”的信条。相信某些东西，而不是自己验证每一件事，是有理由的。比如：相信SHA-256运作良好相信公钥密码学为客户端创建二进制未见得编译器是有效的@SomsenRuben：我只不过给了一种你可以验证的，比特币无法靠SNARK实现两倍以上扩容，的证明。从这个角度看，说以太坊可以实现100倍扩容的主张至少可以开始怀疑。如果这还不叫“验证”，那我也不知道什么是。@AdrianoFeria：我一直没法完全消化这一点，但这篇文章看起来与你用比特币来描述的情形完全不同。你有什么评论吗？https://medium.com/interdax/ethereum-l2-optimistic-and-zk-rollups-dffa58870c93@SomsenRuben：文章里列举了许多扩容方案，但就我所知，除了zk-rollup，其它方案都已经被以太坊社区抛弃了。但相比之下，我更了解比特币。如果你对我的文章有什么疑问，我很乐于帮你解答。这也会间接帮你了解以太坊。@AdrianoFeria：Vitalik刚刚发布了这篇文章，我还没来得及看，但它似乎讲解了许多技术设计上的细节，以及各种类型的交易能压缩多少数据的细节。《Rollup不完全指南》@SomsenRuben：好文章。所以我的两个理由都是对的，但现在我更理解这个100倍是怎么来的了。在以太坊中，空间和计算量都要消耗gas，但前者的gas成本更低。因为SNARK将计算量降到了接近0，所以所有的gas都可以用来发布数据。缺点是什么？区块变得更大。@AdrianoFeria：区块是变得更大了，但这是我知道的对存储空间最有效率的用法。另外，这篇文章也证明了，一笔普通的交易可因此节约10倍空间。所以，这说明rollup比你用比特币来描述的情形有5倍的效率优势。这可不小了。@SomsenRuben：你忘了第二个代价，地址重用，这是个很严重的隐私降级。你也可以为比特币引入这样的反向升级来节约区块空间，以前也有人提议过，但大家以很好的理由拒绝了。@AdrianoFeria：我看不出地址重用怎么就是专属于rollup的问题，而且这个问题也可以通过专门设计的提高隐私性的智能合约来缓解。而且，钱包就不能每次收银都使用一个新地址、模拟UTXO的隐私性吗？@SomsenRuben：关键在于地址重用就是他们缩小交易体积的办法呀。如果你为每一笔交易都使用一个新地址，那zk-rollup的交易体积会大得多。。这不是有点儿戏吗？相反，Somsen对SNARK扩容效果的论证更接近于技术本来的面目，它就是节约见证数据而已。另外，zk-rollup也确实有地址重用的问题。Adriano所谓的模拟UTXO，每次都使用一个新地址的办法，不是不行，但在以太坊的世界里不是一个良好实践，因为所有的历史地址都会留在状态中，变成节点的负担，这就是所谓的状态爆炸问题。下面，是Somsen的文章）SNARK与区块链的未来
Aave社区关于在zkEVM主网上部署Aave V3 MVP版本的ARFC提案现已开启投票:3月26日消息，Aave 社区关于在 zkEVM 主网上部署 Aave V3 的 MVP 版本的 ARFC 提案现已开启投票，zkEVM 是由 Polygon 团队开发的 EVM 等效 zk-rollup L2，预计将于 3 月 27 日部署，Aave V3 已成功部署在 ZkEVM 测试网上大约 6 个月。该 ARFC 提案应被视为温度检查，允许开发和风险服务提供商对 zkEVM 网络进行更深入的分析，将于 3 月 29 日 18:00 结束投票。[2023/3/26 13:27:34]
作者：RubenSomsen来源：https://medium.com/@RubenSomsen/snarks-and-the-future-of-blockchains-55b82012452bSNARK常被认为是“解决”扩容问题的灵丹妙药。虽然SNARK可以提供难以想象的好处，但我们也要知道——SNARK无法解决区块链当前面临的带宽约束问题。本文希望能通过简要地介绍SNRAK能为区块链做什么和不能做什么，来揭开SNARK的神秘面纱。我们会先谈谈，为什么它与区块链有关的功能可以被简洁地归纳为“非交互式见证数据压缩”。只要你知道比特币是怎么运行的，你就能理解这篇文章。应当指出的是，SNARK在很大程度上仍然处于活跃的研究阶段。许多SNARK的变种，要么效率不足以至于无法证明复杂的语句，要么证明的体积非常大，大到不切实际，要么需要一个受信任的启动设置。也就是说，虽然这几年我们看到了许多进展，预计未来数十年我们还将看到更多。本文的写作对这些进展有预期，即使它们今天看来可能不实用。什么是SNARK?
历史上的今天丨日本加密货币商业协会发布“关于证券代币法律法规的提案书”:2019年10月4日，日本加密货币商业协会（JCBA）发布“关于证券代币法律法规的提案书”。JCBA已经成立了一个ICO/STO研究小组，以研究与ICO和证券代币相关的法律法规形式，并一直在与各方合作以研究证券代币法规的理想方式。
2019年10月4日，Monex集团、Daiwa证券集团，kabu.com证券，Nomura证券，Rakuten证券和SBI证券联合成立日本证券性代币发行协会，协会针对STO拟定了监管准则，且该协议将于10月1日生效。该协会旨在探索该国STO产品的商业机会，并确保遵守法律法规以保护投资者。[2020/10/4]
SNARK是一种技术，让你可以在给定一个规则集和一个起始状态时，高效地验证一个结果。导致这个结果的输入是不公开的。听起来一头雾水？我们拿象棋举一个简单的例子的好了。象棋案例
规则：象棋规则起始状态：棋盘的起始局面A结果：棋盘的新局面B证明棋局从局面A到局面B是有效转换的传统方法是公开每一个步骤并检查每一步是不是都有效。SNARK也同样能用来检查状态转换的有效性，但效果更好：步骤不必公开验证在计算上更高效但有一个问题——创建SNARK的计算成本很高。不过，在一个许多人都想验证同一个结果的系统中，使用这种技术可能仍是值得的。只需要一个人花力气来创建SNARK，就能提高所有人的验证效率。区块链案例
规则：全节点软件起始状态：时间点A的区块头和UXTO集合哈希值结果：时间点B的区块头和UTXO集合类似于我们上面提到的象棋，验证状态转换有效性的常规方法是：从时间点A的UTXO集合开始，接收截至B点所有的区块并更新UTXO集合。有了SNARK，那就不需要这些数据来证明有效性了。实际上，如果时间点A被设为创世区块，而时间点B被设成现在，那么无需接收任何历史数据就能验证整条链。重要的是，你需要B点的整个UTXO集合，而关于A点你只需要知道UTXO集合的哈希值。虽然这个数据不是证明有效性严格必需的，但我们也关心可得性。如果你总是只能拿到UTXO集合的哈希值，那即使你知道一个有效的状态存在，你也不能知道那个状态究竟是什么。也就是说你没法花费任何资金，因为你没有数据来证明某个UTXO属于当前的集合。如果以象棋为类比，那就是你知道了一个新局面的哈希值，但你并不知道那个局面到底是怎么样的，所以也没法继续玩这个游戏。记住，无论是谁来创建SNARK都要具备这个数据，但他们可能会选择扣住数据，不发给你。SNARK区块链
动态 | EOS Store关于更新ECAF黑名单状态声明:ECAF发布冻结账号，需要BP将账号及时更新黑名单，防止资产转移。其中一个账户guzdonzugmge的3570个 EOS已经被转走，在Telegram EOS Gov群中出现了针对“Eos Store 更新ECAF黑名单状态”的讨论。IMEOS第一时间从EOS Store得知相关声明：
1. 由于ECAF刚开始运行，沟通体系还未完善，第二批账号的冻结信息并未在BP的电报讨论群、EOSIO的Github、视频会议中通告。加上此前ECAF的虚假信息，EOS Store未能及时更新信息。
2. EosStore坚持做事为保护所有人的公正利益，如果社区或者其他BP在社区内投票一致认为受害者的损失应该由EOS Store承担，EOS Store愿意承担3570 EOS的损失以保护被害人的利益。
3. 考虑到ECAF目前并没有正式的发声渠道，为杜绝类似这样事件再次发生， Eos Store计划发起一个公示软件的开发邀请，希望其他BP加入，保证所有发声及执行的一致性。
关于EOS的治理，需要EOS社区一起参与进来，IMEOS将会持续跟进EOS治理的事情。[2018/6/26]
为了保证每个人都会花费自己的钱，更新UTXO集合所需的所有数据都必须与每个区块一起传播。你还是要知道哪些UTXO被花费了、哪些UTXO新产生了。这就是所谓的“非见证数据”。状态转换的有效性可以靠一个SNARK来验证，因此SNARK可以取代所有的见证数据，而且几乎不占用带宽。输入和输出之间的关联将被抹消——一个区块看起来就像一笔很大的coinjoin交易一样。大部分数据都是非见证数据。所以，与大众的想象相反，SNARK无法解决轻客户端或者非联盟侧链背后的根本问题，因为你必须下载非见证数据。如果非见证数据丢失，全节点有能力拒绝一个有效的SNARK；但如果一个轻客户端疏忽于下载非见证数据，它可能会错误地认为一个数据丢失的链是有效的。即使非见证数据的一小块被矿工扣住了，其他人也就没法在有效的SNARK上创建新区块——最终它会变成一个许可型系统。SNARK消耗见证数据
关于区块链创投峰会（上海）延缓举办的公告:BNCN官方表示原定于4月21日在上海举行的区块链创投峰会将延期举行，会议举办时间会在BNCN官方网站另行通知。[2018/4/20]
用于区块链的SNARK最好的总结可能是，它可以启用一种功能：非交互的见证聚合。我在这里使用“见证”一词是比较随意的。在比特币中，见证数据是放在交易中、用来证明具体的UTXO是否能够合法创建出来的数据。但随着时间推移，这个UTXO也会变成自身的见证数据，在它被花费的时候。假设1btc从Alice转给了Bob又转给了Carol，Bob的交易就是从Alice到Carol的转账的见证数据。同样地，创世块以来的所有支付交易，都是当前UTXO集合的见证数据s。同样要指出的是，一个SNARK自身就是一个见证数据。如果每一笔交易都由一个SNARK来验证，我们也可以将这些SNARK都聚合在一起、为区块生成单个的SNARK。而且，因为输出在花费时会变成见证数据，我们甚至可以在交易池中取出未上链确认、但已经被花费的输出，并聚合它们。Alice转给Bob再转给Carol会变成Alice转给Carol，实现非交互的交易合并。当带有许多链外交易分支的单个UTXO被强制上链时，这种功能特别有用。简单总结
我们已经用NIWA概念总结了SNARK为区块链提供的核心功能。任何见证数据都可以被一个SNARK非交互式地聚合在一起。而剩下的非见证数据就是对系统状态的直接反映。虽然SNARK可以实现一些神奇的功能，比如直接下载一个UTXO集合和一个SNARK就从创世状态跳跃到最新状态、非交互式地将未上链交易的序列聚合为单笔交易，但我们还是需要为每一个新区块发布所有的非见证数据，以使所有的全节点都能更新他们的UTXO集合。因此，SNARK无法解决区块链面临的带宽根本约束。感谢SanketKanjalkar富有教益的讨论和评论。
中元股份收深交所问询函 要求说明关于区块链技术的研究情况及应用情况:中元股份收深交所问询函，1月16日，公司在互动易平台上表示，“公司将加大研发投入和区块链技术的研究，积极成为区块链技术运用于医疗的开拓者”。深交所公司管理部关注到，公司从未披露区块链相关信息，要求公司补充说明关于区块链技术的应用情况，包括具体应用领域、贡献收入及占公司收入比例等。中元股份昨晚公告称，因市场对公司涉及区块链概念较为关注，股票停牌自查。[2018/1/18]
-NIWA在行动。SNARK消耗witness，但自身也是一个witness。所以SNARK可以吞吃SNARK-
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。