...块链的两个主要扩展瓶颈：计算和数据。计算已由“欺诈证明”或 SNARK 等方式解决了，它们依赖于极少数参与者来处理和验证每个块，要求其他人只执行少量计算来检查证明过程是否正确完成。这些方案，尤其是 SNARK，几乎可...
... MEV 对你以及你的交易来说意味着什么。学习 MEV 的相关知识，深入理解你所使用的系统。 **对于 L1/L2 来说：重新设计并且将 MEV 考虑其中。想想你正在设计的用例，以及怎么样才能更好地管理 MEV。想一下如果 DApps 部署之后，...
...rfKA.png) 原生验证——轻客户端和 Relay + ZK 桥 建立在 [零知识 (ZK) 证明](https://ethereum.org/en/developers/docs/scaling/zk-rollups/) 上的桥也使用轻客户端和 relay 来验证跨链转移，并被认为是另一种无需信任的选择。但是，目前还没有任何...
...它们改变了 “两种资金有区隔” 的不完善状态，有力地证明了闪电钱包不必因为这种认识上的人为区别而裹足不前。最终，它们允许闪电钱包只保留一种形式的资金、只展示一种余额，同时保留跟一切钱包交互的能力。 ## 潜...
...参数运行的方式。 当比特币被创造出来时，它是工作量证明机制（在密码学中已经有历史）的革命性应用，目的是创造一种价值单位。工作量证明，也是以太坊链的共识机制，是一种使任何个体**代理**在数学上难以破坏共享工...
### 一个 **无信任** 机制，突破了“证明时间”障碍  几周前，我们描述了 [StarkExchange](https://learnblockchain.cn/article/11701)，这是我们用于非托管交易的中心化交易所的可扩...
...的两个主要扩展瓶颈：**计算**和**数据**。计算通过欺诈证明或 [SNARKs](https://learnblockchain.cn/article/10962) 来解决，它们依赖于极少数参与者处理和验证每个区块，要求其他人只执行极少量的计算来检查证明过程是否正确完成。这些...
## Merkle 证明格式 ### 目录 - [辅助函数](#辅助函数) - [广义 Merkle 树索引](#广义-merkle-树索引) - [SSZ 对象到索引](#ssz-对象到索引) - [广义索引的辅助方法](#广义索引的辅助方法) - [`concat_generalized_indices`](#concat_general...
...查找论证”（lookup arguments），这是一种在SNARK领域中提高证明速度的关键技术。 **核心内容概括：** 视频主要介绍了查找论证的概念及其在SNARK电路中的应用，尤其是在范围证明中的重要性。Mary解释了如何通过查找论证来证明...
...区块链开发人员必须具备关于区块链及其工作原理的基本知识。这包括学习去中心化、区块链网络架构的不同部分(如节点或区块)等技术。 此外，开发人员需要了解不同的区块链体系结构，以及了解它们是如何作为特定问...
...典型结构，包括对挑战的介绍、提供接近 SSF 所需的背景知识的部分、对导致 SSF 的不同方法、机制和提案的概述，以及分析和讨论部分。 该论文还将展示通过在前人工作的基础上开发具有不同权衡的新共识机制的尝试。 结论将...
...初主要通过广播许可费获得收入，但他们很快发现了保留知识产权的长期价值，从而通过商品销售和国际许可实现了动漫的商业化。 1970 年代后期巩固了动漫的商业可行性，标志性的机甲系列，如《魔神 Z》(1972) 和《机动战士...
...) 和 Kelvin Fichter (Optimism) 审阅本文。* ## 乐观 Rollup 欺诈证明介绍 在思考乐观 Rollup 时，我们最初设想的是具有固定挑战期的系统，任何一个诚实的挑战者都可以确保其安全。因为我们认为这些属性是理所当然的，所以我们开...
...hardedStorage.pdf) * [Prooφ](https://arxiv.org/abs/2404.06495)：SNARK 证明市场机制 * RollCall（L2 标准）[会议视频](https://www.youtube.com/watch?v=M2v6Rv2XE_o) ## EIPs/标准 * EIP： * [EIP7684](https://eips.ethereum.org/EIPS/eip-7684)：为不同凭证退还存...