Nethermind Security が Origin Protocol の@OriginProtocol複利ステーキング戦略のレビューを完了したことを発表できることを嬉しく思います。 これは、OriginのネイティブETHステーキングアーキテクチャです。スムーズで協力的なプロセスを提供してくれたOriginチームに感謝します。

@DeutscheBank & @Clifford_Chance の新しいレポート「AI と分散型台帳テクノロジーの融合」で取り上げられた Nethermind の AuditAgent は、AI を活用したスマート コントラクトの開発とセキュリティへの移行の一環として認識されています。 この評価は、大手銀行や金融機関からの関心が高まっている中で行われ、その中にはAI支援のセキュリティと保証に関する研究の一環としてAuditAgentをすでにテストしているか、検討しているところもあります。

@PetarMax が率いる @NethermindSec Formal Verification チームは、@SuccinctLabs と連携し、@ethereumfndn からの寛大なサポートを受けて、@leanprover 年に SP1 HyperCube RISC-V zkVM のすべてのコア RV-64 チップの正確性を正式に検証したことを発表できることを嬉しく思います。 1/