Blockchain-based anonymous transfers zero-knowledge proofs

A non-transitory computer readable storage medium configured to store code comprising instructions, the instructions, when executed by one or more processors, cause the one or more processors to:

• generate a commitment based on a serial number of a zero-knowledge token, and a value of the zero-knowledge token, wherein generating the commitment comprises:
• generating a private key and public key pair, and
• generating the serial number for the zero-knowledge token based on the public key;
• generate a range proof for the commitment, the range proof for verifying that the value of the zero-knowledge token is within a preset range;
• generate a balance proof, the balance proof for verifying that a value of a set of input tokens is greater than or equal to the value of the zero-knowledge token;
• and
• transmit a conversion request, the conversion request for consuming the set of input tokens and for generating the zero-knowledge token, the conversion request including the generated commitment, the generated range proof, and the generated balance proof;
• and
• transmit a spending request for spending the zero-knowledge token, the spending request identifying the serial number of the zero-knowledge token and a set of output tokens.

A system comprising:

• one or more processors;
• and
• memory configured to store code comprising instructions, wherein the instructions, when executed by the one or more processors, cause the one or more processors to:
• generate a commitment based on a serial number of a zero-knowledge token, and a value of the zero-knowledge token, wherein generating the commitment comprises:
• generating a private key and public key pair, and
• generating the serial number for the zero-knowledge token based on the public key;
• generate a range proof for the commitment, the range proof for verifying that the value of the zero-knowledge token is within a preset range;
• generate a balance proof, the balance proof for verifying that a value of a set of input tokens is greater than or equal to the value of the zero-knowledge token;
• and
• transmit a conversion request, the conversion request for consuming the set of input tokens and for generating the zero-knowledge token, the conversion request including the generated commitment, the generated range proof, and the generated balance proof;
• and
• transmit a spending request for spending the zero-knowledge token, the spending request identifying the serial number of the zero-knowledge token and a set of output tokens.