零知識證明服務系統
外包計算也稱為委託計算，是一種客戶機-伺服器的服務模式，它允許客戶將函式計算過程交付給伺服器，而客戶自身僅產生待計算變數及接收返回的計算結果。這種模式對終端計算能力要求低，使其可以完成對複雜計算問題的處理。因此外包計算不但使計算資源得到更加充分的利用，同時也促進了移動便攜裝置的發展。但由於計算過程外包於網路伺服器，所以如何保證計算被正確地執行，同時滿足驗證效率要優於計算效率，即實現高效的可驗證外包計算成為保障網路資訊保安研究領域的熱點之一。
零知識證明
零知識證明的概念並非全新，於20世紀80年代初由麻省理工學院研究人員S.Goldwasser、S.Micali及C.Rackoff提出。零知識證明指的是證明者能夠在不向驗證者提供任何有用的資訊的情況下，使驗證者相信某個論斷是正確的。簡單來說，Ben Fisch指出，零知識證明是一種技術，可證明使論述為真的證據的存在，而不用暴露證據本身，例如，人們可以證明自己擁有符合審計的證據，而不需要披露證據本身的細節。
系統特性
本軟體具備以下特性：
- 零知識證明資訊
伺服器端完成零知識證明計算，提供零知識證明資訊。
- 零知識證明介面
- 可插拔證明模組
- 動態庫呼叫
系統功能
本軟體功能需求包括：
- 零知識證明
- 客戶端和伺服器端能夠正確的通訊
- 對於大檔案，伺服器端能夠正確的進行零知識證明
- 對於小檔案，伺服器端能夠正確的進行零知識證明
- 零知識驗證
- 對於正確的證明，客戶端能夠驗證透過
- 對於錯誤的證明，客戶端能夠驗證失敗
- 對於超時的證明，客戶端能夠驗證失敗
- 併發多工排程
- 服務端能夠滿足客戶端同時發起多個證明請求
系統架構：
系統結構採用簡單的客戶端伺服器模型，但是部署方式非常靈活。可以採用單級和多級混合的方式部署。比如客戶端可以是filecoin客戶端節點，也可以是礦池節點。另外，也可以給其他非filecoin客戶節點，比如zcash區塊鏈的客戶端節點，但是需要採用本軟體的SDK庫。
子系統介紹
- 客戶端子系統
客戶端子系統的主要操作如下：
- 傳送儲存資料
- 接收零知識證明
- 驗證零知識證明
- 伺服器端子系統
伺服器端子系統也成為零知識證明子系統，主要操作如下：
- 儲存客戶端傳送的資料
- 執行零知識證明計算
- 提供零知識證明
