Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,67 %
USELESS
USELESS-2,41 %
IKUN
IKUN+0,77 %
gib
gib+1,01 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,17 %
ALON
ALON-10,17 %
LAUNCHCOIN
LAUNCHCOIN+0,88 %
GOONC
GOONC-0,35 %
KLED
KLED+9,91 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,38 %
Boopa
Boopa+5,29 %
PORK
PORK0,00 %
zkSecurity
zkSecurity
27 janv. 2026·
Nous avons formalisé la solidité de FRI dans Lean, en utilisant @HarmonicMath et Claude Code. - analyse de FRI par @nico_mnbl et des collaborateurs - transformée en preuve Lean par @pirapira 🔥
Trivia : cela a commencé par curiosité en réponse à l'annonce de Math, Inc concernant leur preuve FRI, formalisant les preuves succinctes et l'algèbre linéaire : ...ce qui est bien, mais assez éloigné des véritables limites de sécurité FRI que nous pourrions attendre !
Math, Inc.
Math, Inc.5 déc. 2025
Nous avons vérifié la sécurité du protocole Fast Reed–Solomon Interactive Oracle Proof (FRI) - une pierre angulaire des preuves à divulgation nulle de connaissance de style STARK modernes et transparentes - en autoformalisant "Succinct Proofs and Linear Algebra" par Evans-Angeris avec Gauss.
108