taler-docs

commit a70a9c50201bfaab4daed1ea51e7166d9cf5ec8c
parent a92fc59ad4b008a79203f30f92f64195fb47d3ed
Author: Özgür Kesim <oec-taler@kesim.org>
Date:   Sat, 12 Apr 2025 12:01:08 +0200

[dd:pq-refresh] refine parameter

Diffstat:
M
design-documents/062-pq-refresh.rst
 | 
13
++++++-------

1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/design-documents/062-pq-refresh.rst b/design-documents/062-pq-refresh.rst
@@ -3,9 +3,9 @@ DD 62: PQ Refresh Protocol
 
 Summary
 =======
-This document specifies an extension to GNU Taler's refresh protocol that
-provides post-quantum resistance through hash-based cryptography and
-deterministic signatures, eliminating reliance on Diffie-Hellman operations.
+This document specifies a change to GNU Taler's refresh protocol that provides
+post-quantum resistance through hash-based cryptography and deterministic
+signatures, eliminating reliance on Diffie-Hellman operations.
 
 Motivation
 ==========
@@ -167,7 +167,7 @@ Modified melt request structure:
 
        // Array of ``n`` entries with ``kappa`` many blinded coin candidates,
        // matching the respective entries in ``denoms_h``.
-       coin_evs: PQCoinEnvelope[][kappa];
+       coin_evs: PQEnvelope[][kappa];
 
        // Signature by the `coin <coin-priv>` over `TALER_MeltCommitmentPS`.
        confirm_sig: EddsaSignature;
@@ -179,10 +179,9 @@ The new `PQCoinEnvelope` is defined as follows:
 .. ts:def:: PQCoinEnvelope
 
    // TODO
-   interface PQCoinEnvelope {
-     cipher: "PQ";
+   interface PQEnvelope {
      X: string;
-     m: string;
+     m: CoinEnvelope;
    }
 
 Security Analysis