Echipa de verificare formală de la Nethermind a dezvoltat expertiză în verificarea zkVM-urilor de ceva timp. Misiunea este de a face zk o modalitate de încredere și corectă de a scala Ethereum. Dovedim că un nou nivel de securitate în infrastructura Ethereum este la îndemână. Securitate 🫡 de trilioane de dolari