Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Formalizamos a solidez FRI em Lean, usando @HarmonicMath e Claude Code.
- Análise FRI por @nico_mnbl e colaboradores
- transformado em uma prova Enxuta por @pirapira
🔥
Curiosidades: isso começou por curiosidade em resposta ao anúncio da Math, Inc. de sua prova FRI, formalizando as Provas Sucinctas e Álgebra Linear:
... o que é bom, mas bem longe dos limites reais da segurança FRI que esperaríamos!
5 de dez. de 2025
Verificamos a segurança do protocolo Fast Reed–Solomon Interactive Oracle Proof (FRI) – uma pedra angular das provas modernas transparentes e de conhecimento zero no estilo STORK – autoformalizando "Succinct Proofs and Linear Algebra" de Evans-Angeris com Gauss.
110
Melhores
Classificação
Favoritos