 ## **前言** 随着虚拟币在区块链领域的关注度提升，各类针对虚拟币的诈骗套路也在不断翻新，不少用户因对骗局模式缺乏认知，一不小心...
...**是安全的？ **为什么**执行此协议能让我们满意地保证证明者的初始消息接近 Reed-Solomon 码字？ 这些问题通常由协议的安全证明来回答。 不用说，FRI 的安全证明不是入门级的读物。 然而，与合著者 [Albert](https://x.com/0xAlbertG) ...
...上的验证器保管 * [ ] 分布式 blob ~~构建~~ 发布 * [ ] [将证明计算转移到交易发送者](https://learnblockchain.cn/article/16162) * [ ] 增加 blob 数量 (?/?) * [ ] `peerdas-devnet-7` * [ ] MEV 流程测试 * [ ] 调整后的 blob 数量？ * [ ] 公共测试网 ###...
...WETH 目前支撑着 DeFi 的大部分部分。在这篇博客中，我们证明了 WETH 合约中的关键安全保证和不变式。我们通过利用 Z3，这个经过测试的 SMT 求解器来实现这一点。 我们证明了两个关键的不变式：（1）账目准确性和（2）偿付...
视频主要介绍了以太坊将从工作量证明（Proof of Work）转向权益证明（Proof of Stake）时所采用的共识机制——Gasper。Gasper结合了两种不同的共识方法：LMD GHOST和Casper FFG。 **核心内容概括：** 以太坊的Gasper共识机制通过权益证明...
...建离线钱包和热门常见问题实操，通过实战把所有零碎的知识点串联起来，通过即学即用的方式，让你把知识点掌握得更牢固，理解得更透彻。 同时，这门课程将不仅带给你DAPP相关的基础实战技巧，同时也会带你掌握以太坊...
...议根据其目的定义治理议程的范围，并确定具有所需专业知识的参与者，这一点非常重要。  实际上，区块链生态系统中的治理议程非常广泛，从设置底层网络层的通信标准到...
...速变得难以弥补。在撰写本文时，有 50-100 个节点未正确证明的比例高于 50%。 在这个网络的整个生命周期中，我们也踩了一些坑： - **节点配置错误** 由于 ethPandaOps 方面的 Ansible 中的配置错误，[大约 700 个“完整”节点...
...n/article/10962) 技术生成以 Ethereum 为基础的交易的加密执行证明，从而使得验证这些证明变得更加容易，或被用来构建与 Ethereum 提供的（几乎）等效但更加可扩展的 [ZK-rollup](https://learnblockchain.cn/article/1977)。然而，在这些项目之间...
...未来状态的任意断言，只要他们的交易以这些断言最终被证明为条件。 本文将拆解该陈述，并提供一些用例示例。我们将涵盖： - 关于 Rollup 通信的背景信息，重点关注时间安排。 - 用于读取 L1 状态的锚定区块。 - 同槽消息传...
...可逆性，常用来隐藏一些信息。现在我们来分析一下怎么证明这类问题。 有这样一个哈希函数 Y=hash(X)，X是未知数，Y是已知数，prover要向verifier证明他知道X的值，但不能让verifier知道X是多少。 我们知道哈希算法有很多种，...
...型](https://ethresear.ch/t/torrents-and-eip-4444/19788) 添加了 EIP7463 证明 * [Pectra](https://eips.ethereum.org/EIPS/eip-7600) (Prague + Electra) 升级，可能目标是 2025 年第一季度 * [EOA/AA 的未来分组讨论 #6](https://ethereum-magicians.org/t/future-of-eoa-aa-breakou...
...出现，并且其中一些正朝着更成熟的状态发展（具有故障证明、更好的钱包用户体验等），现在有更多的用户在 L2 上进行交易。Blob 交易 (EIP-4844) 在 2024 年 3 月的 Dencun 升级中引入，降低了 L2 上的交易成本。随着使用量的增加，...
...06.10362.pdf) 被用来将 Hotstuff 延迟提高 33%。 ## 通过可用性证明确保活性 将数据传播与元数据排序解耦的微妙之处在于确保所有验证者拥有执行所需的交易。例如，如果一个恶意的验证者将数据发送给某些验证者而不是其他人，...
...L1）。由于执行管道在链下运行，所以L1需要某种形式的证明，以证明rollup状态被正确计算。这通常是通过要求运行执行管道的节点向L1发送简洁证明来做到的，以展示它正确地运行了管道，或者通过乐观地将状态视为正确，直到...