Tópicos populares
#
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/01, 00:19·
Formalizámos a solidez do FRI em Lean, utilizando @HarmonicMath e Claude Code. - Análise do FRI por @nico_mnbl e colaboradores - transformada numa prova em Lean por @pirapira 🔥
Trivia: isto começou por curiosidade em resposta ao anúncio da Math, Inc sobre a sua prova FRI, formalizando Provas Succintas e Álgebra Linear: ...o que é bom, mas está bastante longe dos limites reais de segurança do FRI que esperaríamos!
Math, Inc.
Math, Inc.5/12/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.
14