debug: Check spend

Author: keyvank

Makefile

@@ -23,16 +23,17 @@ verify:
 	@if [ "$$REMOVE_PARAMS" != "" ]; then rm -rf params_old/*.tar.gz params_old/*.tar.gz.*; fi
 
 	@echo "Downloading R1CS files..."
-	wget -O proof_of_burn.r1cs.gz $(WGET_ARGS) -c https://github.com/worm-privacy/trusted-setup/releases/download/circuit_data/proof_of_burn.r1cs.gz
+	#wget -O proof_of_burn.r1cs.gz $(WGET_ARGS) -c https://github.com/worm-privacy/trusted-setup/releases/download/circuit_data/proof_of_burn.r1cs.gz
 	wget -O spend.r1cs.gz $(WGET_ARGS) -c https://github.com/worm-privacy/trusted-setup/releases/download/circuit_data/spend.r1cs.gz
-	gunzip proof_of_burn.r1cs.gz
+	#gunzip proof_of_burn.r1cs.gz
 	gunzip spend.r1cs.gz
 
 	@echo "Downloading Powers-of-Tau file..."
-	wget -O powersOfTau28_hez_final_24.ptau $(WGET_ARGS) -c https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_24.ptau
+	wget -O powersOfTau28_hez_final_18.ptau $(WGET_ARGS) -c https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_18.ptau
 
-	snarkjs zkey verify proof_of_burn.r1cs powersOfTau28_hez_final_24.ptau proof_of_burn.zkey
-	snarkjs zkey verify spend.r1cs powersOfTau28_hez_final_24.ptau spend.zkey
+	#snarkjs zkey verify proof_of_burn.r1cs powersOfTau28_hez_final_18.ptau params_old/proof_of_burn.zkey
+	snarkjs zkey verify spend.r1cs powersOfTau28_hez_final_18.ptau params_old/spend.zkey
+	sha256sum spend.r1cs params_old/spend.zkey
 
 contribute:
 	@echo "   __        _____  ____  __  __ "