Formální ověřovací tým společnosti Nethermind již nějakou dobu rozvíjí odborné znalosti v oblasti ověřování zkVMs. Posláním je udělat ze zk důvěryhodný a správný způsob škálování Etherea. Dokazujeme, že nová úroveň zabezpečení v infrastruktuře Etherea je na dosah. Zabezpečení 🫡 v hodnotě bilionu dolarů