Актуальные темы
#
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.
MempoolSurfer(.eth|.stark)
Со-технический директор в @nethermind @nethermindstark
Команда формальной верификации в Nethermind уже некоторое время разрабатывает экспертизу в верификации zkVM.
Миссия заключается в том, чтобы сделать zk надежным и корректным способом масштабирования Ethereum.
Мы доказываем, что новый уровень безопасности в инфраструктуре Ethereum достижим.
Безопасность на триллионы долларов 🫡
10 окт. 2025 г.
We are delighted to announce that the @NethermindSec Formal Verification team, led by @PetarMax, in tandem with @SuccinctLabs, and with generous support from @ethereumfndn, has formally verified the correctness of all of the core RV-64 chips from the SP1 HyperCube RISC-V zkVM in @leanprover.
1/
1,07K
Топ
Рейтинг
Избранное