ethresear.ch 与 Delving Bitcoin 上的研究讨论。
说明bitcoin-dev 邮件列表可读镜像：15 年、24,699 封邮件
简介作者制作了 bitcoin-dev 邮件列表归档的可读镜像，每日更新。相比 public-inbox，它为每个话题提供一页、折叠引用、按 Message-ID 的固定永久链接，并提供按话题、按 BIP 和按作者的三种索引，邮件内容保持原样，每封邮件都链接到原始出处。作者征求对作者姓名合并和线索归并方式的意见。
说明Proof of One：基于加密选票的“一人一身份”投票设计与参考代码，征求严格评审
简介作者是开源非商业项目 Proof of One 的维护者，在以太坊研究论坛发帖，提出一种投票设计：每位参与者为唯一真人、运营方无法把答案与个人对应、选民可核验自己的选票、任何人可依公开数据重新计票。注册阶段借助护照芯片与零知识证明验证身份，投票使用门限 ElGamal 加密。作者说明当前设计和代码大部分由 AI 代理协助起草，尚未经独立人工审查，因此征求批评意见。
说明共识层点对点网络的后量子迁移清单
简介这篇以太坊研究论坛文章盘点了共识层点对点网络（Discovery v5、ENR、libp2p、QUIC/TLS 1.3）在后量子迁移中面临的挑战。文章指出，仅替换验证者的 BLS 签名并不能更新网络身份和握手机制，并受 ENR 300 字节、Discovery 包 1280 字节等结构限制约束。文中列出了各组件的密码学清单，但未选定具体算法、编码或启用时间。
说明EIP-7002 的 Lean 形式化验证：系统调用成功与先进先出请求
简介该讨论帖用 Lean 4 证明了以太坊 EIP-7002 的部署字节码两项性质：系统调用在任何存储状态下都会成功，且 gas 消耗不超过 210,000；验证者退出与部分提款请求严格按提交顺序输出。证明基于 Jaune 执行语义，覆盖 Prague、Osaka、BPO1 与 BPO2 分叉，仅使用 Lean 标准三条公理。
说明为自发行标识符提供基于成本的女巫攻击抵抗方案
简介该讨论提出一种构造，让自发行标识符的批量生成需要真实资源投入：生成者需在256 MiB内存中执行与连续比特币区块头绑定的内存依赖计算，并将证据记录在对象中。独立验证者可按规范测量并抽样复算六段计算。作者坦言，该构造能否在对抗条件下形成有意义的边际物理成本仍是未解决问题，并征求批评意见。
