Актуальные темы
#
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.
Это важный этап на пути к формальной верификации zk провайдеров — необходимый шаг для установления доверия и проверяемости в экосистеме ZK.
6 авг. 2025 г.
🚨 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,46K
Топ
Рейтинг
Избранное