跳至主要內容

可審計性

預設私密,按選審計。

披露是資產持有人授予的能力——範圍限定、目的限定、嚴格唯讀。本頁說明可以披露什麼,以及一次披露永遠做不到什麼。

研究原型 · 無測試網 · 無主網 · 未經審計 · 非生產級隱私 · 不適合資金使用

可以披露什麼

每一項都標註真實實作狀態——設計意圖絕不冒充已交付能力。

單筆交易

向指定對象證明指定的一筆交易(TDC),傳送方與接收方角色分離。

原型 · 用戶端

資金下界

不暴露歷史地證明至少持有某個數額(ADC 下界檔)。

部分原型

指定時間範圍

按時間段限定的披露——研究中,尚未實作。

研究中

指定資產

按資產限定的可見性——研究中,尚未實作。

研究中

指定交易對手

按交易對手限定的可見性——研究中,尚未實作。

研究中

一次披露永遠做不到什麼

以下是披露模型的設計不變量,持續測試中——尚非已審計保證。

  • 不能花費資金
  • 不能修改記錄
  • 不能沒收資產
  • 不能授予新權限

檢視權限與花費權限在構造上分離。披露是一扇窗,永遠不是一隻手。