トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-3.56%
USELESS
USELESS+8.31%
IKUN
IKUN+0.52%
gib
gib+1.77%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1.2%
ALON
ALON+6.04%
LAUNCHCOIN
LAUNCHCOIN-0.28%
GOONC
GOONC+3.39%
KLED
KLED+5.31%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1.24%
Boopa
Boopa+2.65%
PORK
PORK-1.83%
zkSecurity
zkSecurity
1月27日 00:19·
私たちは@HarmonicMathとClaudeコードを用いてLeanでFRIの健全性を形式化しました。 - @nico_mnblおよび共同研究者によるFRI解析 - リーン証明に変換@pirapira 🔥
トリビア:これはMath, Incが発表したFRI証明(簡潔な証明と線形代数の形式化)に対する好奇心から始まりました。 ...それは良いことですが、私たちが予想するFRIのセキュリティの範囲からかなり離れています!
Math, Inc.
Math, Inc.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.
14