Engagements de Pedersen

Les bases

Les engagements de Pedersen sont des algorithmes cryptographiques qui permettent à un prouveur de s'engager sur une certaine valeur sans la révéler ni pouvoir la modifier.

Lorsque vous dépensez Haven, la valeur des entrées que vous dépensez et la valeur des sorties que vous envoyez sont cryptées et opaques pour tout le monde sauf le destinataire de chacune de ces sorties. Les engagements Pedersen vous permettent d'envoyer Haven sans révéler la valeur des transactions. Les engagements de Pedersen permettent également aux gens de vérifier que les transactions sur la blockchain sont valides et ne créent pas Haven à partir de rien.

Ce que cela veut dire

Tant que les montants de sortie cryptés créés, qui incluent une sortie pour le destinataire et une sortie de modification vers l'expéditeur, et les frais de transaction non cryptés sont égaux à la somme des entrées qui sont dépensées, il s'agit d'une transaction légitime et peut être confirmé pour ne pas créer Haven à partir de rien.

Les engagements de Pedersen signifient que les sommes peuvent être vérifiées comme étant égales, mais la valeur Haven de chacune des sommes et la valeur Haven des entrées et sorties individuellement sont indéterminables. Les engagements de Pedersen signifient également que même le rapport d'une entrée à une autre ou d'une sortie à une autre est indéterminable.

Il n'est pas clair quelles entrées sont réellement dépensées car la signature en anneau répertorie à la fois les entrées réelles dépensées et les entrées leurres, donc vous ne savez pas réellement quelles entrées les engagements de Pedersen doivent être additionnés. Ce n'est pas grave, car la signature en anneau RingCT n'a qu'à prouver que pour une combinaison d'entrées, les sorties sont égales à la somme des entrées. Pour des raisons mathématiques, cela est impossible à falsifier.

Informations détaillées

Voir les informations dans Papier Ring Confidential Transactions par Shen Noether du laboratoire de recherche Haven.