Impegni di Pedersen

Le basi

Gli impegni di Pedersen sono algoritmi crittografici che consentono a un prover di impegnarsi su un certo valore senza rivelarlo o essere in grado di modificarlo.

Quando spendi Haven, il valore degli input che stai spendendo e il valore degli output che stai inviando sono crittografati e opachi per tutti tranne il destinatario di ciascuno di quegli output. Gli impegni di Pedersen ti consentono di inviare Haven senza rivelare il valore delle transazioni. Gli impegni di Pedersen consentono inoltre alle persone di verificare che le transazioni sulla blockchain siano valide e non creino Haven dal nulla.

Cosa significa

Fintanto che gli importi di output crittografati creati, che includono un output per il destinatario e un output di modifica al mittente, e la commissione di transazione non crittografata è uguale alla somma degli input che vengono spesi, è una transazione legittima e può essere confermato per non creare Haven dal nulla.

Gli impegni di Pedersen significano che le somme possono essere verificate come uguali, ma il valore Haven di ciascuna delle somme e il valore Haven degli input e degli output individualmente non sono determinabili. Gli impegni di Pedersen significano anche che anche il rapporto tra un input e un altro, o tra un output e l'altro, è indeterminabile.

Non è chiaro quali input vengano realmente spesi poiché la firma dell'anello elenca sia gli input reali che vengono spesi sia gli input esca, quindi in realtà non si sa quali input Pedersen devono essere sommati. Va bene, perché la firma dell'anello RingCT deve solo dimostrare che per una combinazione degli ingressi le uscite sono uguali alla somma degli ingressi. Per ragioni matematiche, questo è impossibile da falsificare.

Informazioni approfondite

Vedere le informazioni in Documento sulle transazioni riservate dell'anello di Shen Noether del laboratorio di ricerca Haven.