Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,54 %
USELESS
USELESS-5,15 %
IKUN
IKUN-2,63 %
gib
gib+9,4 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3,59 %
ALON
ALON-9 %
LAUNCHCOIN
LAUNCHCOIN-2,43 %
GOONC
GOONC-2,32 %
KLED
KLED+13,6 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,47 %
Boopa
Boopa-1,95 %
PORK
PORK0,00 %
zkSecurity
zkSecurity
27 янв. 2026 г.·
Мы формализовали надежность FRI в Lean, используя @HarmonicMath и Claude Code. - анализ FRI от @nico_mnbl и его коллег - превращен в доказательство Lean от @pirapira 🔥
Тривиа: это началось из любопытства в ответ на объявление Math, Inc о их доказательстве FRI, формализующем Сжатые Доказательства и Линейную Алгебру: ...что неплохо, но довольно далеко от фактических границ безопасности FRI, которые мы бы ожидали!
Math, Inc.
Math, Inc.5 дек. 2025 г.
Мы проверили безопасность протокола Fast Reed–Solomon Interactive Oracle Proof (FRI) - краеугольного камня современных прозрачных, STARK-стиля доказательств с нулевым знанием - путем автоформализации "Сжатых доказательств и линейной алгебры" Эванса-Ангериса с Гауссом.
115