Мы рады сообщить, что Nethermind Security завершила обзор стратегии компаундинга стейкинга Origin Protocol @OriginProtocol.
Это родная архитектура стейкинга ETH от Origin. Большое спасибо команде Origin за гладкий и совместный процесс.
В новом отчете @DeutscheBank и @Clifford_Chance «Слияние ИИ и технологии распределенного реестра» AuditAgent от Nethermind признан частью перехода к разработке и безопасности смарт-контрактов на основе ИИ.
Это признание происходит на фоне растущего интереса со стороны крупных банков и финансовых учреждений, некоторые из которых уже протестировали или исследуют AuditAgent в рамках своих исследований по безопасности и гарантии с использованием ИИ.
Мы рады сообщить, что команда Формальной Верификации @NethermindSec, возглавляемая @PetarMax, совместно с @SuccinctLabs и при щедрой поддержке @ethereumfndn, официально подтвердила правильность всех основных чипов RV-64 из SP1 HyperCube RISC-V zkVM в @leanprover.
1/