Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Jedná se o zásadní milník směrem k formálnímu ověření zk prokazovatelů – zásadní krok k nastolení důvěry a ověřitelnosti v celém ekosystému ZK.
Před 21 h
🚨 Dvě kritické chyby spolehlivosti nalezené v ZisK pomocí CIVER 🚨
Ve spolupráci s vývojovým týmem @ziskvm skupina Costa aplikuje formální metody pro ověření rekurzí/agregačních obvodů ZisK.
🔗Více informací zde:
🧵
1,67K
Top
Hodnocení
Oblíbené