#论文/研究

作者称 Stealth ABBE over BLS12-381 的 Tier-1 撤销层存在状态化内部漏洞，已在 Magma 中形式化修复、证明并基准测试（DOI: 10.5281/zenodo.23824328）。漏洞源于被撤销节点在同 epoch 内缓存权重 27 的基线错误向量，减去后仅剩权重 12 的撤销增量，可绕过解码阈值；修复后两帧之和权重落在 36–45，Magma 中 850,000 次 Monte Carlo 配对试验零碰撞。作者另提出四项 Ethereum 2.0 / L2 用例：DVT 集群亚 slot 隔离、属性门控加密 mempool 与 PBS/FOCIL 路由、跨 rollup 零头状态广播、家用质押者 0-RTT 抗审查 P2P 传输，并征求研究者意见优先推进哪条赛道的 EIP。

加密分析平台 Santiment 于11月13日发布基于过去30天 GitHub 开发活动的隐私类加密项目排名，Dash 第一、Chainlink 第二、HOPR 第三。Santiment 称该排名仅统计公开 GitHub 的提交和拉取请求，无法反映私有仓库或平台外工作，衡量贡献数量而非质量，应结合链上和社交数据使用，而非作为独立买入信号。

在以太坊论坛发布、部分工作于 EF 实习期间完成的论文 More Meters or More Prices? 比较单维与多维费用机制。作者称模拟显示 EIP-7999 多维费用市场在状态增长保持 120 GiB/年目标的同时，在相近拥堵下比 floor-adjusted + EIP-8372（目标比 1/2）多交付 4%–34% 执行 gas；单维方案提高目标比率至 4/5 会因 EIP-1559 更新规则无法将基础费降至 2.4–7.2 wei 的均衡水平而压缩状态增长并加剧拥堵，换用 EIP-4844 式更新可恢复执行和状态增长但近上限区块升至 38.8%–40.8%。结果基于 2025 年 2 月和 7 月 gas limit 提高校准的需求模型，可用论文仓库复现。

AOB（Atomic Ownership Blockchains）创建者 saintthor 发布开源 skill（SKILL.md 格式、Apache-2.0），让 LLM agent 从节点/验证者集中度、质押财富集中度（Gini/HHI）、客户端多样性、共识依赖范围、Sybil 暴露等多个独立维度分析区块链架构，而非只看单一 Nakamoto 系数。该技能对比 PoW、PoS、DAG、分片设计与 AOB，并将各设计的验证层级（生产历史、审计、测试网）与架构本身分开报告。作者同时公开 AOB 的双花规则（先广播者获胜，第三方在 2·t₀ 无冲突后接受，收款方可等 4·t₀）供批评，自述其验证层级为一篇论文、演示和测试网，无主网、无独立审计，并列出 t₀ 估计误差、对抗延迟模型等问题征求挑战。

作者在 Ethereum Magicians 论坛提议扩展 EIP-7928，为 AccountChanges 条目增加 code_hash 字段，记录区块加载账户 pre-block 字节码时的 Keccak-256 哈希，否则为空。这样区块级访问列表可命名区块读取的每份 pre-block 状态，无需执行区块即可从区块、BAL 和状态快照组装无状态或证明输入。

Fabi 与 Leloup 等作者发布预印本，提出在 Hyperledger Besu 网络（QBFT 共识）上用自动做市商实现保护隐私的本地电力交易协议。运营商在链下收集各户电力头寸，链上发布聚合供需，智能合约每十五分钟计算市场价格；个体头寸留在链下，用 Noir 电路生成的 Poseidon2 承诺与 UltraHonk 零知识证明核验聚合、支付和每日余额更新。十户模拟美国家庭用电的实验中，每日结算约耗 19 million gas，八成员证明生成用时 2.4 秒；模拟四天内本地交易覆盖 34.4% 需求，在假设电价下较仅用电网降低 30.5% 成本。结果为模拟实验，论文未经同行评审。

作者 Himess 在 ethresear.ch 发布 Seam 设计：Base 上的合约按 Zcash 共识规则验证每个区块头，包括在 EIP-152 BLAKE2b 预编译上校验 Equihash (200, 9) 解、难度调整和时间规则，合约因此无需信任桥、委员会或中继者即可读取 Zcash 最优链。单个区块头验证平均约 626k gas，按 25 秒出块跟随主网约需每天约 0.010 ETH；2026 年 10 月 29 日部署的 Mainnet 中继未重新部署即跨过 NU7 激活高度 3,543,405 并跟随其后 5,405 个区块头。在中继之上，RISC Zero 证明（Groth16 封装，Base 上验证 256,720 gas）可证明一笔至少某金额的屏蔽支付进入应用承诺的接收方，交易 id、note、区块和地址都不上链。一笔真实 Testnet 支付在租用的 RTX 4090 上约 81 秒完成证明，成本约 1 美分。目前仅支持测试网，未经审计。

