2024-12-02 01:56:20
Privastead
分類
AI生產力工具AI工作流管理
用戶群體
家庭安全攝影機用戶注重隱私的技術愛好者Rust 開發者MLS 協議研究人員家庭安全系統集成商
定價類型
免費

鏈接

  1. 文檔頁: https://github.com/privastead/privastead/blob/main/HOW_TO.md

Privastead 是一個注重隱私的家庭安全攝影機解決方案,使用端到端加密技術。它有三個主要優點:

  1. 使用 OpenMLS 實現的 Messaging Layer Security (MLS) 協議進行端到端加密。
  2. 軟體解決方案,適用於現有的 IP 攝影機,對 IP 攝影機的信任假設極少。
  3. Rust 實現(攝影機集線器、MLS 代碼用於移動應用程序和不受信任的伺服器)。

Privastead 由三個主要組件組成:

  1. 攝影機集線器,運行在本地機器上,直接與 IP 攝影機互動。
  2. 移動應用程序,允許用戶接收事件通知(例如,運動)並遠程直播攝影機。
  3. 不受信任的伺服器,用於在集線器和應用程序之間中繼(加密)消息。此外,Privastead 使用 Google Firebase Cloud Messaging (FCM) 進行通知。類似於伺服器,FCM 是不受信任的。

Privastead 的主要優勢在於它使用端到端加密提供強大的隱私保證。具體來說,它做出以下假設:

  1. 假設運行集線器的本地機器和運行移動應用程序的智能手機是安全的且未被入侵。
  2. 假設伺服器是完全不受信任且受敵人控制的。
  3. 對 IP 攝影機做出極少的信任假設。即,假設攝影機沒有隱蔽的、未公開的網絡接口卡(例如,蜂窩)自行連接到互聯網(因此,最好由用戶明確檢查和驗證)。除此之外,IP 攝影機是不受信任的,因此 Privastead 不直接將攝影機連接到互聯網;相反,攝影機直接連接到集線器。

它提供以下保證:

  1. 保證只有集線器和移動應用程序可以訪問未加密的視頻。
  2. 保證伺服器無法解密視頻。
  3. 通過 MLS 提供前向保密性和後向安全性(見定義)。
  4. 目前不隱藏敵人(假設控制伺服器和/或 FCM 通道)的事件和直播的時間。

根據 MLS 的定義:

  • 前向保密性意味著在某個時間點發送的消息在面對後來的組成員被入侵時是安全的。
  • 後向安全性意味著即使組成員在某個時間點被入侵,消息仍然是安全的。

在 Privastead 中,攝影機集線器和移動應用程序是唯一用於視頻傳輸的 MLS 組成員。這意味著如果用於加密集線器和應用程序之間視頻的密鑰被入侵,該密鑰不能用於解密任何在入侵前後發送的視頻。

Privastead 理論上支持任何 IP 攝影機(或其他具有開放接口的攝影機)。目前的原型依賴於攝影機的 RTSP 和 ONVIF 支持。前者用於從攝影機流式傳輸視頻,後者用於查詢事件。到目前為止,已經測試了以下攝影機:

  • Amcrest,型號:IP4M-1041W(在 Amazon 上的鏈接)
    • 軟體版本:V2.800.00AC006.0.R,構建日期:2023-10-27
    • WEB 版本:V3.2.1.18144
    • ONVIF 版本:21.12(V3.1.0.1207744)

支持的移動操作系統:

  • Android

測試的智能手機(操作系統版本):

  • Google Pixel 8 Pro (Android 14)

集線器的測試執行環境:

  • Ubuntu(需要 ffmpeg)

(目前)主要限制:

  • 應用程序只能與一個攝影機配對。
  • 攝影機集線器僅支持一個攝影機。
  • 攝影機集線器僅與一個應用程序實例配對。
  • 對於高分辨率和幀率的攝影機,性能可能成為瓶頸。

設置 Privastead 的說明,請參見此處。

如果您有興趣接收有關 Privastead 進展的電子郵件更新,請使用此表單註冊。

我們歡迎對該項目的貢獻。在開始貢獻之前,請通過電子郵件與我們聯繫:[email protected]

貢獻是根據 Privastead 的許可證進行的。

項目成員:

  • 項目創始人:Ardalan Amiri Sani(計算機科學博士,加州大學爾灣分校計算機安全和隱私教授)

