Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,84 %
USELESS
USELESS-4,89 %
IKUN
IKUN+13,68 %
gib
gib-3,45 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-5,82 %
ALON
ALON-6,68 %
LAUNCHCOIN
LAUNCHCOIN-8 %
GOONC
GOONC-6,33 %
KLED
KLED-15,96 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,61 %
Boopa
Boopa-10,27 %
PORK
PORK0,00 %
header
Nethermind Security
Nethermind Security
Nethermind Security5. 3. 17:47
Před dvěma týdny tři repozitáře EVMBench. Teď 15, běžte v pořadí, ne ručně vybírané. EVMBench měří svolávací dobu. Neměří míru falešně pozitivních výsledků. Přivolání bez přesnosti je ukázka, ne nástroj. AuditAgent je navržen tak, aby minimalizoval šum, ne jen maximalizoval detekci. Kompletní výsledky všech 40 probíhajících repozitářů.
36
Nethermind Security
Nethermind Security25. 2. 2026
AuditAgent nyní podporuje Solanu. Detekce zranitelností pomocí AI trénovaná na skutečných zjištěních auditu. Nyní přes Solidity, Káhiru a @Solana. Zvýšení bezpečnostní hodnoty už na začátku vývoje, ještě před začátkem ruční kontroly.
191
Nethermind Security
Nethermind Security20. 2. 2026
SP1 Hypercube zajišťuje miliardy v TVL. Správnost jeho RISC-V omezení by neměla záviset pouze na testování. Ve spolupráci s @SuccinctLabs a podporovaným @ethereumfndn @NethermindSec formálně ověřil všech 62 hlavních operačních kódů podle oficiální specifikace RISC-V Sail v Lean. Tvrdě formální metody, aplikované na produkční ZK infrastrukturu. Gratulujeme k mainnetu
Succinct
Succinct20. 2. 2026
SP1 Hypercube je nyní dostupný na mainnetu! SP1 Hypercube je jedním z nejpokročilejších, nejbezpečnějších a nejdůvěryhodnějších zkVM v produkci. Postaveno prvním týmem, který dokázal Ethereum v reálném čase. Infrastruktura pro @ethereum roadmapu je konečně tady.
269