Ephemeral Rollup: The New "L1.5" of Ethereum
说明短暂性 Rollup:以太坊的新“L1.5”层(以太坊研究论坛技术讨论)
简介该帖提出一种“L1.5”架构模式:用户状态保存在钱包中,L1 保存共享状态并验证每次状态转换,中间的计算由无需持有下一任务所需状态的参与者完成,结果直接结算到 L1。文章依托 EIP-8141、EIP-8250、EIP-8288 等提案,讨论其在私密结算场景中的可行性,并说明该模式与 L2 的区别。
ethresear.ch 与 Delving Bitcoin 上的研究讨论。
说明短暂性 Rollup:以太坊的新“L1.5”层(以太坊研究论坛技术讨论)
简介该帖提出一种“L1.5”架构模式:用户状态保存在钱包中,L1 保存共享状态并验证每次状态转换,中间的计算由无需持有下一任务所需状态的参与者完成,结果直接结算到 L1。文章依托 EIP-8141、EIP-8250、EIP-8288 等提案,讨论其在私密结算场景中的可行性,并说明该模式与 L2 的区别。
说明信息危害与安全删除:一篇比特币开发讨论帖,探讨如何为不想存储或传播特定数据的用户提供安全删除选项。
简介作者提出,主观的信息危害可能被写入区块链,而目前缺乏通用的防护手段。作者希望讨论如何在保留完整归档节点大部分功能的同时,允许用户安全地删除其认为属于信息危害的数据,并征集相关研究者的信息。讨论不涉及对写入区块的任意数据施加限制。
说明比特币支付的漫长道路:为何尚未普及,以及有哪些可能推动它的大胆构想
简介这篇社区讨论文章探讨了比特币支付迟迟未能普及的原因,尽管闪电网络等支付技术已趋于成熟。文章指出主要障碍在于需求不足,稳定币正被主要支付机构采用,并且比特币价格波动较大。作者邀请读者提出能够改变比特币支付格局的大胆构想,并呼吁建设者、支付机构和资助方参与实验。
说明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内存中执行与连续比特币区块头绑定的内存依赖计算,并将证据记录在对象中。独立验证者可按规范测量并抽样复算六段计算。作者坦言,该构造能否在对抗条件下形成有意义的边际物理成本仍是未解决问题,并征求批评意见。
说明关于零知识证明的疑问与后续讨论
简介这是以太坊研究论坛上的一个技术讨论帖,标题为日文“ゼロ知識証明における疑問点とこれからのこと”。帖子由作者发起,内容已被作者删除。
说明FinalisCore 更新及待讨论问题(确定性 BFT 终局性与创世即支持机密 UTXO)
简介作者介绍了基于比特币的 FinalisCore 项目进展:测试网 2 自 2026 年 10 月 24 日运行,领导者 VRF 已改用 RFC 9381,主网尚未上线。作者征求对核心主张的独立审查,包括每个高度至多一个状态转换可终局、机密交易不能凭空创造价值,以及委员会、检查点和奖励仅基于已终局历史确定性推导。
说明纯哈希的 Rollup:以 Lamport 式哈希链作为 OP Stack L2 账户、L2 内部不使用 ECDSA
简介该帖子介绍一条运行在以太坊主网上的 OP Stack Rollup,其中的 L2 交易不含签名,账户由 keccak-256 哈希链的末端表示,花费时公开下一个原像。为防止原像被抢先使用,系统采用承诺-揭示机制;作者同时列出了协议存在的漏洞与其他信任假设,并向社区征求反馈。
说明CLN:自引用通道公告拒绝服务漏洞披露
简介Core Lightning v25.02 至 v26.04 版本在收到两个节点 ID 相同的 channel_announcement 时会崩溃,并在每次重启后再次崩溃,直到运营者手动删除相关记录。攻击者只需控制一个未花费的 2-of-2 输出即可发起攻击,成本仅为链上手续费。修复已在 v26.04.1 中加入,该版本会拒绝 node_id_1 不小于 node_id_2 的公告。
说明后量子方案“证明衰减”(未迁移休眠UTXO的密码学半衰期)
简介该帖在比特币开发者论坛提出一种应对量子攻击的思路:对于超过迁移期限仍未迁移到抗量子地址的暴露密钥输出,协议按区块高度逐步衰减其余额,衰减的聪值被销毁或转入矿工奖励池。作者认为这能介于“硬冻结”与“放任不管”之间,并向社区征询共识层实现与博弈论效果的意见。
说明比特币侧链方案 BIP300/驱动链的最佳批评有哪些?
简介这是比特币协议开发社区 Delving Bitcoin 的一篇讨论帖,作者以提问形式征集对 BIP300(驱动链)及相关提案的批评意见。帖中回应了若干常见质疑,例如签名伪造问题、矿工盗取资金的可能、侧链时间尺度,以及扩容与历史数据裁剪等。
说明Paranoid EIP-8288:带认证类别库的异构递归
简介作者在 Parano1d 中实现了一种异构递归聚合方案:使用有限的、经认证的验证器类别库,允许递归步骤采用多种已批准的证明规模,以便小规模聚合使用更小的证明关系。文章说明了如何在不同类别之间延续延迟的矩阵求值校验,并讨论了其对 EIP-8288 聚合后端的适用性与待解决的问题。
说明加密内存池中的揭示选择权:发送者的免费期权有多大,以及如何用后量子方法消除它
简介该帖讨论加密内存池中发送者在揭示交易后可能获得的免费期权价值,并分析强制开启的局限以及 LUCID 费用机制的作用。作者提出盲同步释放(BSR)方案,要求参与者在看到有用信息前先提交承诺,仅使用哈希函数,因此具备后量子安全性。论文附带 Lean 4 形式化验证,但文中关于硬件速度差距的假设尚未经过实测。
说明几个让商户更容易、更便宜地接入比特币的项目
简介作者介绍了过去两年开发的几个项目,旨在降低商户接入闪电网络(Lightning)的门槛。包括:用于 Electrum 钱包的 CLINK 插件,可通过 nostr 中继接收付款而无需开放端口;自动获取入站流动性的插件;为 Electrum 交换服务器提供图形界面的工具;以及名为 BareBits 的商户软件,可运行在普通网页主机或 Windows 桌面上,并与 BTCPay 兼容。文中提到 BareBits 收取 1% 费用,且为开源、自托管。
说明SEACAST:面向以太坊的快速精简广播协议(附可执行规范与形式化模型)
简介作者提出 SEACAST 协议,用于以太坊中大型消息的快速分发:节点收到分片即转发,并用编码与采样机制只传各自需要的部分。文中称在 50 Mbps 网络中,与 ECBroadcast、gossipsub 相比,SEACAST 更快、占用字节更少;协议附有可执行伪代码和形式化模型。
说明成本受限的交易过滤语言
简介作者设计了一种交易过滤策略语言(DSL),并在 Rust 实现的比特币全节点 satd 中实现。节点运行者可借此决定中继或打包进区块模板的交易形态,且不影响共识正确性。规则被隔离(quarantine)而非直接拒绝,便于查看和调整;若规则可能误伤闪电网络关闭交易等重要协议交易,节点默认拒绝加载。
说明评估保密 UTXO 状态机中的确定性 BFT 终局性
简介作者介绍了一个从零开始用 C++ 编写、名为 FinalisCore 的开源一层公链,并就其状态转移模型征求技术意见。该链以 32 个区块为周期,委员会法定人数签名后区块即告终局,并用 secp256k1-zkp 的 Pedersen 承诺实现交易隐私。文中提出了快速委员会切换时的内存池失效、以及范围证明批量验证的性能瓶颈两个问题,目前仅运行非商业测试网。
说明btc-verified 十月进展:将形式化模型与比特币 Core 的实际行为对齐
简介btc-verified 项目用 Lean 形式化比特币共识模型。本文描述作者如何借助 libbitcoinkernel 接口,并通过 bitcoinfuzz 式差分模糊测试,比较模型与 Bitcoin Core 在交易解析、序列化和部分交易本地检查上的行为是否一致。目前已有九个内核函数由 Lean 实现支持。
说明更快、可聚合且抗量子的隐私池(Privacy Pools)
简介作者把类似 Tornado Cash 的隐私池移植到后量子二进制域 SNARK 系统 Flock 上,使用 SHA-256 作为默克尔树与零知识证明的哈希函数,单次深度为 32 的提款证明在 30 毫秒以内完成。文章还提出一种简单的恢复协议:钱包从种子派生票据秘密,使现有隐私池在离散对数被攻破后仍可恢复提款。
说明BABE 方案中可变支付金额的讨论(应用于 Lichen)
简介本文是比特币协议开发社区的技术讨论,介绍 BABE 方案如何利用见证加密(witness encryption)让比特币合约在持有有效 Groth16 零知识证明时才解锁。作者提出一种方法,使支付金额可以在签约后再确定,而非固定在设置阶段,并以 Lichen 场景为例说明验证方与证明方之间的签名交互流程。
说明多方钱包的静默支付(Silent Payments)协议提案
简介这是一篇比特币协议开发社区的讨论帖,提出一种让多方签名钱包安全地发起静默支付的协议。核心思路是把各签名方的 ECDH 贡献加权求和,并用 AggDLEQ 把各方的证明聚合为一个 BIP-374 证明。文中提到安全性证明仍在内部审阅中,尚未公开。
说明在以太坊 AMM 上,筛选知情订单能换回多少速度:做市商价差与时效的权衡研究
说明从点对点现金到精英结算层:2100万上限是否正在形成新的贵族阶层?
简介本帖讨论比特币最初被设计为点对点电子现金,但如今主要被政府、ETF和企业作为储备资产积累,日常支付使用却在减少。作者质疑固定的2100万供应量是否会让普通人逐渐被挤出,使持币集中于富人和权势者,并提出以价值而非单位数量为上限、由日常活动支撑的“humanitycoin”构想。
说明分拆证明的快速区块:超出自身状态仍有效的执行证明
简介这是以太坊研究论坛上的一篇技术讨论帖,提出把区块的执行证明拆成三部分:交易证明只针对输入和输出,状态根相关的证明单独处理。这样,只要区块读取的输入仍然有效,证明就能跨时隙复用。文中说明这只是设计构想,尚未经过证明或实测。
说明Bitcoin Core 32.0rc4 候选版本发布
简介Bitcoin Core 发布了新大版本 32.0 的第四个候选版本 v32.0rc4,供测试使用。原文提供了二进制文件和源代码的获取位置,以及草拟版发行说明和测试指南的链接。测试者可在指定议题中提交问题或意见;若未发现严重问题,该候选版本将被标记为正式的 v32.0。
说明以太坊区块前段的优先费与交易类型测量(2025年7月至2026年10月)
简介作者用开源工具 TEMBRI 分析了16个抽样日约11.5万个以太坊区块的执行数据。结果显示,区块前10%燃气位置的交易优先费明显高于后段,前段的兑换交易平均优先费约为后段(30%至60%)的8至17倍。2026年8月至10月间,前段零小费兑换交易大幅减少,其中 Titan 构建者的占比变化较大。
说明开源比特币多签协调工具:共享签名队列、硬件钱包与 signet 演示
简介作者开源了 btc-safe,一个自托管、只读(watch-only)的比特币多签协调工具。一位所有者发起交易,各共同签名人在共享队列中看到后用自己的设备签名,满足 M/N 签名数后广播。服务器只保存 xpub 和描述符,不保存私钥,也不签名;另支持 Ledger、Trezor、Sparrow、Caravan 及 PSBT 文件导入,并提供 TOTP 双因素认证和分角色权限。可在 signet 测试网上试用,不涉及真实资金。
说明以太坊研究论坛:面向独立区块的流水线共识方案(第二版)
简介该帖子提出一种共识设计,让区块不必依赖直接前一个区块:每个区块基于其历史状态执行,并遵守其引用区块的过滤器,因此无需重组即可投票剔除某个区块。帖子包含历史规则、按时隙的窗口投票机制,并给出安全性草图、模拟、模型检查和主网测量结果,其中测得约87%的交易走快速确认路径。
说明信息化扩散:让家庭构建者也能快速发布
简介本文是EIP-8411系列的延续,提出一套分层的载荷扩散设计,共四层。第一层把载荷切成可单独验证的分块并流水线转发,承担大部分延迟改善;第四层让每个节点根据邻居已有的信息调整转发,使家庭网络中的构建者也能在约3秒的时限内发布载荷。作者称在其模拟的各种压力场景中,第四层均能满足该时限。
说明ERC-8403:以单一哈希表示账户,并支持后量子密钥
简介该论坛帖子介绍了草案 ERC-8403:账户只存一个树根,添加、轮换或撤销密钥即更新根而地址不变。文中还讨论了在 eip-8288 基础上为账户加入后量子(leansphincs)密钥的思路,并给出一个本地演示的结果,同时列出了尚未解决的部分。
说明[BIP草案] 共同签名者的支出策略
简介该草案尝试为共同签名者(仅在条件满足时才签名的第三方)所执行的策略制定统一格式,而非规范共同签名者本身。草案涵盖开放验证、盲化验证与飞地验证,并支持以交易内容或外部证明作为条件;共同签名者须接受DLC预言机证明。作者征求社区意见,询问该层级是否适合标准化,并就规范格式、盲化验证、证明格式归属及输出表达式语言等问题征求反馈。
说明以太坊上的隐私稳定币:一种基于 USDC/USDT 的带隐私功能的链上稳定币设想
简介该帖子在以太坊研究论坛提出,利用以太坊的可编程性,设计由 USDC/USDT 支持、内置隐私功能的稳定币协议。帖子列举了其可能具备的特性,包括由智能合约执行的铸造与赎回、无需许可的参与、可与现有链上协议组合,以及交易数据保密或无法关联身份。作者还提到selective disclosure(选择性披露)等可能的新应用方向。
说明BRO-AMM:一种带保证金的对账预言机做市商,作为低风险 DeFi 基础组件
简介作者发布了 BRO-AMM 的早期预印本,探讨去中心化交易池中流动性提供者因套利而持续亏损的问题。设计思路是让价格像区块一样经过“对账”后才最终确定,交易者需预先缴纳保证金,超出合理范围的收益退还给存款人。作者用以太坊和 Arbitrum 上六个月的 ETH/USDC 交易数据做模拟,结果显示存款人的套利损失明显下降;该方案仍依赖可信的签名价格源,尚未上线。
说明Cassis:一种用于跨多层、多跳 HTLC 路由的通用简单方案
简介比特币支付分散在多个“层”(如 Lightning、Fedimint、Cashu、Arkade 等)之间,缺乏通用的跨层付款方式。Cassis 提出:只要某一层能表达 HTLC,它就可以作为一跳,支付由同一 SHA-256 哈希锁定的跨层 HTLC 链组成。作者已用 Rust 实现了原型,但项目仍在实验阶段,节点通信、路由公告、信誉机制、发票格式和离线接收等问题尚未解决。
说明为以太坊后量子证明暴露一种指令集架构(ISA)
简介这是以太坊研究论坛上的一篇讨论帖。EIP-8288 允许交易依赖在 EVM 之外验证的后量子签名和 STARK 证明,作者在此比较了三种可供以太坊暴露的指令集:EVM、RISC-V 和为证明设计的 eISA。文章还讨论了如何在不破坏不可变智能合约的前提下让暴露的指令集随时间演进。
说明FCR与EEZ叠加使用的示例:以太坊跨层支付的快速确认方案
简介该技术讨论以以太坊Layer2支付为例,说明快速确认规则(FCR)与以太坊经济区(EEZ)组合使用的效果。FCR缩短区块被认定为可信的等待时间,EEZ则去除资产在rollup与基础层之间的跨链中间环节。两者同时使用时,支付可在约两个时隙(约25秒)内完成,且无需信任桥接方。
说明女巫攻击下多提议者协议的抗审查成本
简介该帖子讨论的是一篇关于多提议者协议中审查成本的论文,该论文推导了不同交易费机制下有效审查交易的代价与界限。作者在此基础上考虑女巫节点(Sybil)的存在,分析这些界限如何变化,以及结论对多并发提议者(MCP)协议有何影响。
说明以太坊 PropAMM 的现状与未来:自动做市协议在以太坊和 Solana 上的运行方式比较
简介本文是一篇以太坊研究论坛的技术讨论,比较以太坊与 Solana 上的 PropAMM(由做市商直接更新报价的链上交易机制)。文章给出两条链上的交易量数据,并分析做市商如何应对延迟竞争与逆向选择问题。全文还讨论了两条链在区块时间结构上的差异。
说明谁来清理代码?SETCODEFROM 留下的悬空字节码与面向未来的设计选择
简介以太坊研究论坛的一篇讨论文章,探讨客户端中无账户指向的悬空字节码问题。文章指出 SETCODEFROM 提案与分区二叉树(PBT)会使这一问题从无害的遗留变为需要设计决策的事项,并比较了各客户端的处理方式及引用计数等方案。
说明在另一条链上锚定 SPV 轻客户端:检查点信任、难度调整与重组处理
简介作者介绍了 Writz Protocol 的比特币侧设计:比特币抵押物存放在 P2WSH 脚本中,并在智能合约平台上运行链上 SPV 轻客户端。作者就检查点信任、确认深度、时间锁类型、手续费提升、区块头验证成本和重组上限等问题征求评审意见,代码目前仅在测试网运行,且未经审计。
说明通过异步流水线共识架构打破串行验证循环
简介该帖子提出一种异步流水线共识架构设想,把区块生产与完整交易验证解耦,使用紧凑区块仅传播6字节交易标识列表以触发后续出块,并将区块n的状态验证推迟到区块n+k通过头部的1位验证字段完成。作者提出该设计是否能在不损害基础安全性的前提下打破串行验证瓶颈,并询问其是否适用于以太坊的账户模型。
说明加密内存池的问责机制
简介本文探讨基于委员会的加密内存池如何防止解密份额泄露。作者提出一种可追踪门限加密的候选构造,用于在交易揭示前识别泄露或出售部分解密能力的委员会成员,同时避免误判诚实成员。文中也说明这仍是初步方案,设置和追踪机构等问题尚待解决。
说明哈希原像的描述符语法提案
简介该帖子提议为 miniscript 哈希片段(sha256、hash256、ripemd160、hash160)增加私有形式,例如 sha256(preimage(HEX)),使原像可像私钥一样存入描述符并由钱包导入使用。作者的动机来自 TABConf/Michael Tidwell CTB 挑战,指出目前比特币核心钱包无法直接提供原像。帖子同时列出语法草案、签名与安全考量及若干待讨论的开放问题。
说明提出一种以计算量为锚定的最小化购买力信号方案
简介作者提出一种链上的、尽量减少信任依赖的购买力近似信号:报告者提交阈值并质押 ETH,其他人可通过寻找满足阈值的 nonce 来挑战,存活的阈值反映单位流动性对应的计算量,用于跨时间比较 ETH 价值与计算成本。合约约 200 行,目前使用 keccak256,作者欢迎反馈和攻击尝试。
说明对一款签名验证工具进行六轮外部测试,发现六处缺陷
简介作者对一款只读的 x402 目录签名验证工具(nsgoods 的 MCP 服务器)进行了六轮预先记录预测的测试,共发现六处缺陷,包括对真实文档误判、篡改内容仍通过验证、拒绝原因无法区分等。文章还提到服务方在作者询问日志处理后,披露并修正了日志保存与隐私页面不一致的问题。作者由此提出:未曾观察到失败的检查,不能视为已经有效。
说明单一所有者货币是否天生存在“最终确认前双花竞争”问题?
简介作者讨论在不使用 2-of-2 共管和闪电网络式惩罚机制的前提下,付款人可在收款前抢先广播对自身币的花费,从而让收款人的付款变成双花。作者询问这是否是单一所有者货币的固有性质,以及是否有人在研究类似方案。
说明披露:Eclair v0.14.1 修复两个拒绝服务漏洞
简介Eclair 在 v0.14.1 中修复了其开通通道流程中的两个拒绝服务(DoS)漏洞,用户应升级到 v0.14.1 或更高版本以保护节点。第一个是 open_channel 竞态条件,攻击者可借此使节点持续泄漏内存,最终导致内存溢出崩溃;第二个是未确认通道洪泛,攻击者可绕过速率限制器,在无链上成本的情况下使节点内存耗尽。