... Rollup：这是 Plasma 的 Layer 2 版本。Optimistic Rollup 采用欺诈证明机制。 - ZK Rollup：这是 Validium 的 Layer 2 版本。ZK Rollup 利用 zkSNARK 或 zkSTARK 算法。 ## **Optimistic Rollup** Optimistic Rollup 继承了 Plasma 的欺诈证明机制，以确保数据的有效...
...档只涵盖了Mina中的广义共识机制抽象。有关实施Mina权益证明的信息，请参阅[相关文件](https://learnblockchain.cn/article/3364)。 ### **数据** #### **本地状态** `Local_state`是与共识相关的状态，只存储在本机本地。它为共识提供了一...
...发了一个新的 Python 生态系统安全功能：索引托管的数字证明，如 [PEP 740](https://peps.python.org/pep-0740/) 中所规定。 这些证明改进了传统的 PGP 签名（该签名已[在 PyPI 上禁用](https://blog.pypi.org/posts/2023-05-23-removing-pgp/)）通过提供**密...
## 关于证明、区块传播和时序博弈 现在，[提议者时序博弈](https://timing.pics/)不再是一个新现象，并且已经被分析过，[这里](https://eprint.iacr.org/2023/760)，[这里](https://arxiv.org/abs/2305.09032)和[这里](https://learnblockchain.cn/article/19373)。 ...
...前的轮次已得到充分建立。 当他们对网络状态有足够的知识和可观察性时，他们可以做到这一点。 我应该注意到，见证人事件没有任何特殊标记 - 任何人都可以仅从 Hashgraph 的结构中确定事件是否是见证人。 他们确实标记了...
...)）的过程中，有人[建议](https://learnblockchain.cn/article/19439)证明和执行提议应该更加完全地分离。诸如[执行票](https://ethresear.ch/t/execution-tickets/17944)（ETs）和[执行拍卖](https://learnblockchain.cn/article/16214)（EAs）之类的提案，力求将提...
...*第 0 阶段：安全委员会拥有完全控制权**。可能会有一个证明系统（optimistic 或 ZK）在运行，但安全委员会可以通过简单多数投票来推翻它。因此，证明系统只是“仅供参考”。 * **第 1 阶段：安全委员会可以用 75%（至少 8 个中...
...私。然而，主要的限制在于只有拥有见证的单方才能编译证明。这一限制使得 zkSNARKs 无法应用于需要多个各自拥有秘密的各方共同生成证明的某些场景。  来自论文 **Exper...
...额外的10600个Gas（每个字节码200个）+ calldata成本（每个非零字节16个Gas，每个零字节4个Gas）。这意味着在calldata成本中最多有848个额外的Gas。 那么，为什么要包括它呢？ 这使得智能合约代码能够得到严格的验证。编译器输...
...管家通道等同于承诺交易）。因此，用户拥有某种密码学证明来证实托管方欠他们的债，与传统托管钱包大相径庭。 **一句话总结：有了管家通道，一旦被骗，用户可以证实。** 管家通道还体现了一个有趣的特性，即，管家通...
萌新求教各位大佬： 请问Merkel-Patrica(MPT)树怎么提供类似于默克尔证明的证明？或者有什么资料深入以太坊原理的求推荐
... [2] Hyrax: https://eprint.iacr.org/2017/1132.pdf [3] Spartan 预备知识：Hyrax: https://learnblockchain.cn/article/6586 [4] Spartan: https://eprint.iacr.org/2019/550.pdf [5] Brakedown：https://eprint.iacr.org/2021/1043.pdf [6] GKR 协议系列之Sum-Check: https://learnblockchai...
# 从零开始：用 Rust 开发 Solana 链上 Token 元数据查询工具 在 Web3 时代，Solana 以其高性能和低成本成为区块链开发的热门选择。本文将带你通过 Rust 编程语言，结合 Anchor 框架，开发一个查询 SPL Token 2022 元数据的实用工具。无...