跳到正文
熱點事件持續更新

Sovereign-Mohawk-Proto 開放外部審核

1 篇報道1 個報道來源5 小時前更新

先了解這件事

AI 綜述

2026年11月6日,DEV Community 報道,Sovereign-Mohawk-Proto 開放外部審核,邀請社羣檢查其去中心化聯邦學習執行環境。審核範圍包括形式驗證、密碼學元件及協定實作。項目採用 Lean 4 規格、混合式密鑰交換、Ed25519、MiMC 零知識電路、Multi-Krum 聚合,以及 Rényi Differential Privacy(RDP)記帳;GitHub 已列出多項待審核問題。報道未交代審核結果或後續修正。

AI 根據報道生成 · 5 小時前更新

報道時間線

沿着報道,瞭解事件的不同側面。

11月6日
  1. DEV Community
    Sovereign-Mohawk-Proto:以定理引導的去中心化聯邦學習與密碼學執行環境

    Sovereign-Mohawk-Proto 開放外部審核,邀請社羣檢查其去中心化聯邦學習執行環境的形式驗證、密碼學元件及協定實作。項目採用 Lean 4 規格、混合式密鑰交換、Ed25519、MiMC 零知識電路、Multi-Krum 聚合及 Rényi Differential Privacy(RDP)記帳,並在 GitHub 列出多項待審核問題。

本事件熱度走勢

當前熱度 9·可比範圍峯值 10(11月6日 04:00)·近 24 小時可比範圍變化 –

02.557.51011月6日04:0011月6日05:0011月6日06:0011月6日07:00

趨勢僅比較持續完整觀測到的相同主體,範圍可能小於當前熱度統計。移動指針或點擊圖表查看每小時熱度;鍵盤可用左右方向鍵切換。