Feat: Deletion / Recovery

schemas/database/004_identities.up.sql

@@ -0,0 +1,17 @@
+-- Add the new 'id' column
+ALTER TABLE identities ADD COLUMN id BIGSERIAL;
+
+-- Set the new 'id' column as NOT NULL
+ALTER TABLE identities ALTER COLUMN id SET NOT NULL;
+
+-- Drop the unique commitment constraint to allow for 0x00 to be inserted for deletions
+ALTER TABLE identities DROP CONSTRAINT identities_commitment_key;
+
+-- Set the id to be unique
+ALTER TABLE identities ADD CONSTRAINT id_unique UNIQUE(id);
+
+-- Drop the existing primary key
+ALTER TABLE identities DROP CONSTRAINT identities_pkey;
+
+-- Set the new 'id' column as the primary key
+ALTER TABLE identities ADD PRIMARY KEY (id);

schemas/database/005_add_eligibility_timestamp.sql

@@ -0,0 +1 @@
+ALTER TABLE unprocessed_identities ADD COLUMN eligibility TIMESTAMPTZ;

schemas/database/006_deletions.sql

@@ -0,0 +1,4 @@
+CREATE TABLE deletions (
+    leaf_index    BIGINT      NOT NULL PRIMARY KEY,
+    commitment    BYTEA       NOT NULL UNIQUE
+)

schemas/database/007_recoveries.sql

@@ -0,0 +1,4 @@
+CREATE TABLE recoveries (
+    existing_commitment    BYTEA       NOT NULL UNIQUE,
+    new_commitment         BYTEA       NOT NULL UNIQUE
+)

schemas/database/008_prover_type.sql

@@ -0,0 +1,17 @@
+-- Create ENUM for prover type
+CREATE TYPE prover_enum AS ENUM('Insertion', 'Deletion');
+
+-- Add new column with the enum
+ALTER TABLE provers ADD COLUMN prover_type prover_enum;
+
+-- Update the new column, setting all existing provers as insertions
+UPDATE provers SET prover_type = 'Insertion' WHERE prover_type IS NULL;
+
+-- Make the column NOT NULL
+ALTER TABLE provers ALTER COLUMN prover_type SET NOT NULL;
+
+-- Drop batch size as the primary key
+ALTER TABLE provers DROP CONSTRAINT provers_pkey;
+
+-- Drop the url uniqueness constraint
+ALTER TABLE provers DROP CONSTRAINT  IF EXISTS  provers_url_key;

schemas/database/009_latest_deletion_root.sql

@@ -0,0 +1,6 @@
+CREATE TABLE latest_deletion_root (
+    Lock char(1)                NOT NULL DEFAULT 'X',
+    deletion_timestamp          TIMESTAMPTZ,
+    constraint PK_T1            PRIMARY KEY (Lock),
+    constraint CK_T1_Locked     CHECK (Lock='X')
+)