taler-docs

Documentation for GNU Taler components, APIs and protocols
Log | Files | Refs | README | LICENSE

022-wallet-auditor-reports.rst (1341B)


      1 DD 22: Wallet Proofs to Auditor
      2 ###############################
      3 
      4 .. note::
      5 
      6    Status (2021-05-25): Writing in progress.
      7 
      8 
      9 Summary
     10 =======
     11 
     12 This design document defines the structure and contents of proofs
     13 of misbehavior that the wallet sends to auditors.
     14 
     15 Motivation
     16 ==========
     17 
     18 There are some situations where the wallet learns that some entity did
     19 something against the protocol specification.  When the wallet has
     20 cryptographic proof for this, this proof should be stored in the database and
     21 eventually be exportable to auditors, courts, etc.
     22 
     23 Requirements
     24 ============
     25 
     26 * Users should be able to review all the information that
     27   a misbehavior proof would reveal.
     28 
     29 Proposed Solution
     30 =================
     31 
     32 Types of Misbehavior
     33 --------------------
     34 
     35 This section collects all types of misbehavior for which the wallet
     36 can export cryptographic proof.
     37 
     38 * ``exchange-denomination-spec-inconsistent``
     39 
     40   An exchange has announced a denomination with the same
     41   denomination public key, but different metadata (value, expiration)
     42 
     43 * ``exchange-denomination-gone``
     44 
     45   The exchange is not accepting/listing a denomination
     46   anymore that it previously listed.
     47 
     48 
     49 Discussion / Q&A
     50 ================
     51 
     52 * What about complaints to the auditor that do not contain
     53   cryptographic proof?  (e.g. "exchange XYZ has not been responding
     54   for the last 14 days")