Rubriques tendance
#
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 chez @nethermind @nethermindstark
L'équipe de vérification formelle de Nethermind a développé une expertise dans la vérification des zkVM depuis un certain temps maintenant.
La mission est de faire des zk un moyen fiable et correct de faire évoluer Ethereum.
Nous prouvons qu'un nouveau niveau de sécurité dans l'infrastructure d'Ethereum est à portée de main.
Sécurité de mille milliards de dollars 🫡
10 oct. 2025
Nous sommes ravis d'annoncer que l'équipe de Vérification Formelle de @NethermindSec, dirigée par @PetarMax, en tandem avec @SuccinctLabs, et avec le soutien généreux de @ethereumfndn, a formellement vérifié la justesse de tous les chips RV-64 de base du SP1 HyperCube RISC-V zkVM dans @leanprover.
1/
1,1K
Meilleurs
Classement
Favoris