注意:這是 Ardalan Amiri Sani 的副項目,他在業餘時間進行此項目。

免責聲明:

該項目使用加密庫/軟體。在使用之前,請檢查您所在國家的法律和法規。

功能特點

  1. 端到端加密
  2. 軟體解決方案
  3. Rust 實現
  4. 支持現有 IP 攝影機
  5. 使用 MLS 協議

使用場景

  1. 用戶在家中安裝 Privastead 攝影機集線器,並將其與現有的 IP 攝影機配對,以實現端到端加密的安全監控。
  2. 用戶在外出時使用移動應用程序接收攝影機的事件通知,並遠程查看實時視頻流。
  3. 開發者使用 Privastead 的 Rust 代碼庫進行二次開發,以擴展其功能或集成到其他系統中。
  4. 研究人員分析 Privastead 的 MLS 實現,以評估其在實際應用中的安全性和性能。
  5. 集成商將 Privastead 集成到家庭安全系統中,為客戶提供增強的隱私保護功能。

常見問題

Q:

Privastead 如何保證視頻的隱私?

A:

Privastead 使用端到端加密技術,確保只有攝影機集線器和移動應用程序可以訪問未加密的視頻,伺服器無法解密視頻。

Q:

Privastead 支持哪些類型的攝影機?

A:

Privastead 理論上支持任何 IP 攝影機,目前的原型依賴於攝影機的 RTSP 和 ONVIF 支持。

Q:

Privastead 的威脅模型是什麼?

A:

Privastead 假設運行集線器的本地機器和移動應用程序是安全的,伺服器是完全不受信任的,對 IP 攝影機做出極少的信任假設。

Q:

Privastead 提供哪些安全保證?

A:

Privastead 提供前向保密性和後向安全性,確保即使密鑰被入侵,之前的視頻仍然安全。

Q:

如何設置 Privastead?

A:

設置 Privastead 的說明,請參見此處的 HOW_TO.md 文件。

Comments (0)

相關AI工具

