Актуальные темы
#
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 авг., 23:43
🚨 Обнаружены две критические уязвимости в ZisK с использованием CIVER 🚨
В сотрудничестве с командой разработчиков @ziskvm группа Коста применяет формальные методы для проверки рекурсивных/агрегирующих цепей ZisK.
🔗Больше деталей здесь:
🧵
2,08K
Топ
Рейтинг
Избранное