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
- Memorizzato con l'ID codice concatenato: <chaincode_name>
- 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
- Memorizzato con l'ID codice concatenato: <chaincode_name>
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
oOrg Admin
. -
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
oOrg Admin
. -
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
oOrg Admin
.
Verifica dei saldi contabili e in sospeso
- 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 esempiobalance_commitment
:03977a92a07c00234270d41097a35ed2050bcdef02d3908a9a3cc733951b4171dd
- 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
- Aggiungere il metodo
generateCommitment
, definito in precedenza, al file del controller situato nella cartellasrc
(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; }
- Passare i valori
balance
(comevalue
) eblinding_factor
(comeblinding_factor
) dal secondo passo al metodogenerateCommitment
.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"
- Verificare che il valore
balance_commitment
del primo passo corrisponda all'output del metodogenerateCommitment
.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
- Per verificare un saldo in sospeso, ripetere questi passaggi per l'impegno
onhold_balance
Pedersen e per i valorionhold_balance
eonHoldBalanceBlindingFactor
.
Verifica delle quantità delle transazioni
- Utilizzare la seguente query per ottenere l'impegno Pedersen della quantità, che è dati pubblici.
Il testo seguente mostra un'interrogazione di esempio.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 esempio di risposta.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;
quantity_commitment
036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
- Utilizzare la query seguente per ottenere la quantità e il fattore di abbagliamento dalla raccolta dati privata.
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 "<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 esempio di risposta.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;
quantity
blinding_factor
100
17721346708393996000
- Aggiungere il metodo
generateCommitment
, definito in precedenza, al file del controller situato nella cartellasrc
(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; }
- Passare i valori
quantity
(comevalue
) eblinding_factor
(comeblinding_factor
) dal secondo passo al metodogenerateCommitment
.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"
- Verificare che il valore
quantity_commitment
del primo passo corrisponda all'output del metodogenerateCommitment
.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.
balance_commitment for account :036a1d71b658b592a4261bc76d28b5a08b17cf553c67de2943d769741f8f23dd63
balance for account : 4600
blinding_factor for account : 6835208149283572992000
- Utilizzare il metodo
getAccountTransactionHistoryWithFiltersFromRichHistDB
per recuperare tutte le transazioni per il conto. Ogni transazione ha un ID transazione univoco e voci corrispondenti diquantity_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" } ]
- 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.
- 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.
- Se la transazione è un credito (aggiunta), combinare la proprietà
quantity_commitment
utilizzando il metodoaddCommitment
. Se la transazione è un addebito (sottrazione), combinare la proprietàquantity_commitment
utilizzando il metodosubCommitment
. - Se la transazione è un credito, aggiungere la proprietà
quantity
. Se la transazione è un addebito, sottrarre la proprietàquantity
. - Se la transazione è un credito, aggiungere la proprietà
blinding_factor
. Se la transazione è un addebito, sottrarre la proprietàblinding_factor
.
- 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
- Se la transazione è un credito (aggiunta), combinare la proprietà
- Dopo aver elaborato tutte le transazioni, verificare che le seguenti istruzioni siano vere.
- Il valore
quantity_commitment
corrisponde al valoreAccount.balance_commitment
corrente - Il valore
quantity
corrisponde al valoreAccount.balance
corrente - Il valore
blinding_factor
corrisponde al valoreAccount.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.
- Il valore