Ragged multi-instance GKR for Poseidon2b: one walk, unequal regions, no max-width padding

AI 摘要

一句话摘要: 提出Ragged multi-instance GKR方法，避免Poseidon2b证明中的最大宽度填充开销。 关键事实: 九个区域宽度为[14,15,17,16,12,15,16,12,13]，最大宽度17；新方法通过隐式选择器保持原生见证大小，避免从360,448行填充至1,179,648行；最大sumcheck度保持为8，不因填充增加。 涉及主体: Ethereum, Poseidon2b, WHIR, GKR, Thomas Coratger, Justin Drake, Benedikt Wagner, Dmitry Khovratovich 可能影响: 提升以太坊后量子签名聚合与GPU加速证明的效率，降低哈希密集型递归证明的内存和计算开销，加速ZK证明在共识层的实用化。 是否值得继续跟踪: 是，该方法直接解决递归证明中的实际批处理瓶颈，对以太坊后量子迁移和ZK硬件优化有直接价值。 噪音/炒作风险: 低，内容基于具体实现和基准数据，非概念炒作，属于工程优化类技术贡献。