Method of contracting reserves using Pedersen commitment and method of proving reserves using zero-knowledge proof algorithm based on Pedersen commitment

A method of contracting reserves performed by at least one processor, the method comprising:

• loading a reserve database in which a plurality of reserves corresponding to a plurality of accounts are stored;
• generating a plurality of commit values respectively corresponding to the plurality of accounts in Pedersen commitment form using a commit key and a plurality of random values;
• generating a transaction on a smart contract based on the generated plurality of commit values;
• obtaining a total commit value based on the commit key, a total random value corresponding to a sum of the plurality of random values, and a total reserve;
• generating a data set including the total commit value, the total reserve, and the commit key;
• uploading the data set on a blockchain network;
• proving integrity of the total commit value based on a first value instead of the plurality of random values by the blockchain network;
• and
• depositing the plurality of reserves to the plurality of accounts when the integrity of the total commit value is proved,
• wherein the first value is determined as TCOM·(gTRsv)−1, when the commit key is g, the total reserve is TRsv, and the total commit value is TCOM.