Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-4,57 %
USELESS
USELESS+7,05 %
IKUN
IKUN-0,6 %
gib
gib+1,77 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,36 %
ALON
ALON+6,04 %
LAUNCHCOIN
LAUNCHCOIN-0,64 %
GOONC
GOONC+3,39 %
KLED
KLED-0,68 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,04 %
Boopa
Boopa+2,65 %
PORK
PORK-1,83 %
zkSecurity
zkSecurity
27. 1. 00:19·
Formálně jsme FRI zformovali v Lean, použili jsme @HarmonicMath a Claude kód. - FRI analýza od @nico_mnbl a spolupracovníků - přeměněno na Lean důkaz @pirapira 🔥
Zajímavosti: toto začalo ze zvědavosti v reakci na oznámení Math, Inc o jejich důkazu FRI, který formalizuje stručné důkazy a lineární algebru: ... což je fajn, ale docela daleko od skutečných hranic bezpečnosti FRI, které bychom očekávali!
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.
8