Kami dengan senang hati mengumumkan bahwa Nethermind Security menyelesaikan peninjauan strategi staking compounding @OriginProtocol Origin Protocol.
Ini adalah arsitektur staking ETH asli Origin. Terima kasih banyak kepada tim Origin atas proses yang lancar dan kolaboratif.
Ditampilkan dalam laporan baru @DeutscheBank & @Clifford_Chance "The Convergence of AI and Distributed Ledger Technology," Nethermind's AuditAgent diakui sebagai bagian dari pergeseran menuju pengembangan dan keamanan kontrak pintar bertenaga AI.
Pengakuan ini datang di tengah meningkatnya minat dari bank-bank besar dan lembaga keuangan - beberapa di antaranya telah menguji atau sedang mengeksplorasi AuditAgent sebagai bagian dari penelitian mereka tentang keamanan dan jaminan yang dibantu AI.
Kami dengan senang hati mengumumkan bahwa tim Verifikasi Formal @NethermindSec, yang dipimpin oleh @PetarMax, bersama-sama dengan @SuccinctLabs, dan dengan dukungan murah hati dari @ethereumfndn, telah secara resmi memverifikasi kebenaran semua chip RV-64 inti dari SP1 HyperCube RISC-V zkVM pada tahun @leanprover.
1/