Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+1,06 %
USELESS
USELESS−6,83 %
IKUN
IKUN+0,2 %
gib
gib−1,64 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−2,98 %
ALON
ALON−0,05 %
LAUNCHCOIN
LAUNCHCOIN−5,6 %
GOONC
GOONC−2,18 %
KLED
KLED−5,14 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,01 %
Boopa
Boopa−5,25 %
PORK
PORK0,00 %
header
Nethermind Security
Nethermind Security
Nethermind Security5. mars, 17:47
Tre EVMBench-repositorier for to uker siden. Nå 15, kjør i rekkefølge, ikke håndplukket. EVMBench måler tilbakekalling. Den måler ikke falske positiver. Tilbakekalling uten presisjon er en demo, ikke et verktøy. AuditAgent er laget for å minimere støy, ikke bare maksimere deteksjon. Full oversikt over alle de 40 reposiene som pågår.
82
Nethermind Security
Nethermind Security25. feb. 2026
AuditAgent støtter nå Solana. AI-forsterket sårbarhetsdeteksjon trent på reelle revisjonsfunn. Nå over Solidity, Kairo og @Solana. Hever sikkerhetsgrunnlaget tidlig i utviklingen, før manuell gjennomgang begynner.
226
Nethermind Security
Nethermind Security20. feb. 2026
SP1 Hypercube sikrer milliarder i TVL. Riktigheten av dens RISC-V-begrensninger bør ikke hvile på testing alene. I samarbeid med @SuccinctLabs og støttet @ethereumfndn @NethermindSec formelt verifisert alle 62 kjerne-opkodene mot den offisielle RISC-V Sail-spesifikasjonen i Lean. Harde formelle metoder, anvendt på produksjons zk-infrastruktur. Gratulerer med mainnet
Succinct
Succinct20. feb. 2026
SP1 Hypercube er nå live på mainnet! SP1 Hypercube er en av de mest avanserte, sikre og pålitelige zkVM-ene i produksjon. Bygget av det første teamet som beviste Ethereum i sanntid. Infrastrukturen for @ethereum sin veikart er endelig her.
295