Trend Olan Konular
#
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
27 Oca 00:19·
FRI sağlamlığını Lean'de @HarmonicMath ve Claude Code kullanarak resmileştirdik. - @nico_mnbl ve işbirlikçileri tarafından yapılan FRI analizi - @pirapira tarafından Lean proof haline getirilmiştir 🔥
Küçük Bilgiler: Bu, Math, Inc'in FRI ispatını duyurması ve Kısa Kanıtlar ile Lineer Cebir'i resmileştirmesine yanıt olarak başladı: ... Bu güzel ama FRI güvenliği açısından beklediğimiz gerçek sınırlardan oldukça uzak!
Math, Inc.
Math, Inc.5 Ara 2025
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.
12