Trendaavat aiheet
#
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.1. klo 00.19·
Formalisoiduimme FRI-luotettavuuden Leanissa käyttäen @HarmonicMath- ja Claude-koodia. - FRI-analyysi @nico_mnbl ja yhteistyökumppaneiden toimesta - muutettu Lean-proofiksi @pirapira toimesta 🔥
Trivia: tämä alkoi uteliaisuudesta vastauksena Math, Inc:n FRI-todistuksen julkistukseen, joka formalisoi tiivistetyt todistukset ja lineaarialgebran: ... mikä on mukavaa, mutta kaukana odotetuista FRI-tietoturvan rajoista!
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.
12