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