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)
按次計費
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視頻生成器
免費試用
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)
免費試用
Battle of the Bots: AI Trading Arena - AI交易競技場:見證頂尖AI模型的市場對決 | Top 4 AI Tool loading
《Battle of the Bots: AI Trading Arena》是一個創新的AI交易競技平台,讓三款頂尖AI模型(GPT-4o、Gemini 1.5 Pro和Claude 3.5 Sonnet)在真實市場中進行交易對決。每天早晨6:30 AM PST,這些AI模型會分析最新的市場新聞和趨勢,並各自推薦一支股票進行交易。平台會自動執行這些交易,並實時追蹤每款AI的表現,包括利潤、勝率和整體成功率。 這個平台不僅為投資者提供了一個觀察AI交易策略的機會,還能幫助他們了解AI在金融市場中的應用潛力。無論是對AI技術感興趣的科技愛好者,還是希望提升投資策略的專業投資者,都能從中獲得啟發。 平台的設計注重透明度和互動性,用戶可以查看每筆交易的詳細分析,包括AI的決策依據和市場預測。此外,平台還提供每日交易摘要、績效指標和利潤分析,讓用戶能夠深入了解AI模型的表現。 《Battle of the Bots: AI Trading Arena》不僅是一個展示AI技術的平台,更是一個教育工具,幫助用戶理解AI在金融領域的應用和潛力。無論你是AI愛好者還是投資新手,這個平台都能為你提供獨特的價值。
AI交易機器人助手
免費
Voice-Pro | Top 4 AI Tool loading
Voice-Pro 是一款功能強大的 Gradio WebUI,專為音頻處理而設計,由 Whisper 引擎(Whisper、Faster-Whisper、Whisper-Timestamped)提供支持。它提供了語音變換器、零樣本語音克隆(E2、F5-TTS)、YouTube 下載、人聲隔離(UVR5)、文本轉語音(Edge-TTS)和多語言翻譯等功能。非常適合內容創作者和開發者使用。Voice-Pro 的目標是為台灣的用戶提供一個高效、易用的音頻處理平台,幫助他們在創作和開發過程中節省時間和精力。無論是製作播客、翻譯視頻字幕,還是進行語音克隆,Voice-Pro 都能提供強大的支持。
AI語音合成
免費試用
Imagen 3 - Google DeepMind - 最高品質的文字轉圖像模型 | Top 4 AI Tool loading
Imagen 3 是 Google DeepMind 開發的最新文字轉圖像模型,以其卓越的圖像生成能力而聞名。該模型能夠根據用戶的文字描述生成高品質的圖像,並在細節、光影效果和藝術風格上達到前所未有的水準。Imagen 3 不僅能夠生成逼真的照片,還能模擬多種藝術風格,如印象派、抽象藝術和動漫風格。其強大的提示理解能力使得用戶無需複雜的提示工程即可獲得理想的圖像輸出。此外,Imagen 3 還具備卓越的文字渲染能力,適用於生日卡片、簡報等多種場景。Google DeepMind 在開發過程中特別注重安全性和隱私保護,採用了 SynthID 技術來標記 AI 生成的圖像,確保其可追溯性。Imagen 3 的推出標誌著 AI 圖像生成技術的重大突破,為創意產業、教育、娛樂等多個領域提供了強大的工具。
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工具的網站。