Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,57 %
USELESS
USELESS−6,51 %
IKUN
IKUN+0,2 %
gib
gib−1,64 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−3,05 %
ALON
ALON−0,05 %
LAUNCHCOIN
LAUNCHCOIN−5,6 %
GOONC
GOONC−2,18 %
KLED
KLED−5,15 %
#
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-repos för två veckor sedan. Nu 15, kör i ordning, inte handplockad. EVMBench-mått återkallning. Den mäter inte falska positiva frekvenser. Recall without precision är en demo, inte ett verktyg. AuditAgent är byggd för att minimera brus, inte bara maximera upptäckten. Fullständiga resultat över alla 40 repos som pågår.
92
Nethermind Security
Nethermind Security25 feb. 2026
AuditAgent stödjer nu Solana. AI-förstärkt sårbarhetsupptäckt tränad på verkliga revisionsresultat. Nu över Solidity, Kairo och @Solana. Höjer säkerhetsbaslinjen tidigt i utvecklingen, innan manuell granskning påbörjas.
236
Nethermind Security
Nethermind Security20 feb. 2026
SP1 Hypercube säkrar miljarder i TVL. Korrektheten i dess RISC-V-begränsningar bör inte vila enbart på testning. I samarbete med @SuccinctLabs och stödda @ethereumfndn verifierade @NethermindSec formellt alla 62 kärn-opkoder mot den officiella RISC-V Sail-specifikationen i Lean. Hårda formella metoder, tillämpade på produktionsinfrastruktur av zk. Grattis till mainnet
Succinct
Succinct20 feb. 2026
SP1 Hypercube är nu live på mainnet! SP1 Hypercube är en av de mest avancerade, säkra och pålitliga zkVM:erna i produktion. Byggt av det första teamet som bevisade Ethereum i realtid. Infrastrukturen för @ethereum:s färdplan är äntligen här.
305