两位作者在 arXiv 发布 SoK 综述，首次将 Tendermint BFT 共识及其相关研究作为整体家族系统梳理，论文描述由 Tendermint Core 与 CometBFT 实现的基线协议。研究按改动的设计选择、增强或削弱的性质以及是否需要更强故障与时序模型分类，并归纳为性能、验证者问责和可利用信息保护三条主线，各附常见策略与开放问题。材料仅为作者摘要，预印本未经同行评审。

作者发布 CuEVM，一个 GPU 原生、语义完整的 EVM 执行引擎，将交易执行视为大规模并行数据处理问题，不依赖主机 CPU 转译合约。据作者报告，CuEVM 通过 100% 的 Ethereum VMTests 和 96.2% 的完整执行测试套件，在单块消费级 GPU 上每秒执行超 800 万笔 ERC-20 转账；其上的模糊测试工具 CuEVM-fuzz 每秒完成超百万次端到端执行。该结果来自预印本摘要，未经同行评审，未读取论文全文。

作者通过理论模型与对 Base Flashblocks 升级（区块速度提升十倍）的证据分析称，更快的区块会削弱套利者之间的优先费竞争，租金从区块生产者转移到套利者。摘要称均衡流动性在某个中间区块速度达到峰值，超过阈值后主动做市的流动性提供者抢占收益、被动资金收缩；实证显示优先费出价大幅下降、套利者净利润上升、主动流动性提供者通过更快再平衡规避有毒流量而获利更高，但池深度下降、有效点差扩大。材料为预印本，仅基于作者摘要，未读取论文全文。

作者在预印本中提出首个基于静态假设的自适应安全 batched IBE（批量基于身份加密）方案，支持指数级身份空间与纪元空间，密文、摘要和批量密钥均为与批量大小无关的常数个群元素。方案在静态子群判定与静态配对假设下证明自适应安全，安全损失对安全参数 λ 和密钥查询次数呈多项式，不依赖 q-type 假设、随机预言机或 generic-group 论证；作者还给出静态腐化下的门限版本，并在静态 MDDH 假设下转换到素阶双线性群。该材料为预印本，尚未经同行评审。

Wang、Wu、Zhang 等作者在 arXiv 发布预印本 BioBind，提出将生物识别去重与零知识认证绑定的协议：通过四个后端接口条件把去重查询、画廊插入和签发承诺绑定到同一次采集向量，防止并发注册签发重复凭证。基于 LFW 人脸特征的原型拒绝所测组合攻击，认证电路约 31,445 个约束、305,000 gas，见证与证明耗时中位数 1.989 秒。作者称后端完整集成仍未解决，预印本未经同行评审。

作者提出 DeFSM 架构，以轻量智能合约和一组无共识的独立代理取代联邦次模最大化中的中心服务器，聚合规则 SafeGM 基于 Tukey depth 与 safe points，在二维高斯随机投影上做鲁棒决策。作者称在 CIFAR10 和 PathMNIST 上、拜占庭客户端与代理占比最高 30% 时，DeFSM 未崩溃，平均保留约 91% 的理想参考质量；作者同时指出，去中心化的几何中位数在最佳设置下可保留约 96%，但合约无法计算，代理需多下载六倍数据。该材料为预印本，仅见作者摘要，未读全文。

研究者发布 arXiv 预印本，研究 Solana 新发代币 rug pull 的早期检测。团队从 SolRPDS 抽样 2700 个代币，用 Birdeye 一分钟市场数据和 Solana RPC 转账记录，将 rug pull 定义为代币创建后名义 24 小时内出现流动性抽离、价格崩塌和持续流动性枯竭。研究比较 GNN 与使用相同特征的非图模型，评估 12.5、35.5 和 93 分钟三种观察窗口，发现前 12.5 分钟内 rug 与非 rug 代币的转账图在规模、密度、互惠性和接收方集中度上已有差异。结果为 Web3 界面中新发代币的预警机制设计提供参考。

