Verifica valori impegno Pedersen

Oracle Blockchain Platform Digital Assets Edition utilizza gli impegni di Pedersen per garantire segretezza e immutabilità. Le seguenti API possono aiutare a verificare gli impegni di Pedersen rispetto ai valori di testo grezzo effettivi.

In Oracle Blockchain Platform, i dati possono essere resi persistenti nel rich history database collegandosi a Oracle Database. I conti e le transazioni, che vengono memorizzati come coppie chiave/valore nel database di stato, possono essere tracciati nel tempo nel ricco database di cronologia. In modalità riservata, sia i conti che le transazioni vengono memorizzati in due parti, private e pubbliche, nella tabella della cronologia nel database della cronologia ricca.

Tutti i dati, sia pubblici che privati per l'organizzazione, sono disponibili nella tabella di cronologia del database di storia ricca. Il nome della tabella utilizza il seguente formato: <obp_instance_name>_<channel_name>_hist. Ad esempio, CentralBank_default_hist.

Dati degli account pubblici (database di stato)
  • Memorizzato sotto l'ID codice concatenato: <chaincode_name>
  • Accessibile a tutti i partecipanti alla rete
  • Proprietà dell'account generale come org_id, token_name, balance/onhold_balance (come impegni di Pedersen) e altri metadati non riservati
Dati account privati (raccolta dati privati)
  • Memorizzato con l'ID codice concatenato: <chaincode_name>$$_implicit_org_<Oracle_Blockchain_Platform_instance_name>
  • Accessibile solo all'organizzazione proprietaria della raccolta dati privata
  • Campi riservati quali balance/onhold_balance (valori raw), balanceBlindingFactor, onHoldBalanceBlindingFactor e limiti giornalieri
Dati delle transazioni pubbliche (database di stato)
  • Memorizzato sotto l'ID codice concatenato: <chaincode_name>
  • Accessibile a tutti i partecipanti alla rete
  • Proprietà generali del conto, come gli ID del conto del mittente e del destinatario, from_account_balance/from_account_onhold_balance/to_account_balance/to_account_onhold_balance/gli importi delle transazioni (come impegni di Pedersen) e altri metadati non riservati
Dati transazione privata (raccolta dati privati)
  • Memorizzato con l'ID codice concatenato: <chaincode_name>$$_implicit_org_<Oracle_Blockchain_Platform_instance_name>
  • Accessibile solo all'organizzazione proprietaria della raccolta dati privata
  • Campi riservati quali from_account_balance/from_account_onhold_balance/to_account_balance/to_account_onhold_balance/importi transazione (valori raw) e fattori di accecamento corrispondenti

API Impegno Pedersen

È possibile utilizzare le seguenti API, che sono incluse nel file controller del codice concatenato, per verificare e lavorare con gli impegni di Pedersen.

generateCommitment
Questo metodo genera un impegno Pedersen per un valore e un fattore accecante specificati. Questo metodo può essere chiamato solo da un Token Admin o Org Admin.
@Validator(yup.string(), yup.string())
 public async generateCommitment(value: string, blinding_factor: string) {
   await this.Ctx.Auth.checkAuthorization("ACCOUNT.processSendersAndReceivers", "TOKEN");
   const result = await this.Ctx.PedersonCommitments.generateCommitment(value, blinding_factor);
   return result;
 }
Parametri:
  • value: string – Il valore numerico per cui generare l'impegno Pedersen.
  • blinding_factor: string – Il numero casuale utilizzato per generare l'impegno Pedersen.
Restituisce:
  • Un valore hash, che è l'impegno Pedersen per il valore specificato e il fattore di accecamento.
Esempio di valore restituito:
"0212f6b676da244eee000a9106060cf3a3a4bb5a9b61be23dd467e557156c40be8"
addCommitment
Questo metodo aggiunge due valori hash di impegno Pedersen specificati. Poiché gli impegni di Pedersen sono omomorfici, supportano l'esecuzione di operazioni matematiche come addizione e sottrazione sugli impegni, preservando al contempo le relazioni tra i valori sottostanti. Questo metodo può essere chiamato solo da un Token Admin o Org Admin.
@Validator(yup.string(), yup.string())
 public async addCommitment(value1: string, value2: string) {
  await this.Ctx.Auth.checkAuthorization("ACCOUNT.processSendersAndReceivers", "TOKEN");
  const result = await this.Ctx.PedersonCommitments.add(value1, value2);
  return result;
 }
