fix(coprocessor): useblock hash to identify transaction

fixes a bug where 2 transactions are swapped during a reorg
while keeping the same tx id

the 4 tx (2 are reorged out) are merged and create a cycle

Author: rudy-6-4

coprocessor/fhevm-engine/.sqlx/query-7d2b6f2d8d54967820ba63bb3e30a1cf15755280e85b0de61e234f192c55f736.json renamed to coprocessor/fhevm-engine/.sqlx/query-115ec550898fa40120d189ed0cfc8be9974bdb307d4e996f73f54f221679aa37.json

@@ -0,0 +1,13 @@
+ALTER TABLE computations
+  ADD COLUMN IF NOT EXISTS block_hash BYTEA NOT NULL DEFAULT '\x00'::BYTEA,
+  ADD COLUMN IF NOT EXISTS block_number BIGINT NOT NULL DEFAULT 0;
+
+ALTER TABLE computations ALTER COLUMN block_hash DROP DEFAULT;
+ALTER TABLE computations ALTER COLUMN block_number DROP DEFAULT;
+
+-- fully identify a host chain transaction
+CREATE INDEX IF NOT EXISTS idx_computations_transaction
+  ON computations (transaction_id, block_hash);
+
+-- For next release
+-- DROP INDEX IF EXISTS idx_computations_transaction_id;

coprocessor/fhevm-engine/.sqlx/query-eda7c952325475562fbe1d1a5793ac82366742c1618f83dfd6b4da5db9492544.json renamed to coprocessor/fhevm-engine/.sqlx/query-2aa6fdc1668ddc3df9c4018132d2feb9b1482a43e257753fad5bb273cc903c18.json

@@ -938,6 +938,7 @@ async fn db_insert_block_no_retry(
                     is_allowed: false, // updated in the next loop
                     block_number,
                     block_timestamp,
+                    block_hash,
                 };
                 tfhe_event_log.push(log);
                 continue;

coprocessor/fhevm-engine/.sqlx/query-d2c41e11542e699b630686e6ff18afa7ddee4d90bf8a26e66dd4a6582d5accca.json renamed to coprocessor/fhevm-engine/.sqlx/query-48ee8cd6aae8cb76e2b96496ca686e1c31097837aa8bb0a1b152bf7d79aeefa9.json

@@ -29,6 +29,7 @@ use crate::contracts::TfheContract::TfheContractEvents;
 
 type CoprocessorApiKey = Uuid;
 type FheOperation = i32;
+pub type BlockHash = FixedBytes<32>;
 pub type Handle = FixedBytes<32>;
 pub type TransactionHash = FixedBytes<32>;
 pub type TenantId = i32;
@@ -88,6 +89,7 @@ pub struct LogTfhe {
     pub is_allowed: bool,
     pub block_number: u64,
     pub block_timestamp: sqlx::types::time::PrimitiveDateTime,
+    pub block_hash: BlockHash,
 }
 
 pub type Transaction<'l> = sqlx::Transaction<'l, Postgres>;
@@ -292,9 +294,11 @@ impl Database {
                 transaction_id,
                 is_allowed,
                 created_at,
-                schedule_order
+                schedule_order,
+                block_hash,
+                block_number
             )
-            VALUES ($1, $2, $3, $4, $5, $6, $7, $8, $9, $9)
+            VALUES ($1, $2, $3, $4, $5, $6, $7, $8, $9, $9, $10, $11)
             ON CONFLICT (tenant_id, output_handle, transaction_id) DO NOTHING
             "#,
             tenant_id as i32,
@@ -306,6 +310,8 @@ impl Database {
             log.transaction_hash.map(|txh| txh.to_vec()),
             log.is_allowed,
             log.block_timestamp,
+            log.block_hash.to_vec(),
+            log.block_number as i64,
         );
         query
             .execute(tx.deref_mut())