aboutsummaryrefslogtreecommitdiff
path: root/src/exchangedb
diff options
context:
space:
mode:
authorÖzgür Kesim <oec-taler@kesim.org>2023-01-10 21:56:56 +0100
committerÖzgür Kesim <oec-taler@kesim.org>2023-01-10 21:56:56 +0100
commit23626c02c7cbb980c0aa46ecc9fe3b55bbb55aa4 (patch)
tree10b5c701cb485ad0ec366f7515e9c1ad68020576 /src/exchangedb
parent63e222d049da100a3cb39f938882d4852ae94f60 (diff)
added schema for withdraw with age restriction
Diffstat (limited to 'src/exchangedb')
-rw-r--r--src/exchangedb/0003-withdraw_age_commitments.sql143
-rw-r--r--src/exchangedb/0003-withdraw_age_reveals.sql109
2 files changed, 252 insertions, 0 deletions
diff --git a/src/exchangedb/0003-withdraw_age_commitments.sql b/src/exchangedb/0003-withdraw_age_commitments.sql
new file mode 100644
index 000000000..6ef118c8b
--- /dev/null
+++ b/src/exchangedb/0003-withdraw_age_commitments.sql
@@ -0,0 +1,143 @@
+--
+-- This file is part of TALER
+-- Copyright (C) 2022 Taler Systems SA
+--
+-- TALER is free software; you can redistribute it and/or modify it under the
+-- terms of the GNU General Public License as published by the Free Software
+-- Foundation; either version 3, or (at your option) any later version.
+--
+-- TALER is distributed in the hope that it will be useful, but WITHOUT ANY
+-- WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+-- A PARTICULAR PURPOSE. See the GNU General Public License for more details.
+--
+-- You should have received a copy of the GNU General Public License along with
+-- TALER; see the file COPYING. If not, see <http://www.gnu.org/licenses/>
+--
+
+CREATE FUNCTION create_table_withdraw_age_commitments(
+ IN partition_suffix VARCHAR DEFAULT NULL
+)
+RETURNS VOID
+LANGUAGE plpgsql
+AS $$
+DECLARE
+ table_name VARCHAR DEFAULT 'withdraw_age_commitments';
+BEGIN
+ PERFORM create_partitioned_table(
+ 'CREATE TABLE %I'
+ '(withdraw_age_commitment_id BIGINT GENERATED BY DEFAULT AS IDENTITY' -- UNIQUE'
+ ',h_commitment BYTEA PRIMARY KEY CHECK (LENGTH(h_commitment)=64)'
+ ',amount_with_fee_val INT8 NOT NULL'
+ ',amount_with_fee_frac INT4 NOT NULL'
+ ',noreveal_index INT4 NOT NULL'
+ ',reserve_uuid INT8 NOT NULL' -- TODO: can here be the foreign key reference?
+ ',reserve_sig BYTEA CHECK (LENGTH(reserve_sig)=64)'
+ ',timestamp INT8 NOT NULL'
+ ') %s ;'
+ ,table_name
+ ,'PARTITION BY HASH (reserve_uuid)' -- TODO: does that make sense?
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_table(
+ 'Commitments made when withdrawing coins with age restriction and the gamma value chosen by the exchange.'
+ ,table_name
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_column(
+ 'The gamma value chosen by the exchange in the cut-and-choose protocol'
+ ,'noreveal_index'
+ ,table_name
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_column(
+ 'Commitment made by the client, hash over the various client inputs in the cut-and-choose protocol'
+ ,'h_commitment'
+ ,table_name
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_column(
+ 'Reference to the reserve from which the coins are goin to be withdrawn'
+ ,'reserve_uuid'
+ ,table_name
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_column(
+ 'Signature of the reserve''s private key over the withdraw-age request'
+ ,'reserve_sig'
+ ,table_name
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_column(
+ 'Timestamp of when the withdraw-age resquest was received by the exchange'
+ ,'timestamp'
+ ,table_name
+ ,partition_suffix
+ );
+END
+$$;
+
+
+CREATE FUNCTION constrain_table_withdraw_age_commitments(
+ IN partition_suffix VARCHAR
+)
+RETURNS void
+LANGUAGE plpgsql
+AS $$
+DECLARE
+ table_name VARCHAR DEFAULT 'withdraw_age_commitments';
+BEGIN
+ table_name = concat_ws('_', table_name, partition_suffix);
+
+ EXECUTE FORMAT (
+ 'CREATE INDEX ' || table_name || '_by_reserve_uuid'
+ ' ON ' || table_name ||
+ ' (reserve_uuid);'
+ );
+ EXECUTE FORMAT (
+ 'ALTER TABLE ' || table_name ||
+ ' ADD CONSTRAINT ' || table_name || '_withdraw_age_commitment_id_key'
+ ' UNIQUE (withdraw_age_commitment_id)'
+ );
+END
+$$;
+
+
+CREATE FUNCTION foreign_table_withdraw_age_commitments()
+RETURNS void
+LANGUAGE plpgsql
+AS $$
+DECLARE
+ table_name VARCHAR DEFAULT 'withdraw_age_commitments';
+BEGIN
+ EXECUTE FORMAT (
+ 'ALTER TABLE ' || table_name ||
+ ' ADD CONSTRAINT ' || table_name || '_foreign_reserve_uuid'
+ ' FOREIGN KEY (reserve_uuid) '
+ ' REFERENCES reserves (reserve_uuid) ON DELETE CASCADE'
+ );
+END
+$$;
+
+
+INSERT INTO exchange_tables
+ (name
+ ,version
+ ,action
+ ,partitioned
+ ,by_range)
+ VALUES
+ ('withdraw_age_commitments'
+ ,'exchange-0003'
+ ,'create'
+ ,TRUE
+ ,FALSE),
+ ('withdraw_age_commitments'
+ ,'exchange-0003'
+ ,'constrain'
+ ,TRUE
+ ,FALSE),
+ ('withdraw_age_commitments'
+ ,'exchange-0003'
+ ,'foreign'
+ ,TRUE
+ ,FALSE);
diff --git a/src/exchangedb/0003-withdraw_age_reveals.sql b/src/exchangedb/0003-withdraw_age_reveals.sql
new file mode 100644
index 000000000..9e421c9bf
--- /dev/null
+++ b/src/exchangedb/0003-withdraw_age_reveals.sql
@@ -0,0 +1,109 @@
+--
+-- This file is part of TALER
+-- Copyright (C) 2022 Taler Systems SA
+--
+-- TALER is free software; you can redistribute it and/or modify it under the
+-- terms of the GNU General Public License as published by the Free Software
+-- Foundation; either version 3, or (at your option) any later version.
+--
+-- TALER is distributed in the hope that it will be useful, but WITHOUT ANY
+-- WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+-- A PARTICULAR PURPOSE. See the GNU General Public License for more details.
+--
+-- You should have received a copy of the GNU General Public License along with
+-- TALER; see the file COPYING. If not, see <http://www.gnu.org/licenses/>
+--
+
+CREATE FUNCTION create_table_withdraw_age_reveals(
+ IN partition_suffix VARCHAR DEFAULT NULL
+)
+RETURNS VOID
+LANGUAGE plpgsql
+AS $$
+DECLARE
+ table_name VARCHAR DEFAULT 'withdraw_age_reveals';
+BEGIN
+ PERFORM create_partitioned_table(
+ 'CREATE TABLE %I'
+ '(withdraw_age_commitments_id INT8 NOT NULL' -- TODO: can here be the foreign key reference?
+ ',freshcoin_index INT4 NOT NULL'
+ ',denominations_serial INT8 NOT NULL' -- TODO: can here be the foreign key reference?
+ ',h_coin_ev BYTEA CHECK (LENGTH(h_coin_ev)=32)'
+ ') %s ;'
+ ,table_name
+ ,'PARTITION BY HASH (withdraw_age_commitments_id)' -- TODO: does that make sense?
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_table(
+ 'Reveal of proofs of the correct age restriction after the commitment when withdrawing coins with age restriction'
+ ,table_name
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_column(
+ 'Foreign key reference to the corresponding commitment'
+ ,'withdraw_age_commitments_id'
+ ,table_name
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_column(
+ 'Index of the coin in the withdraw-age request, which is implicitly a batch request'
+ ,'freshcoin_index'
+ ,table_name
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_column(
+ 'Foreign key reference to the denominations'
+ ,'denominations_serial'
+ ,table_name
+ ,partition_suffix
+ );
+ PERFORM comment_partitioned_column(
+ 'Hash of the blinded coins'
+ ,'h_coin_ev'
+ ,table_name
+ ,partition_suffix
+ );
+END
+$$;
+
+
+CREATE FUNCTION foreign_table_withdraw_age_reveals()
+RETURNS void
+LANGUAGE plpgsql
+AS $$
+DECLARE
+ table_name VARCHAR DEFAULT 'withdraw_age_reveals';
+BEGIN
+ EXECUTE FORMAT (
+ 'ALTER TABLE ' || table_name ||
+ ' ADD CONSTRAINT ' || table_name || '_foreign_withdraw_age_commitment_id'
+ ' FOREIGN KEY (withdraw_age_commitments_id) '
+ ' REFERENCES withdraw_age_commitments (withdraw_age_commitment_id) ON DELETE CASCADE'
+ );
+ EXECUTE FORMAT (
+ 'ALTER TABLE ' || table_name ||
+ ' ADD CONSTRAINT ' || table_name || '_foreign_denominations_serial'
+ ' FOREIGN KEY (denominations_serial) '
+ ' REFERENCES denominations (denominations_serial) ON DELETE CASCADE'
+ );
+END
+$$;
+
+
+INSERT INTO exchange_tables
+ (name
+ ,version
+ ,action
+ ,partitioned
+ ,by_range)
+ VALUES
+ ('withdraw_age_reveals'
+ ,'exchange-0003'
+ ,'create'
+ ,TRUE
+ ,FALSE),
+ ('withdraw_age_reveals'
+ ,'exchange-0003'
+ ,'foreign'
+ ,TRUE
+ ,FALSE);