Trendaavat aiheet
#
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.
This is a crucial milestone toward formally verifying zk provers — an essential step in establishing trust and verifiability across the ZK ecosystem.
6.8. klo 23.43
🚨 Two critical soundness bugs found in ZisK using CIVER 🚨
In a collaboration with the @ziskvm development team, the Costa group is applying formal methods to verify recursion/aggregation circuits of ZisK.
🔗More details here:
🧵
2,05K
Johtavat
Rankkaus
Suosikit