Module wedpr_s_verifiable_confidential_ledger::vcl

Core functions of verifiable confidential ledger (VCL).

Structs

ConfidentialCredit	Confidential credit record stored in VCL.
OwnerSecret	Owner secret used to spend a confidential credit.

Functions

make_credit	Makes a confidential credit record and owner secret for a numeric value.
prove_product_balance	Proves three confidential credit records satisfying a product relationship, i.e. the values embedded in them satisfying c1_value * c2_value = c3_value. c?_secret are the owner secrets for spending those commitments. It returns a proof for the above product relationship.
prove_range	Proves whether the value embedded in a confidential credit record belongs to (0, 2^RANGE_SIZE_IN_BITS - 1].
prove_sum_balance	Proves three confidential credit records satisfying a sum relationship, i.e. the values embedded in them satisfying c1_value + c2_value = c3_value. c?_secret are the owner secrets for spending those commitments. It returns a proof for the above sum relationship.
verify_product_balance	Verifies three commitments satisfying a product relationship, i.e. the values embedded in c1_credit, c2_credit, c3_credit satisfying c1_value * c2_value = c3_value.
verify_range	Verifies whether the value embedded in a confidential credit record belongs to (0, 2^RANGE_SIZE_IN_BITS - 1].
verify_sum_balance	Verifies three commitments satisfying a sum relationship, i.e. the values embedded in c1_credit, c2_credit, c3_credit satisfying c1_value + c2_value = c3_value.