Z radością ogłaszamy, że Nethermind Security zakończył przegląd strategii stakowania złożonego protokołu Origin @OriginProtocol.
To jest natywna architektura stakowania ETH protokołu Origin. Wielkie podziękowania dla zespołu Origin za płynny i współpracujący proces.
Wyróżniony w nowym raporcie @DeutscheBank i @Clifford_Chance "Konwergencja AI i technologii rozproszonego rejestru", AuditAgent firmy Nethermind jest uznawany za część przejścia w kierunku rozwoju i bezpieczeństwa inteligentnych kontraktów zasilanych AI.
To uznanie pojawia się w obliczu rosnącego zainteresowania ze strony dużych banków i instytucji finansowych - niektóre z nich już testowały lub badają AuditAgent jako część swoich badań nad bezpieczeństwem i zapewnieniem wspomaganym przez AI.
Z radością ogłaszamy, że zespół ds. formalnej weryfikacji @NethermindSec, kierowany przez @PetarMax, we współpracy z @SuccinctLabs oraz z hojnym wsparciem od @ethereumfndn, formalnie zweryfikował poprawność wszystkich rdzeni chipów RV-64 z SP1 HyperCube RISC-V zkVM w @leanprover.
1/