Wir freuen uns, bekannt zu geben, dass Nethermind Security die Überprüfung der Kompound-Staking-Strategie von Origin Protocol @OriginProtocol abgeschlossen hat. Dies ist die native ETH-Staking-Architektur von Origin. Ein großes Dankeschön an das Origin-Team für einen reibungslosen und kooperativen Prozess.

In dem neuen Bericht von @DeutscheBank und @Clifford_Chance „Die Konvergenz von AI und Distributed Ledger Technology“ wird Nethermind’s AuditAgent als Teil des Wandels hin zu AI-gestützter Entwicklung und Sicherheit von Smart Contracts anerkannt. Diese Anerkennung erfolgt vor dem Hintergrund des wachsenden Interesses von großen Banken und Finanzinstituten – einige von ihnen haben AuditAgent bereits getestet oder erkunden ihn im Rahmen ihrer Forschung zu AI-unterstützter Sicherheit und Gewährleistung.

Wir freuen uns, bekannt zu geben, dass das @NethermindSec-Team für formale Verifikation, geleitet von @PetarMax, in Zusammenarbeit mit @SuccinctLabs und mit großzügiger Unterstützung von @ethereumfndn, die Korrektheit aller Kern-RV-64-Chips des SP1 HyperCube RISC-V zkVM in @leanprover formell verifiziert hat. 1/