... ### TL;DR 我们提出了区块链中区块构建的正式模型。我们证明了区块构建至少是背包问题和最大独立集问题的结合，从而表明区块构建是一个 NP 难问题。接下来，我们提供了具有不同权衡的各种贪婪算法。然后，我们展示了模...
...为“最受喜爱”的语言，打造一个交互式的猜数游戏。从零开始，手把手教你生成随机数、处理用户输入、比较大小，甚至实现多次猜测。无论你是编程小白还是想尝鲜 Rust 的开发者，这篇教程让你轻松入门，边玩边学，解锁编...
...beaconcha.in/)，[EthSeer](https://ethseer.io/?network=mainnet) **Electra 证明** 这次我们关注的是生成的证明。这意味着网络上的其他验证者能够导入、验证和证明提议的 Electra 区块。如果我们看到高证明率，这是一个非常好的迹象，表明网...
...初的 rollup 设计 OVM，转而采用更模块化的方法，将执行与证明分开。而且效果确实很好——结果，我们的 [EVM 等效升级](https://learnblockchain.cn/article/12517)，尽管已经过去近一年，但仍然可以与来自其他 rollup 的最新版本相媲美。 ...
...，则需要几个小时。即使对于未来承诺拥有快速 ZK 结算证明的链来说，由于以太坊最终性的延迟，这至少也需要 12-15 分钟。USDC、WBTC 或 Ethena 等特殊代币是例外，它们拥有中心化的资产发行者。但是，这些发行者并非与所有 L2 ...
...经济学 运行Solana验证者无需许可。任何具备适当技术知识、访问开放互联网和充足财务资源的人或组织都可以[操作Solana验证者](https://learnblockchain.cn/article/10909)，只需他们希望如此。没有强制的最低质押要求。抛开外部因素，...
... - 调用者必须至少有 `amount` 个 tokens。 - `recipient` 不能是零地址。 - 如果 `recipient` 是一个合约，它必须实现 [`IERC777Recipient`](https://docs.openzeppelin.com/contracts/3.x/api/token/erc777#IERC777Recipient) 接口。 ##### `burn(uint256 amount, bytes data)` exte...
...点就单一的事实来源达成一致，整个系统就会崩溃。权益证明（PoS）模型，例如 Cosmos 链中的模型，假设大多数验证者都会遵守规则；毕竟，他们已经抵押了自己的资产作为抵押品。但是，如果一个验证者卡特尔悄悄地协调他们...
...冒险之前，这里有一些关于游戏的设计和核心机制的背景知识。 Primodium 是一款基于浏览器的游戏。要开始玩游戏，你只需访问 [他们的网站](https://primodium.com/) 并点击“Play”按钮。  Trent.sol 最近的一条推文突显了这一知识差距：[https://x.com/trentdotsol/status/1781369947794317371](https://x.com/trentdotsol/status/1781369947794317371)。 **我今天的目标是解决这一知识差距** 这个问题对我来说感觉很奇怪，...
...关重要，从而确保其完整性和可靠性。 Cosmos 依赖于权益证明（PoS）系统，参与者通过质押 ATOM 代币来维持安全并获得奖励。 有关更多详细信息，请查看我们的[最佳 cosmos 验证器](https://www.imperator.co/resources/blog/best-cosmos-validators)...
...释 EVM 字节码的通用 zkVM 所取代。 如果 zkVM 的 ISA 和正在证明的程序之间有更多的兼容性，这种开销可以减少。 坚持使用 EVM 意味着： - Ethereum 对其开发者社区和工具感到满意。 - Ethereum 需要在某种程度上专注于执行。 - 通用 z...