跳到主内容

可审计性

默认私密,按选审计。

披露是资产持有人授予的能力——范围限定、目的限定、严格只读。本页说明可以披露什么,以及一次披露永远做不到什么。

研究原型 · 无测试网 · 无主网 · 未经审计 · 非生产级隐私 · 不适合资金使用

可以披露什么

每一项都标注真实实现状态——设计意图绝不冒充已交付能力。

单笔交易

向指定对象证明指定的一笔交易(TDC),发送方与接收方角色分离。

原型 · 客户端

资金下界

不暴露历史地证明至少持有某个数额(ADC 下界档)。

部分原型

指定时间范围

按时间段限定的披露——研究中,尚未实现。

研究中

指定资产

按资产限定的可见性——研究中,尚未实现。

研究中

指定交易对手

按交易对手限定的可见性——研究中,尚未实现。

研究中

一次披露永远做不到什么

以下是披露模型的设计不变量,持续测试中——尚非已审计保证。

  • 不能花费资金
  • 不能修改记录
  • 不能没收资产
  • 不能授予新权限

查看权限与花费权限在构造上分离。披露是一扇窗,永远不是一只手。