Populární témata
#
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.
Nethermind Security
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ářů.
4
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
20. 2. 2026
SP1 Hypercube is now live on mainnet!
SP1 Hypercube is one of the most advanced, secure, and trusted zkVMs in production.
Built by the first team to prove Ethereum in real time.
The infrastructure for @ethereum's roadmap is finally here.
256
Top
Hodnocení
Oblíbené