Все возможности Discover
discoveryBanners
Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-2,71 %
USELESS
USELESS+5,06 %
IKUN
IKUN-7,12 %
gib
gib+3,66 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,17 %
ALON
ALON-3,75 %
LAUNCHCOIN
LAUNCHCOIN-1,44 %
GOONC
GOONC-4,41 %
KLED
KLED-4,07 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,8 %
Boopa
Boopa-13,31 %
PORK
PORK0,00 %
Brevis
Brevis
27 нояб., 21:14·
▶️ Полная запись ZKONNECT: {RISC и вознаграждение — Формальная верификация zkVM} @JulekSU провел глубокое погружение в будущее корректности zkVM. Звуковость доказательства, верификация схем, верификация zkVM на основе Lean и многое другое.