Popularne tematy
#
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.
To jest kluczowy kamień milowy w kierunku formalnej weryfikacji zk provers — istotny krok w budowaniu zaufania i weryfikowalności w całym ekosystemie ZK.
6 sie, 23:43
🚨 Znaleziono dwa krytyczne błędy w ZisK przy użyciu CIVER 🚨
W ramach współpracy z zespołem deweloperskim @ziskvm, grupa Costa stosuje metody formalne do weryfikacji obwodów rekurencyjnych/agregacyjnych ZisK.
🔗Więcej szczegółów tutaj:
🧵
2,07K
Najlepsze
Ranking
Ulubione