S potěšením oznamujeme, že společnost Nethermind Security dokončila revizi strategie @OriginProtocol složeného sázení společnosti Origin Protocol. Jedná se o nativní architekturu sázek ETH společnosti Origin. Velké poděkování patří týmu Origin za hladký a spolupracující proces.

AuditAgent společnosti Nethermind, který je uveden v nové zprávě společnosti @DeutscheBank & @Clifford_Chance "Konvergence umělé inteligence a technologie distribuované účetní knihy", je uznáván jako součást posunu směrem k vývoji a zabezpečení chytrých kontraktů poháněných umělou inteligencí. Uznání přichází uprostřed rostoucího zájmu velkých bank a finančních institucí - některé z nich již AuditAgent testovaly nebo zkoumají v rámci svého výzkumu zabezpečení a zajištění pomocí umělé inteligence.

S potěšením oznamujeme, že tým @NethermindSec Formal Verification, vedený @PetarMax, v tandemu s @SuccinctLabs a s velkorysou podporou společnosti @ethereumfndn, formálně ověřil správnost všech základních čipů RV-64 z SP1 HyperCube RISC-V zkVM v roce @leanprover. 1/