Det formelle verifiseringsteamet hos Nethermind har utviklet ekspertise i å verifisere zkVM-er i noen tid nå. Oppdraget er å gjøre zk til en pålitelig og riktig måte å skalere Ethereum på. Vi beviser at et nytt sikkerhetsnivå i Ethereums infrastruktur er innen rekkevidde. Sikkerhet 🫡 på billioner dollar