Pedersen toezeggingen

De basis

Pedersen-toezeggingen zijn cryptografische algoritmen waarmee een bewijzer zich aan een bepaalde waarde kan binden zonder deze te onthullen of te kunnen wijzigen.

Als je Haven uitgeeft, worden de waarde van de inputs die je uitgeeft en de waarde van de outputs die je verstuurt gecodeerd en ondoorzichtig voor iedereen behalve de ontvanger van elk van die outputs. Met de toezeggingen van Pedersen kunt u Haven verzenden zonder de waarde van de transacties te onthullen. De toezeggingen van Pedersen maken het ook mogelijk voor mensen om te verifiëren dat transacties op de blockchain geldig zijn en niet uit het niets Haven creëren.

Wat het betekent

Zolang de gecodeerde outputbedragen die zijn gemaakt, waaronder een output voor de ontvanger en een wisseloutput terug naar de afzender, en de niet-gecodeerde transactiekosten gelijk zijn aan de som van de inputs die worden uitgegeven, is het een legitieme transactie en kunnen worden bevestigd om Haven niet uit het niets te creëren.

De toezeggingen van Pedersen betekenen dat de sommen als gelijk kunnen worden geverifieerd, maar de Haven-waarde van elk van de sommen en de Haven-waarde van de inputs en outputs afzonderlijk zijn niet te bepalen. De toezeggingen van Pedersen betekenen ook dat zelfs de verhouding tussen de ene input en de andere, of de ene output tot de andere, niet kan worden bepaald.

Het is onduidelijk welke inputs werkelijk worden uitgegeven, aangezien de ringsignatuur zowel de daadwerkelijke inputs die worden uitgegeven als de lokmiddelen vermeldt, daarom weet je eigenlijk niet welke input Pedersen-verplichtingen moeten worden opgeteld. Dat is oké, want de RingCT-ringsignatuur hoeft alleen maar te bewijzen dat voor één combinatie van de ingangen de uitgangen gelijk zijn aan de som van de ingangen. Om wiskundige redenen is dit onmogelijk te vervalsen.

Diepgaande informatie

Zie informatie in Ring voor vertrouwelijke transacties papier door Shen Noether van het Haven Research Lab.