Argomenti di tendenza
#
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.
Questo è un traguardo cruciale per la verifica formale dei prover zk — un passo essenziale per stabilire fiducia e verificabilità nell'ecosistema ZK.
6 ago, 23:43
🚨 Trovati due bug critici di solidità in ZisK utilizzando CIVER 🚨
In collaborazione con il team di sviluppo di @ziskvm, il gruppo Costa sta applicando metodi formali per verificare i circuiti di ricorsione/aggregazione di ZisK.
🔗 Maggiori dettagli qui:
🧵
1,83K
Principali
Ranking
Preferiti