Parametri:
  • value1: string – Il primo valore hash dell'impegno Pedersen da aggiungere.
  • value2: string – Il secondo valore hash dell'impegno Pedersen da aggiungere.
Restituisce:
  • Un valore hash, che è l'impegno Pedersen per la somma dei due valori di impegno Pedersen specificati.
Esempio di valore restituito:
"03a9c138b76e7d56f799108a46f665f53a42f55008b31e0fec071019aa5c37344a"
subCommitment
Questo metodo sottrae il secondo valore hash dell'impegno Pedersen specificato dal primo. Poiché gli impegni di Pedersen sono omomorfici, supportano l'esecuzione di operazioni matematiche come addizione e sottrazione sugli impegni, preservando al contempo le relazioni tra i valori sottostanti. Questo metodo può essere chiamato solo da un Token Admin o Org Admin.
@Validator(yup.string(), yup.string())
 public async subCommitment(value1: string, value2: string) {
  await this.Ctx.Auth.checkAuthorization("ACCOUNT.processSendersAndReceivers", "TOKEN");
  const result = await this.Ctx.PedersonCommitments.sub(value1, value2);
  return result;
 }
Parametri:
  • value1: string – Il primo valore hash dell'impegno Pedersen nella sottrazione (il minuendo).
  • value2: string – Il secondo valore hash dell'impegno Pedersen per sottrarre dal primo (il subtrahend).
Restituisce:
  • Un valore hash, che è l'impegno di Pedersen per la differenza dei due valori di impegno di Pedersen specificati.
Esempio di valore restituito:
"0212f6b676da244eee000a9106060cf3a3a4bb5a9b61be23dd467e557156c40be8"

Verifica dei saldi contabili e in sospeso

  1. Utilizzare la seguente query per ottenere l'impegno Pedersen del saldo, che è dati pubblici.
    SELECT JSON_VALUE(h."VALUEJSON", '$.balance') AS balance_commitment
    FROM "<OBP_instance_name>_<channel>_hist" h
    WHERE h."CHAINCODEID" = '<chaincode_name>'
      AND h."KEY" = '<account_id>'
    ORDER BY h."BLOCKNO" DESC, h."TXNNO" DESC
    FETCH FIRST 1 ROW ONLY;
    Query di esempio:
    SELECT JSON_VALUE(h."VALUEJSON", '$.balance') AS balance_commitment
    FROM "CentralBank_default_hist" h
    WHERE h."CHAINCODEID" = 'testChaincode'
      AND h."KEY" = 'oaccount~07e1c67205520da256f6edfbe9d1cb763cf13d29a3ec870137251a1344feab84'
    ORDER BY h."BLOCKNO" DESC, h."TXNNO" DESC
    FETCH FIRST 1 ROW ONLY;
    Risposta di esempio balance_commitment:
    03977a92a07c00234270d41097a35ed2050bcdef02d3908a9a3cc733951b4171dd
  2. Utilizzare la query seguente per ottenere il saldo e il fattore di accecamento dalla raccolta dati privata.
    SELECT 
        JSON_VALUE(h."VALUEJSON", '$.balance') AS balance,
        JSON_VALUE(h."VALUEJSON", '$.balanceBlindingFactor') AS blinding_factor
    FROM "<OBP_instance_name>_<channel>_hist" h
    WHERE h."CHAINCODEID" = '<chaincode_name>$$_implicit_org_<OBP_instance_name>'
      AND h."KEY" = '<account_id>'
    ORDER BY h."BLOCKNO" DESC, h."TXNNO" DESC
    FETCH FIRST 1 ROW ONLY;
    Query di esempio:
    SELECT
        JSON_VALUE(h."VALUEJSON", '$.balance') AS balance,
        JSON_VALUE(h."VALUEJSON", '$.balanceBlindingFactor') AS blinding_factor
    FROM "CentralBank_default_hist" h
    WHERE h."CHAINCODEID" = 'testChaincode$$_implicit_org_CentralBank'
      AND h."KEY" = 'oaccount~07e1c67205520da256f6edfbe9d1cb763cf13d29a3ec870137251a1344feab84'
    ORDER BY h."BLOCKNO" DESC, h."TXNNO" DESC
    FETCH FIRST 1 ROW ONLY;
    La tabella seguente mostra un esempio di risposta:
    balance blinding_factor
    100 17629824947682234000
  3. Aggiungere il metodo generateCommitment, definito in precedenza, al file del controller situato nella cartella src (src/controller/<Chaincode_name>.controller.ts).
    Esempio:
    @Validator(yup.string(), yup.string()) 
    public async generateCommitment(value: string, bf: string) {
        await this. Ctx.Auth.checkAuthorization("ACCOUNT.processSendersAndReceivers", "TOKEN"); 
        const result = await this.Ctx.PedersonCommitments.generateCommitment(value, bf); 
        return result;
    }	
  4. Passare i valori balance (come value) e blinding_factor (come blinding_factor) dal secondo passo al metodo generateCommitment.
    Esempio:
    balance_commitment from step 1 :03977a92a07c00234270d41097a35ed2050bcdef02d3908a9a3cc733951b4171dd
    balance from step 2 : 100
    blinding_factor from step 2 : 17629824947682234000
     
    Invoke the method generateCommitment("100", "875628364246182")
    Response: "0212f6b676da244eee000a9106060cf3a3a4bb5a9b61be23dd467e557156c40be8"
  5. Verificare che il valore balance_commitment del primo passo corrisponda all'output del metodo generateCommitment.
    Esempio:
    balance_commitment from step 1 :03977a92a07c00234270d41097a35ed2050bcdef02d3908a9a3cc733951b4171dd
    Response From Step 4: "03977a92a07c00234270d41097a35ed2050bcdef02d3908a9a3cc733951b4171dd"
     
    balance_commitment from step 1 must equal the generateCommitment response from step 4
    LHS = RHS
    
    This verifies that the Pederson commitment is correct against the raw balance and blindingFactor
  6. Per verificare un saldo in sospeso, ripetere questi passaggi per l'impegno onhold_balance Pedersen e per i valori onhold_balance e onHoldBalanceBlindingFactor.

