祝贺 @0xAlbertG (Nethermind)、@nico_mnbl (zkSecurity) 和 Benedikt Wagner (Ethereum Foundation) 在 TCC 2026（理论密码学会议）上荣获三项杰出论文奖之一！他们的获奖论文是《FRI 的逐轮简化完备性证明》。 FRI 是大多数基于 STARK 的证明系统（包括 Starknet）的核心。现有的完备性证明既冗长又难以验证，而这篇论文提供了一个更简单的证明方法，为正式验证基于 FRI 构建的系统迈出了重要一步。https://eprint.iacr.org/2025/1993