可審計性
預設私密,按選審計。
披露是資產持有人授予的能力——範圍限定、目的限定、嚴格唯讀。本頁說明可以披露什麼,以及一次披露永遠做不到什麼。
研究原型 · 無測試網 · 無主網 · 未經審計 · 非生產級隱私 · 不適合資金使用
可以披露什麼
每一項都標註真實實作狀態——設計意圖絕不冒充已交付能力。
單筆交易
向指定對象證明指定的一筆交易(TDC),傳送方與接收方角色分離。
原型 · 用戶端資金下界
不暴露歷史地證明至少持有某個數額(ADC 下界檔)。
部分原型指定時間範圍
按時間段限定的披露——研究中,尚未實作。
研究中指定資產
按資產限定的可見性——研究中,尚未實作。
研究中指定交易對手
按交易對手限定的可見性——研究中,尚未實作。
研究中一次披露永遠做不到什麼
以下是披露模型的設計不變量,持續測試中——尚非已審計保證。
- 不能花費資金
- 不能修改記錄
- 不能沒收資產
- 不能授予新權限
檢視權限與花費權限在構造上分離。披露是一扇窗,永遠不是一隻手。