Verifica delle quantità delle transazioni

  1. Utilizzare la seguente query per ottenere l'impegno Pedersen della quantità, che è dati pubblici.
    SELECT JSON_VALUE(h."VALUEJSON", '$.amount') AS quantity_commitment
    FROM "<OBP_instance_name>_<channel>_hist" h
    WHERE h."CHAINCODEID" = '<chaincode_name>'
      AND h."KEY" = '<transaction_id>'
    ORDER BY h."BLOCKNO" DESC, h."TXNNO" DESC
    FETCH FIRST 1 ROW ONLY;
    Il testo seguente mostra un'interrogazione di esempio.
    SELECT JSON_VALUE(h."VALUEJSON", '$.amount') AS quantity_commitment
    FROM "AdamsCentralBank_adams_hist" h
    WHERE h."CHAINCODEID" = 'confDev'
      AND h."KEY" = 'otransaction~d5e08934fd520554162d694476bae8521803e4bf7272e8709fe34dd3eeecbfe4'
    ORDER BY h."BLOCKNO" DESC, h."TXNNO" DESC
    FETCH FIRST 1 ROW ONLY;
    Il testo seguente mostra un esempio di risposta.
    quantity_commitment
    036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
  2. Utilizzare la query seguente per ottenere la quantità e il fattore di abbagliamento dalla raccolta dati privata.
    SELECT
        JSON_VALUE(h."VALUEJSON", '$.amount') AS quantity,
        JSON_VALUE(h."VALUEJSON", '$.blindingFactor') AS blinding_factor
    FROM "<OBP_instance_name>_<channel>_hist" h
    WHERE h."CHAINCODEID" = '<chaincode_name>$$_implicit_org_<OBP_instance_name>'
      AND h."KEY" = '<transaction_id>'
    ORDER BY h."BLOCKNO" DESC, h."TXNNO" DESC
    FETCH FIRST 1 ROW ONLY;
    Il testo seguente mostra un'interrogazione di esempio.
    SELECT
        JSON_VALUE(h."VALUEJSON", '$.amount') AS quantity,
        JSON_VALUE(h."VALUEJSON", '$.blindingFactor') AS blinding_factor
    FROM "CentralBank_default_hist" h
    WHERE h."CHAINCODEID" = 'testChaincode$$_implicit_org_CentralBank'
      AND h."KEY" = 'otransaction~d5e08934fd520554162d694476bae8521803e4bf7272e8709fe34dd3eeecbfe4'
    ORDER BY h."BLOCKNO" DESC, h."TXNNO" DESC
    FETCH FIRST 1 ROW ONLY;
    Il testo seguente mostra un esempio di risposta.
    quantity blinding_factor
    100 17721346708393996000
  3. Aggiungere il metodo generateCommitment, definito in precedenza, al file del controller situato nella cartella src (src/controller/<Chaincode_name>.controller.ts).
    Esempio:
    @Validator(yup.string(), yup.string()) 
    public async generateCommitment(value: string, bf: string) {
        await this. Ctx.Auth.checkAuthorization("ACCOUNT.processSendersAndReceivers", "TOKEN"); 
        const result = await this.Ctx.PedersonCommitments.generateCommitment(value, bf); 
        return result;
    }	
  4. Passare i valori quantity (come value) e blinding_factor (come blinding_factor) dal secondo passo al metodo generateCommitment.
    Esempio:
    quantity_commitment from step 1 :036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
    quantity from step 2 : 100
    blinding_factor from step 2 : 17721346708393996000
     
    Invoke the method generateCommitment("100", "17721346708393996000")
    Response: "036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63"
  5. Verificare che il valore quantity_commitment del primo passo corrisponda all'output del metodo generateCommitment.
    Esempio:
    quantity_commitment from step 1: 036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
    Response From Step 4: "036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63"
     
    balance_commitment from step 1 = response from step 4
    LHS = RHS
     
    This verifies that the Pederson commitment is correct against the raw quantity and blindingFactor