Shap10r | Top 4 AI Tool loading
Shap10r是一款結合Wordle™和Mastermind®元素的精彩且具挑戰性的遊戲!透過邏輯、推理和一點運氣來解決謎題。遊戲使用24種獨特的形狀-顏色組合,稱為Shaplors,您的目標是通過從網格中選擇五個Shaplors來確定答案鍵。開始時,尋找處於正確位置的Shaplors。綠色外框的Shaplors處於正確位置,黃色外框的Shaplors在答案中但位置不正確。使用Shaplors的值來幫助縮小答案鍵的範圍。追蹤您已經猜過的Shaplors以避免重複。使用排除法來排除不正確的Shaplors。當開始新遊戲時,會隨機選擇5個Shaplors來創建答案鍵。玩家有10次機會來確定答案鍵。遊戲會為每個Shaplor生成一個值,方法是將形狀值和顏色值相加。答案鍵中每個Shaplor的值會被求和。在正常模式下,Shaplors也會按值從左到右排序,從最低到最高。在困難模式下沒有排序。遊戲中有3種形狀和8種顏色,構成24個Shaplors。在正常模式下,3種形狀會隨機分配以下數字之一:10、50或100。在困難模式下,形狀會分配一個10的倍數,範圍從10到100。8種顏色會隨機分配:1、2、3、4、5、6、7或8。Shaplor的值是通過將形狀值和顏色值相加來確定的。例如,如果正方形是100,藍色是5,則藍色正方形Shaplor是100+5 = 105。您會為每個正確放置在答案鍵中的Shaplor獲得積分。分數基於Shaplor所在的行,較高的行獲得更多積分。此外,當您正確猜出答案鍵時,您會獲得獎勵。
遊戲
免費
DeepSeek-V3 - DeepSeek-V3:開源AI模型,性能媲美頂尖閉源模型 | Top 4 AI Tool loading
DeepSeek-V3 是深度求索(DeepSeek)推出的最新一代開源AI模型,基於自研的MoE(Mixture of Experts)架構,擁有671B參數,並在14.8T token的數據上進行了預訓練。該模型在多項評測中表現出色,尤其在百科知識、長文本處理、代碼生成、數學能力及中文能力方面,與全球頂尖的閉源模型如GPT-4o和Claude-3.5-Sonnet不相上下。DeepSeek-V3的生成速度提升至60 TPS,比上一代模型快了三倍,為用戶帶來更流暢的使用體驗。此外,DeepSeek-V3的API服務價格調整為每百萬輸入tokens 0.5元(緩存命中)/ 2元(緩存未命中),每百萬輸出tokens 8元,並提供45天的優惠價格體驗期。DeepSeek-V3的開源權重和本地部署支持FP8推理,並提供從FP8到BF16的轉換腳本,方便社區進行適配和拓展應用場景。DeepSeek致力於以開源精神和長期主義追求普惠AGI,未來將繼續在DeepSeek-V3基座模型上打造更多功能,並與社區分享最新探索成果。
大型語言模型 (LLMs)
按次計費
Ideogram 3.0 - 創意無限,設計無界 | Top 4 AI Tool loading
Ideogram 3.0 是一款革命性的生成媒體模型,專為提升創意設計和圖像生成而打造。無論您是專業設計師、小型企業主,還是創意愛好者,Ideogram 3.0 都能為您提供強大的工具,讓您的創意更加高效、直觀且無縫地實現。透過其先進的圖像提示對齊、寫實風格和文字渲染技術,Ideogram 3.0 在眾多文本到圖像模型中脫穎而出,成為創意設計的首選工具。無論是品牌圖形、廣告海報,還是產品攝影,Ideogram 3.0 都能在幾秒鐘內生成高質量的專業設計,大幅降低傳統設計成本。其獨特的風格參考功能讓您可以輕鬆控制生成圖像的美學風格,進一步提升創作效率。無論您是追求寫實風格,還是希望探索獨特的創意設計,Ideogram 3.0 都能滿足您的需求,成為您創意旅程中不可或缺的夥伴。
AI照片和圖像生成器
免費試用
Google Gemini 2.0 | 新一代AI模型,开启智能代理时代 | Top 4 AI Tool loading
Google Gemini 2.0 是Google DeepMind推出的新一代AI模型,專為智能時代設計。這款模型不僅具備多模態輸入與輸出能力,還能理解並執行工具使用,為開發者和用戶提供更強大的AI助手體驗。Gemini 2.0的推出標誌著AI技術進入了一個新的階段,未來將在搜索、遊戲、開發工具等多個領域發揮重要作用。Google致力於以負責任的方式推動AI技術的發展,確保安全和隱私始終是核心優先事項。
大型語言模型 (LLMs)
訂閱
Google Labs | State-of-the-art video and image generation with Veo 2 and Imagen 3 | Top 4 AI Tool loading
Google Labs 推出了最新的視頻生成模型 Veo 2 和圖像生成模型 Imagen 3,這些模型現已整合到 Google Labs 工具 VideoFX、ImageFX 和全新的實驗工具 Whisk 中。Veo 2 能夠生成高品質的視頻,具有更真實的物理效果和細膩的運動表現,而 Imagen 3 則能生成更明亮、構圖更佳的圖像,並支援多種藝術風格。Whisk 是一個新的工具,允許用戶通過圖像提示來視覺化並混合他們的想法,創造獨特的作品。
AI視頻生成器
免費試用
Monica - 全方位AI助手,個性化、快速且免費 | Top 4 AI Tool loading
Monica是一款基於尖端AI技術的個人助手,整合了OpenAI o3-mini、DeepSeek R1、GPT-4o、Claude 3.7和Gemini 2.0等多種AI模型,旨在提升您的聊天、搜索、寫作和編碼體驗。Monica提供瀏覽器擴展、桌面和移動應用,支持Chrome和Edge瀏覽器,並可通過簡單的操作快速訪問所有AI功能。Monica的核心優勢在於其高效性和便捷性,幫助用戶節省時間並提高工作效率。無論是即時總結網頁和視頻內容,還是快速生成或改進各種文本,Monica都能輕鬆應對。此外,Monica還提供強大的搜索引擎和翻譯功能,讓您享受沉浸式的雙語閱讀體驗。Monica還支持圖像生成和藝術創作,將您的想像力轉化為令人驚嘆的視覺作品。Monica的智能工具欄和寫作助手功能,讓您在任何網頁上都能輕鬆解釋、翻譯或總結選定文本。Monica還專為專業人士設計,提供市場情報導航、戰略思維伴侶、智能文檔分析器等功能,幫助您解決複雜的業務挑戰。Monica已獲得全球1000萬用戶的信任,並在Chrome商店和Product Hunt上獲得高分評價。立即體驗Monica,釋放您的潛力!
AI生產力工具
免費試用
Ollama - 快速啟動大型語言模型,輕鬆自訂與創建 | Top 4 AI Tool loading
Ollama 是一個專為開發者和技術愛好者設計的平台,旨在讓使用者能夠快速啟動並運行各種大型語言模型(LLM),如 Llama 3.3、Phi 3、Mistral 和 Gemma 2 等。Ollama 提供了簡單易用的工具,讓使用者能夠輕鬆下載、安裝並運行這些模型,同時還支持自訂和創建專屬的模型。無論您是機器學習領域的新手還是經驗豐富的開發者,Ollama 都能為您提供強大的支持,幫助您快速實現各種自然語言處理任務。 Ollama 的目標是降低使用大型語言模型的門檻,讓更多人能夠輕鬆接觸並應用這些先進的技術。通過提供跨平台支持(macOS、Linux 和 Windows),Ollama 確保無論您使用哪種操作系統,都能享受到一致的優質體驗。此外,Ollama 還提供了豐富的文檔和社區支持,包括 Discord、GitHub 和 Meetups 等資源,讓使用者能夠隨時獲取幫助並與其他開發者交流。 Ollama 的核心功能包括模型的下載與運行、自訂模型的創建、跨平台支持以及豐富的社區資源。這些功能使得 Ollama 成為開發者和技術愛好者的理想選擇,無論是進行學術研究、開發商業應用,還是僅僅出於興趣探索大型語言模型的潛力,Ollama 都能滿足您的需求。
大型語言模型 (LLMs)
免費試用
Wan AI - 免費線上Wan 2.1 AI影片生成器 | Top 4 AI Tool loading
Wan 2.1是由阿里巴巴開發的開源大型影片生成AI模型,支援文字轉影片(T2V)和圖片轉影片(I2V)生成,讓使用者能夠輕鬆從簡單的輸入創建高品質的影片。Wan 2.1 AI模型現已完全開源,提供高效、便捷的影片生成解決方案。無論是複雜的動作、真實的物理模擬,還是電影級別的視覺效果,Wan 2.1都能滿足您的需求。此外,Wan 2.1還提供多種LoRA特效,如壓縮、肌肉、膨脹和壓碎效果,進一步增強影片的創意表現力。Wan 2.1的目標是讓每個人都能輕鬆創建專業級別的影片,無需複雜的影片編輯經驗。
AI視頻生成器
免費

