Optimization: remove reassignment

[xhliu]

 static function verifyRabinMsg(int[RabinUtil.ORACLE_VERIFY_NUM] rabinPubKeyArray, bytes rabinMsg, bytes[RabinUtil.ORACLE_VERIFY_NUM] paddingArray, int[RabinUtil.ORACLE_VERIFY_NUM] sigArray): bool { 
   loop(ORACLE_VERIFY_NUM): i { 
     int rabinPubKey = rabinPubKeyArray[i]; 
     bytes padding = paddingArray[i]; 
     int h = RabinUtil.rabinHash(rabinMsg + padding); 
     int sig = sigArray[i]; 
     require ((sig * sig) % rabinPubKey == h % rabinPubKey);
   } 
   return true; 
 } 

token_sensible/contracts/rabinUtil.scrypt

Lines 42 to 56 in edb9d6b

	static function verifyRabinMsg(int[RabinUtil.ORACLE_VERIFY_NUM] rabinPubKeyArray, bytes rabinMsg, bytes[RabinUtil.ORACLE_VERIFY_NUM] paddingArray, int[RabinUtil.ORACLE_VERIFY_NUM] sigArray): bool {
	int verifyCount = 0;
	loop(RabinUtil.ORACLE_VERIFY_NUM): i {
	int rabinPubKey = rabinPubKeyArray[i];
	bytes padding = paddingArray[i];
	int h = RabinUtil.rabinHash(rabinMsg + padding);
	int sig = sigArray[i];
	if ((sig * sig) % rabinPubKey == h % rabinPubKey) {
	verifyCount = verifyCount + 1;
	}
	}
	require(verifyCount == RabinUtil.ORACLE_VERIFY_NUM);
	return true;
	}