Estamos entusiasmados em anunciar que a Nethermind Security completou a revisão da estratégia de staking composto do Origin Protocol @OriginProtocol. Esta é a arquitetura nativa de staking de ETH do Origin. Um grande agradecimento à equipe do Origin por um processo suave e colaborativo.

Destacado no novo relatório da @DeutscheBank e @Clifford_Chance "A Convergência da IA e da Tecnologia de Ledger Distribuído", o AuditAgent da Nethermind é reconhecido como parte da transição para o desenvolvimento e segurança de contratos inteligentes impulsionados por IA. O reconhecimento surge em meio ao crescente interesse de grandes bancos e instituições financeiras - alguns dos quais já testaram ou estão explorando o AuditAgent como parte de sua pesquisa em segurança e garantia assistidas por IA.

Estamos encantados em anunciar que a equipe de Verificação Formal da @NethermindSec, liderada por @PetarMax, em conjunto com a @SuccinctLabs, e com o generoso apoio da @ethereumfndn, verificou formalmente a correção de todos os chips RV-64 principais do SP1 HyperCube RISC-V zkVM no @leanprover. 1/