Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-7,02%
USELESS
USELESS+3,07%
IKUN
IKUN-0,56%
gib
gib-0,28%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,31%
ALON
ALON+5,15%
LAUNCHCOIN
LAUNCHCOIN-1,12%
GOONC
GOONC+3,39%
KLED
KLED-1,1%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,46%
Boopa
Boopa+0,09%
PORK
PORK-1,83%
header
Nico
Piki, dopóki nie będzie @zksecurityXYZ. Badania i kryptografia. Stały współprowadzący w @zeroknowledgefm. Jestem także trubadurem i entuzjastą szachów
Nico
Nico23 godz. temu
Niesamowita praca od @pirapira, która dostarczyła Lean dowód naszego niedawnego artykułu o bezpieczeństwie FRI. Super interesujący proces roboczy, łączący LLM-y TeX-to-Lean z regularnymi agentami kodującymi. Myślę, że w przyszłości zobaczymy tego znacznie więcej!
zkSecurity
zkSecurity23 godz. temu
Sformalizowaliśmy solidność FRI w Lean, używając @HarmonicMath i Claude Code. - analiza FRI przez @nico_mnbl i współpracowników - przekształcone w dowód Lean przez @pirapira 🔥
28