Zespół weryfikacji formalnej w Nethermind rozwijał swoją wiedzę w zakresie weryfikacji zkVM od dłuższego czasu. Naszą misją jest uczynienie zk zaufanym i poprawnym sposobem skalowania Ethereum. Udowadniamy, że nowy poziom bezpieczeństwa w infrastrukturze Ethereum jest w zasięgu ręki. Bezpieczeństwo warte biliony dolarów 🫡