Audit dei saldi dei conti

Dopo aver ottenuto i valori effettivi balance_commitment e balance correnti e il fattore di abbagliamento per il conto, come descritto in precedenza, è possibile convalidare questi valori rispetto alla cronologia delle transazioni.

I valori di esempio che stiamo iniziando con:
balance_commitment for account :036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
balance for account : 4600
blinding_factor for account : 6835208149283572992000
  1. Utilizzare il metodo getAccountTransactionHistoryWithFiltersFromRichHistDB per recuperare tutte le transazioni per il conto. Ogni transazione ha un ID transazione univoco e voci corrispondenti di quantity_commitment (nel database di stato), e quantità e fattore di accecamento (nella raccolta dati privata).
    La risposta di esempio:
    [
        {
            "transaction_id": "otransaction~5112f576c94c2d23c342479bfa37e34612414b3258a64b43cf51b920f4ff5868",
            "transacted_amount": 5000,
            "timestamp": "2025-08-12T21:05:02.000Z",
            "token_id": "USD",
            "transacted_account": "oaccount~cea6080858337b1575d6a76ed0bd07a0eacd8871e3f2f7f793729a0e4b0e8e98",
            "transacted_org_id": "CentralBank",
            "transacted_user_id": "cb_retirer_demo",
            "transacted_custom_account_id": "10109999006543",
            "to_account": "oaccount~cea6080858337b1575d6a76ed0bd07a0eacd8871e3f2f7f793729a0e4b0e8e98",
            "to_org_id": "CentralBank",
            "to_user_id": "cb_retirer_demo",
            "to_custom_account_id": "10109999006543",
            "from_account": "oaccount~68d67712f500e9dac8c314c19744003a993250271d960e9b0d25267bb18dfe9a",
            "from_org_id": "CentralBank",
            "from_user_id": "cb_issuer_demo",
            "from_custom_account_id": "10109999001234",
            "transaction_type": "DEBIT",
            "category": "burn",
            "balance": 45000,
            "onhold_balance": 0
        },
        {
            "transaction_id": "otransaction~862aa9d9e877d3ea209b87299ab5b12c13ed5ce43d1cf1b934043c1dd02f58f6",
            "transacted_amount": 50000,
            "timestamp": "2025-08-12T21:04:22.000Z",
            "token_id": "USD",
            "transacted_account": "oaccount~da6e14466a0ba9b48ebc18fa672addb92dffc371bf953c3229a95b2ff2d9cd41",
            "transacted_org_id": "CentralBank",
            "transacted_user_id": "cb__creator_demo",
            "transacted_custom_account_id": "10105678004567",
            "to_account": "oaccount~68d67712f500e9dac8c314c19744003a993250271d960e9b0d25267bb18dfe9a",
            "to_org_id": "CentralBank",
            "to_user_id": "cb_issuer_demo",
            "to_custom_account_id": "10109999001234",
            "from_account": "oaccount~da6e14466a0ba9b48ebc18fa672addb92dffc371bf953c3229a95b2ff2d9cd41",
            "from_org_id": "CentralBank",
            "from_user_id": "cb__creator_demo",
            "from_custom_account_id": "10105678004567",
            "transaction_type": "CREDIT",
            "category": "transfer",
            "balance": 50000,
            "onhold_balance": 0
        },
        {
            "transaction_id": "otransaction~d209ff46dc46f4adb42f0002377507fe995b32bc618ac919eba49141cf1b8008",
            "transacted_amount": 100,
            "timestamp": "2025-08-01T10:59:48.000Z",
            "token_id": "token",
            "category": "category value",
            "description": "description value",
            "holding_id": "ohold~cbdc~token~mint1",
            "to_account_id": "oaccount~da6e14466a0ba9b48ebc18fa672addb92dffc371bf953c3229a95b2ff2d9cd41",
            "to_org_id": "CentralBank",
            "to_user_id": "cb",
            "to_custom_account_id": "10109999001234",
            "transacted_account": "oaccount~3a1b1c307883c0f74473fedfa62894d510b68959c4a21c7abb9d0224151aa573",
            "transaction_type": "APPROVE_MINT",
            "balance": 100,
            "onhold_balance": 0,
            "transacted_org_id": "CentralBank",
            "transacted_user_id": "cb__creator_demo",
            "transacted_custom_account_id": "1234567jh"
        }
    ]
  2. Seguire i passi precedenti per verificare la quantità di ogni transazione e assicurarsi che i dati pubblici e privati siano sincronizzati. Gli esempi riportati di seguito mostrano le transazioni e i valori utilizzati nei calcoli dei passi di verifica precedenti.
    Transazione 1
    otransaction~d209ff46dc46f4adb42f0002377507fe995b32bc618ac919eba49141cf1b8008
    Valori dei passi di verifica:
    quantity_commitment from step 1: 036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
    quantity from step 2: 100
    blinding_factor from step 2: 17721346708393996000
     
    Call the method generateCommitment("100", "17721346708393996000")
    Response: "036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63"
     
    quantity_commitment from step 1: 036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
    response from step 4: "036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63"
     
    balance_commitment from step 1 = response from step 4
    LHS = RHS
     
    This verifies that the Pedersen commitment is correct against the raw quantity and blindingFactor 
    Transazione 2
    otransaction~862aa9d9e877d3ea209b87299ab5b12c13ed5ce43d1cf1b934043c1dd02f58f6
    Valori dei passi di verifica:
    quantity_commitment from step 1: dd63036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23
    quantity from step 2: 50000
    blinding_factor from step 2: 6789721346708393996000
     
    Call the method generateCommitment("50000", "6789721346708393996000")
    Response: "dd63036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23"
     
    quantity_commitment from step 1: dd63036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23
    Response from step 4: "dd63036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23"
     
    balance_commitment from step 1 = response from step 4
    LHS = RHS
     
    This verifies that the Pedersen commitment is correct against the raw quantity and blindingFactor
    Transazione 3
    otransaction~5112f576c94c2d23c342479bfa37e34612414b3258a64b43cf51b920f4ff5868
    Valori dei passi di verifica:
    quantity_commitment from step 1: d28b5a08889921d71b658b592a4261bc76b17cf553c67de2943d769741f8f23dd63
    quantity from step 2: 5000
    blinding_factor from step 2: 39317721346708996000
     
    Call the method generateCommitment("5000", "39317721346708996000")
    Response: "d28b5a08889921d71b658b592a4261bc76b17cf553c67de2943d769741f8f23dd63"
     
    quantity_commitment from step 1: d28b5a08889921d71b658b592a4261bc76b17cf553c67de2943d769741f8f23dd63
    Response from step 4: "d28b5a08889921d71b658b592a4261bc76b17cf553c67de2943d769741f8f23dd63"
     
    balance_commitment from step 1 = response from step 4
    LHS = RHS
     
    This verifies that the Pedersen commitment is correct against the raw quantity and blindingFactor
  3. Itera l'elenco ordinato delle transazioni nell'ordine in cui sono state eseguite e calcola i totali in esecuzione per ogni struttura. Per ogni transazione, completare i passi riportati di seguito.
    1. Se la transazione è un credito (aggiunta), combinare la proprietà quantity_commitment utilizzando il metodo addCommitment. Se la transazione è un addebito (sottrazione), combinare la proprietà quantity_commitment utilizzando il metodo subCommitment.
    2. Se la transazione è un credito, aggiungere la proprietà quantity. Se la transazione è un addebito, sottrarre la proprietà quantity.
    3. Se la transazione è un credito, aggiungere la proprietà blinding_factor. Se la transazione è un addebito, sottrarre la proprietà blinding_factor.
    Gli esempi riportati di seguito mostrano l'elaborazione degli impegni, della quantità e del fattore di accecamento.
    Elaborare gli impegni
    Starting balance_commitment: "2a4261d28b5a08889921d71b658b59bc76b17cf553c67de2943d769741f8f23dd63"
    
        For Transaction 1 using method
        addCommitment(
        "2a4261d28b5a08889921d71b658b59bc76b17cf553c67de2943d769741f8f23dd63", 
        "036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63"
        ) = "a1d71b658036b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63"
    
        current balance_commitment: "a1d71b658036b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63"
        Transaction 2 using method
        addCommitment(
        "a1d71b658036b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63", 
        "dd63036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23"
        ) = "b285a4261dd63036a1d71b658b592bc76da08b17cf553c67de2943d769741f8f23"
    
        current balance_commitment: "b285a4261dd63036a1d71b658b592bc76da08b17cf553c67de2943d769741f8f23"
        Transaction 3 using method
        subCommitment(
        "b285a4261dd63036a1d71b658b592bc76da08b17cf553c67de2943d769741f8f23", 
        "d28b5a08889921d71b658b592a4261bc76b17cf553c67de2943d769741f8f23dd63"
        ) = "036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63"
    
    Final commitment: "036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63"
    Quantità del processo
    starting balance: 0
    
        For Transaction 1 
        current_balance = 0 + 100 = 100
        current_balance = 100
        For Transaction 2
        new current_balance = 100 + 5000 = 5100
        current_balance = 5100
        For Transaction 3
        new current_balance = 5100 - 500 = 4600
    
    Final_balance = 4600
    Fattore di accecamento dei processi
    starting blindingFactor: 67083177213493996000
    
        For Transaction 1 
        current_blindingFactor = 67083177213493996000 + 17721346708393996000 = 84804523921887992000
        current_balance = 84804523921887992000
        For Transaction 2
        new current_blindingFactor = 84804523921887992000 + 6789721346708393996000 = 6874525870630281988000
        current_balance = 6874525870630281988000
        For Transaction 3
        new current_blindingFactor = 6874525870630281988000 - 39317721346708996000 = 6835208149283572992000
    
    Final_balance = 6835208149283572992000
  4. Dopo aver elaborato tutte le transazioni, verificare che le seguenti istruzioni siano vere.
    • Il valore quantity_commitment corrisponde al valore Account.balance_commitment corrente
    • Il valore quantity corrisponde al valore Account.balance corrente
    • Il valore blinding_factor corrisponde al valore Account.blinding_factor corrente
    Esempio:
    Starting balance_commitment: 036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
    balance_commitment from step 3 :036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
     
    Starting balance_commitment =  balance_commitment from step 3
    LHS = RHS
    The balance pederson commitment is verified.
      
    starting balance : 4600
    balance from step 3 : 4600
     
    starting balance =  balance for step 3
    LHS = RHS
    The balance verified. 
     
    starting blinding_factor  : 6835208149283572992000
    blinding_factor from step 3  : 6835208149283572992000
     
    starting blinding_factor =  blinding_factor for step 3
    LHS = RHS
    The blinding_factor is verified.