SPCTR: Sealed Auction-Based Procurement for Closest Pre-Tender with Range Validation

Algorithm 2

BidRPrf.

	Input:
	Supplier: the bid , the values ;
	Output:
	PM: True or False
	Supplier: ;
(1)	At supplier:
(2)	Choose and compute a commitment ;
(3)	Compute , ,
(4)	Send the commitment and to PM
(5)	At PM:
(6)	Send a challenge to the supplier;
(7)	At supplier:
(8)	Set , , ;
(9)	Send to PM
(10)	At PM:
(11)	if then
(12)	Accept the proof
(13)	return True
(14)	else
(15)	Reject the proof;
(16)	return False;