Nicolas Alhaddad、Eran Tromer 等研究者在 IACR ePrint 发布预印本 Undine，提出结合分布式 Merkle 树编码与私有信息检索（PIR）的存储方案，面向透明日志、公钥目录和屏蔽池等场景，让客户端无需完整存储树即可认证访问且不暴露所查询条目。维护者可高效调整存储片段大小，在存储量与客户端重构所需回复数之间权衡；写成本为修改节点数的两倍。作者评估实现 UndineLog，在高 50 稀疏 Merkle 树、4GiB 前缀、重构阈值 64 的设置下，单核维护者 100ms 回复，客户端处理 192 份回复并在 380ms 内完成经验证的重构，即使含 64 份损坏回复；扩展至 1TiB 与阈值 256 时维护者 1.13s 应答。作者称现有屏蔽池无需共识变更即可使用该服务。材料为预印本摘要，未经同行评审。

一份发布于 Ethereum Research 的社区研究提案提出 LATTICE-NOTATION（LN）混合硬件安全模块（HSM）概念，主张把后量子验证从网络层移到隔离物理层，以绕过 ML-KEM/Kyber 等格基算法公钥与签名体积过大导致的 P2P 验证者网络带宽与延迟压力。方案在单一硬件边界内结合量子态与本地格运算：验证者身份存于叠加态量子比特阵列，受不可克隆定理保护，遭物理探测即波函数坍缩为噪声并使设备失效；格矩阵仅在片内处理，向验证闭环只传输高度压缩的标量证明，网络开销降至接近零。提案面向 Ethereum 验证者防篡改质押设施与量子安全跨链桥，目前处于征求反馈与技术批评阶段。

作者在 8 GB M2、leanVM 提交 df7d122 上实测三种哈希累积设计与 leanVM 全验证器递归，用于后量子签名聚合，结论为累积方案均未胜出。直接折叠 leanXMSS 验证每签名需约 7.1M R1CS 约束，约为 leanVM 每签名成本的 450 倍（由实测速率推断）；折叠整个 step 关系为 260 ns/见证元素，对 leanVM 的 55 ns/提交词；跨 merge 累积子 WHIR opening 每步花约 57k cycles 只省最多 46k。批处理设计 B'-L1 每子项省 32.8k cycles（17.6%），但在 1500 签名时比基线最佳配置的 slot deadline 慢 2.4%。配置规则显示把叶子从 6×250 改为 5×300 可让 merge 节点保持 mu 25，deadline 从 3.11 s 降至 2.24 s、每 slot CPU 从 7.99 s 降至 6.47 s。范围为单聚合器内部，gossip 对象仍是 leanVM 证明；1500 签名的累积器需携带约 1 GiB witness，而 leanVM 证明约 265 KiB。

作者在预印本中提出一种去中心化、抗量子的区块链互操作公证方案，采用 ML-KEM、ML-DSA 与 AES-256 混合设计，认证与不可否认性用非对称密码，批量加密交给对称方案。作者摘要称，在最高 270 笔/秒的并行负载下，该方案与椭圆曲线方案的端到端性能差距平均降至 6% 以内，峰值负载时收敛到 0.2% 以内；动态信任模型用 Popoviciu 不等式按验证者行为方差推导自适应折扣因子 α，并在 200 个 epoch 的对抗条件下评估，称能发现基线模型未能充分惩罚的恶意行为。该材料为预印本，仅取得作者摘要与元数据，未读取论文全文。

作者提出 zk-NSGA-II 协议，在 RISC Zero zkVM 上执行 NSGA-II，用简洁证明在链上认证进化代际，实现可验证、隐私保护的协同多目标优化；据称是首个此类工作。各求解者维护独立种群，按非支配规则将本地 Pareto 前沿聚合为全局链上前沿，并用哈希链关联各代种群状态以防伪造贡献。作者在 ZDT 和 DTLZ 基准的十二个问题及恒生指数数据集的组合优化案例中，以九项指标评估，认为现有零知识与区块链技术已可支撑无信任协同多目标优化；该材料为预印本，尚未经过同行评审。

作者在 Ethereum Research 发布 StateSync-GKR 工作，据称是首个针对一般分层电路的 GKR 可靠性边界的机器检验证明，在 Isabelle/HOL 中完成，开发含 20 个理论、11,112 行和 418 条命名命题，电路覆盖线性、乘积和立方门，挑战取自 31 位 KoalaBear 域的四次扩张，分母恰为 p⁴≈2¹²⁴。配套的稀疏证明器 release 1.2 将证明吞吐提升 2.41–2.71 倍且 13,824 个证明哈希与 1.1 版逐字节一致；宽度 4,096 时峰值内存较仅测试用的稠密参考低约 89 倍。安全性归约到树的位置绑定假设，节点哈希为无前馈的截断 Poseidon2，不具抗碰撞性。与 Rust 验证器之间的值关系是尚未闭合的最后一环。两篇论文见 arXiv，Fiat–Shamir 非交互化不在分析范围内。