可审计性
默认私密,按选审计。
披露是资产持有人授予的能力——范围限定、目的限定、严格只读。本页说明可以披露什么,以及一次披露永远做不到什么。
研究原型 · 无测试网 · 无主网 · 未经审计 · 非生产级隐私 · 不适合资金使用
可以披露什么
每一项都标注真实实现状态——设计意图绝不冒充已交付能力。
单笔交易
向指定对象证明指定的一笔交易(TDC),发送方与接收方角色分离。
原型 · 客户端资金下界
不暴露历史地证明至少持有某个数额(ADC 下界档)。
部分原型指定时间范围
按时间段限定的披露——研究中,尚未实现。
研究中指定资产
按资产限定的可见性——研究中,尚未实现。
研究中指定交易对手
按交易对手限定的可见性——研究中,尚未实现。
研究中一次披露永远做不到什么
以下是披露模型的设计不变量,持续测试中——尚非已审计保证。
- 不能花费资金
- 不能修改记录
- 不能没收资产
- 不能授予新权限
查看权限与花费权限在构造上分离。披露是一扇窗,永远不是一只手。