Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+1,12 %
USELESS
USELESS-1,53 %
IKUN
IKUN+1,31 %
gib
gib-0,05 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,63 %
ALON
ALON-1,73 %
LAUNCHCOIN
LAUNCHCOIN-1,03 %
GOONC
GOONC-2 %
KLED
KLED+7,09 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,12 %
Boopa
Boopa+3,48 %
PORK
PORK0,00 %
zkSecurity
zkSecurity
27. 1. 2026·
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
Ověřili jsme bezpečnost protokolu Fast Reed–Solomon Interactive Oracle Proof (FRI) – základního kamene moderních transparentních, STARK-stylových důkazů s nulovou znalostí – autoformalizací "Succinct Proofs and Linear Algebra" od Evans-Angerise s Gaussem.
106