From 23626c02c7cbb980c0aa46ecc9fe3b55bbb55aa4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=96zg=C3=BCr=20Kesim?= Date: Tue, 10 Jan 2023 21:56:56 +0100 Subject: [PATCH] added schema for withdraw with age restriction --- .../0003-withdraw_age_commitments.sql | 143 ++++++++++++++++++ src/exchangedb/0003-withdraw_age_reveals.sql | 109 +++++++++++++ 2 files changed, 252 insertions(+) create mode 100644 src/exchangedb/0003-withdraw_age_commitments.sql create mode 100644 src/exchangedb/0003-withdraw_age_reveals.sql 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 +-- + +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 +-- + +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);