トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
私たちは@HarmonicMathとClaudeコードを用いてLeanでFRIの健全性を形式化しました。
- @nico_mnblおよび共同研究者によるFRI解析
- リーン証明に変換@pirapira
🔥
トリビア:これはMath, Incが発表したFRI証明(簡潔な証明と線形代数の形式化)に対する好奇心から始まりました。
...それは良いことですが、私たちが予想するFRIのセキュリティの範囲からかなり離れています!
2025年12月5日
私たちは、Evans-AngerisとGaussによる「Suscincct Proofs and Linear Algebra」を自己形式化することで、Fast Reed–Solomon Interactive Oracle Proof(FRI)プロトコルの安全性を検証しました。これは現代の透明性のあるSTARKスタイルのゼロ知識証明の基盤です。
99
トップ
ランキング
お気に入り