Populaire onderwerpen
#
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)
Co-CTO bij @nethermind @nethermindstark
Het formele verificatieteam van Nethermind heeft al enige tijd expertise in het verifiëren van zkVM's.
De missie is om zk een betrouwbare en correcte manier te maken om Ethereum op te schalen.
We bewijzen dat een nieuw niveau van beveiliging in de infrastructuur van Ethereum binnen handbereik is.
Triljoen-dollar beveiliging 🫡
10 okt 2025
We zijn verheugd aan te kondigen dat het @NethermindSec Formal Verification-team, geleid door @PetarMax, in samenwerking met @SuccinctLabs, en met genereuze steun van @ethereumfndn, de correctheid van alle kern RV-64 chips van de SP1 HyperCube RISC-V zkVM in @leanprover formeel heeft geverifieerd.
1/
1,09K
Boven
Positie
Favorieten