常見問題

貓貓魚 AI工具窩是什麽?

貓貓魚 AI工具窩 - top4ai.com正在建立壹個AI工具目錄,幫助您獲取您喜愛的AI工具。您可以在這裏找到AI寫作工具、AI營銷工具、AI改寫工具、AI SEO工具、AI學習工具、AI生成工具、AI研究工具、AI藝術工具、AI音樂工具、AI視頻工具、AI編碼工具、AI圖片工具等等。

如何在 貓貓魚 AI工具窩中找到您的AI工具?

1. 打開top4ai.com。

2. 浏覽 貓貓魚 AI工具窩中的AI工具。

3. 單擊您需要的AI工具,查看詳情並訪問它。

貓貓魚 AI工具窩的主要功能是什麽?

1. 探索AI工具的簡單定義,並了解如何快速找到滿足你需求的完美工具。利用合適的AI解決方案,簡化你的工作流程。

2. 智能搜索引擎:想你所想,為你省時,為你省事

向 貓貓魚 AI工具窩提交AI工具是免費的嗎?

是的,目前是免費的。

貓貓魚 AI工具窩支持哪些AI工具類別?

我們將在稍後支持所有類型的AI工具。請稍等幾天。

貓貓魚 AI工具窩中AI工具的更新頻率是多少?

AI工具列表將每天更新。

這裏支持GPT-4o或Sora AI嗎?

您可以在這裏獲取GPT-4o或Sora AI工具。這裏有GPT-4o和Sora視頻的介紹,您可以訪問工具的網站。

故障排除

如果內容沒有出現,請嘗試使用其他浏覽器,清除緩存。如果問題仍然存在,請聯系我們:[email protected] | [email protected]

AI工具的使用權是什麽?

貓貓魚 AI工具窩只是AI工具的目錄。AI工具的使用權基于AI工具的網站。