Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
MempoolSurfer(.eth|.stark)
Med-CTO på @nethermind @nethermindstark
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
10. okt. 2025
Vi er glade for å kunngjøre at @NethermindSec Formal Verification-teamet, ledet av @PetarMax, sammen med @SuccinctLabs, og med sjenerøs støtte fra @ethereumfndn, formelt har verifisert riktigheten av alle kjernebrikkene til RV-64 fra SP1 HyperCube RISC-V zkVM i @leanprover.
1/
1,08K
Topp
Rangering
Favoritter