Topik trending
#
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)
Co-CTO di @nethermind @nethermindstark
Tim verifikasi formal di Nethermind telah mengembangkan keahlian dalam memverifikasi zkVM selama beberapa waktu sekarang.
Misinya adalah menjadikan zk cara tepercaya dan benar untuk menskalakan Ethereum.
Kami membuktikan bahwa tingkat keamanan baru dalam infrastruktur Ethereum sudah dalam jangkauan.
Keamanan 🫡 triliunan dolar
10 Okt 2025
Kami dengan senang hati mengumumkan bahwa tim Verifikasi Formal @NethermindSec, yang dipimpin oleh @PetarMax, bersama-sama dengan @SuccinctLabs, dan dengan dukungan murah hati dari @ethereumfndn, telah secara resmi memverifikasi kebenaran semua chip RV-64 inti dari SP1 HyperCube RISC-V zkVM pada tahun @leanprover.
1/
1,08K
Teratas
Peringkat
Favorit