Vi är glada att kunna meddela att Nethermind Security har slutfört granskningen av Origin Protocol's @OriginProtocol compounding stake-strategi. Detta är Origins ursprungliga ETH-insatsarkitektur. Stort tack till Origin-teamet för en smidig och samarbetsinriktad process.

I @DeutscheBank & @Clifford_Chance:s nya rapport "The Convergence of AI and Distributed Ledger Technology" presenteras Netherminds AuditAgent som en del av skiftet mot AI-driven utveckling och säkerhet av smarta kontrakt. Erkännandet kommer mitt i ett växande intresse från stora banker och finansinstitut - av vilka några redan har testat eller utforskar AuditAgent som en del av sin forskning om AI-assisterad säkerhet och försäkring.

Vi är glada att kunna meddela att @NethermindSec Formal Verification-teamet, som leds av @PetarMax, tillsammans med @SuccinctLabs, och med generöst stöd från @ethereumfndn, formellt har verifierat riktigheten av alla RV-64-kärnkretsar från SP1 HyperCube RISC-V zkVM i @leanprover. 1/