热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
我们在 Lean 中正式化了 FRI 的健全性，使用了 @HarmonicMath 和 Claude Code。
- @nico_mnbl 和合作者进行的 FRI 分析
- 由 @pirapira 转换为 Lean 证明
🔥
小知识：这源于对 Math, Inc 公布的 FRI 证明的好奇，正式化了简洁证明和线性代数：
……这很好，但与我们期望的 FRI 安全的实际界限相差甚远！
2025年12月5日
We have verified the security of the Fast Reed–Solomon Interactive Oracle Proof (FRI) protocol - a cornerstone of modern transparent, STARK-style zero-knowledge proofs - by autoformalizing "Succinct Proofs and Linear Algebra" by Evans-Angeris with Gauss.
28
热门
排行
收藏