EVM Verification of WHIR over a 31-bit Field

AI 摘要

一句话摘要: 在31位KoalaBear域上实现WHIR多项式承诺的EVM验证，Gas成本显著低于254位域方案。 关键事实: 1. 在100位可证明安全性下，验证大小为2^22的多项式需5,646,080 Gas，使用扩展域预编译可降至4,328,805 Gas。 2. 31位域相比254位域可减少约14% Gas，主要得益于更小的calldata，但扩展域算术消耗部分节省。 3. 此前sol-whir依赖的容量边界邻近间隙猜想已被证伪，需更多查询维持安全性，小域方案通过Johnson边界参数弥补。 涉及主体: WHIR项目、Plonky3、sol-whir、KoalaBear域 可能影响: 推动后量子安全SNARK在EVM上的实用化，降低链上验证成本，可能加速ZK-Rollup等应用采用抗量子方案。 是否值得继续跟踪: 是。该方案解决了此前猜想失效后的安全性问题，且Gas优化显著，对链上零知识证明验证有实际价值。 噪音/炒作风险: 低。技术细节扎实，有具体实验数据和对比，且针对已证伪的猜想提出解决方案，非空洞概念炒作。