...，为了构造新的区块，它还需要一些其他组件，包括历史证明和 Turbine。 **历史证明 (PoH)**：PoH 记录使用自哈希循环的时间流逝证明，并且在构造新区块时需要。 **Turbine**：一旦构造了一个新的区块，它就会使用 Solana 的 Turbine ...
... 更新/卸载/切换版本 1.1.3 rustc 1.2 使用 Cargo 1.3 Rust 基础知识 1.3.1 变量和可变性 1.3.2 基础数据类型 * 标量类型 * 复合类型 1.3.3 进阶数据类型 * 字符串 * 引用 * 集合 * 结构体 * 枚举 * 函数 * 闭包 * 泛型 1.3.4 控制...
...com/0xorblabs/status/1707411350689820832) - [Union 是一种建立在零知识之上的跨链解决方案，旨在在以太坊上启用区块链间通信（IBC）协议，宣布启动其测试网。](https://x.com/union_build/status/1707416996957106357?s=20) ### 4.2 建议阅读 - [意图...
视频主要介绍了以太坊将从工作量证明（Proof of Work）转向权益证明（Proof of Stake）时所采用的共识机制——Gasper。Gasper结合了两种不同的共识方法：LMD GHOST和Casper FFG。 **核心内容概括：** 以太坊的Gasper共识机制通过权益证明...
### Cannon 的故障证明系统概述  来源：Oplabs [链接](https://blog.oplabs.co/cannon-cannon-cannon-introducing-cannon/) 这篇文章是“OP Stack 完整版故障证明系列”的第二期，该系列...
...上的验证器保管 * [ ] 分布式 blob ~~构建~~ 发布 * [ ] [将证明计算转移到交易发送者](https://learnblockchain.cn/article/16162) * [ ] 增加 blob 数量 (?/?) * [ ] `peerdas-devnet-7` * [ ] MEV 流程测试 * [ ] 调整后的 blob 数量？ * [ ] 公共测试网 ###...
...写为文字稿。_ ## 引言 我是 Jonas，我的演讲主题是 “可证明无硬伤（bug-free）的 BIP 及其实现”。我还没有写出这样的 BIP，更不用说这样的实现了，但如果你的时间偏好足够低，在未来的某一天，这样的 BIP 会出现的。我的演...
...可逆性，常用来隐藏一些信息。现在我们来分析一下怎么证明这类问题。 有这样一个哈希函数 Y=hash(X)，X是未知数，Y是已知数，prover要向verifier证明他知道X的值，但不能让verifier知道X是多少。 我们知道哈希算法有很多种，...
...PoA、PoS 领导选择、PoS 共识、MEV 拍卖、基于的Rollup、高效证明等。 - 共享排序器与 X-链原子性 - 这是真正有趣且全新的东西。 - **MEV-aware 设计** - 我将简单介绍一些 FCFS 的变种。有关加密内存池的信息，可以参考我最近的文...
...几乎为零费用的新流量来源，可能会改变这一点。时间会证明一切。 ## 对压缩的展望是什么？ 我们在一段时间内不会看到压缩的经济压力，但它会回归。此外，在长期内，压缩对于可扩展性仍至关重要。 目前，blob在每个区...
...ty)中的数据存储之前，我想介绍一些有关以太坊虚拟机的知识，以使事情更清楚。 EVM的内部工作原理：  > EVM上下文(来源：[fullstacks.org](https:...
...速变得难以弥补。在撰写本文时，有 50-100 个节点未正确证明的比例高于 50%。 在这个网络的整个生命周期中，我们也踩了一些坑： - **节点配置错误** 由于 ethPandaOps 方面的 Ansible 中的配置错误，[大约 700 个“完整”节点...
...WETH 目前支撑着 DeFi 的大部分部分。在这篇博客中，我们证明了 WETH 合约中的关键安全保证和不变式。我们通过利用 Z3，这个经过测试的 SMT 求解器来实现这一点。 我们证明了两个关键的不变式：（1）账目准确性和（2）偿付...
...n/article/10962) 技术生成以 Ethereum 为基础的交易的加密执行证明，从而使得验证这些证明变得更加容易，或被用来构建与 Ethereum 提供的（几乎）等效但更加可扩展的 [ZK-rollup](https://learnblockchain.cn/article/1977)。然而，在这些项目之间...