Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-7,55 %
USELESS
USELESS+25,06 %
IKUN
IKUN+1,77 %
gib
gib-4,19 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,6 %
ALON
ALON+4,29 %
LAUNCHCOIN
LAUNCHCOIN+12,48 %
GOONC
GOONC-2,33 %
KLED
KLED-4,54 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,14 %
Boopa
Boopa+9,49 %
PORK
PORK0,00 %
header
Nethermind Security
Nethermind Security
Nethermind SecurityPřed 16 h
Náš tým pro formální ověřování začíná pracovat na @brevis_zk Pico RISC-V zkVM, navazujíc na naši práci na SP1 a OpenVM. Jsme vděční @EthereumFndn za podporu tohoto úsilí.
44
Nethermind Security
Nethermind Security11. 2. 01:00
Náš tým pro formální ověřování vedený @PetarMax s podporou @EthereumFndn ověřil v Lean správnost rozšíření OpenVM RISC-V vyvinutého @axiom_xyz. Tato práce dokazuje správnost na úrovni instrukcí a poprvé i konzistenci provedení a paměti. 🧵
12
Nethermind Security
Nethermind Security14. 1. 2026
AuditAgent verze 2.1.0 je dostupný. Toto vydání zlepšuje flexibilitu CI, zpřísní validační chování a zpřesňuje platformní uživatelské rozhraní pro každodenní přípravu auditů. Postupné zlepšování, zaměřené na reálné pracovní postupy.
19