penumbra icon indicating copy to clipboard operation
penumbra copied to clipboard

Published 20 hours ago • verified publisher icon penumbra-zone

zk: value commitment integrity proof gadget

Open redshiftzero opened this issue 2 years ago • 0 comments

We need to check value commitment integrity in circuit - i.e. computing C = v * G_v + blinding * H and then checking the equality of C against the public value commitment input

redshiftzero avatar Jul 11 '22 17:07 redshiftzero