Subiecte populare
#
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.
Echipa de verificare formală @NethermindSec, cu sprijinul @ethereumfndn prin runda de granturi ZK 2024, a dezvoltat Halva: o infrastructură pentru verificarea formală a circuitelor Halo2 zk în @leanprover.
Am folosit Halva pentru a descoperi un bug critic într-un circuit Scroll zk din lumea reală. 🧵
1/
5,12K
Limită superioară
Clasament
Favorite