Closed
Description
From the zkp/circuits folder, if I run npm run gen
, it modifies some of the committed files. Should these modified files be committed? Commit head is 8606ed9.
This is the git diff
after running the command:
diff --git a/solidity/contracts/lib/verifier_anon.sol b/solidity/contracts/lib/verifier_anon.sol
index 6ef9172..47dc246 100644
--- a/solidity/contracts/lib/verifier_anon.sol
+++ b/solidity/contracts/lib/verifier_anon.sol
@@ -68,7 +68,7 @@ contract Groth16Verifier_Anon {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[4] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}
diff --git a/solidity/contracts/lib/verifier_anon_enc.sol b/solidity/contracts/lib/verifier_anon_enc.sol
index c402b26..8b01e78 100644
--- a/solidity/contracts/lib/verifier_anon_enc.sol
+++ b/solidity/contracts/lib/verifier_anon_enc.sol
@@ -77,7 +77,7 @@ contract Groth16Verifier_AnonEnc {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[7] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}
diff --git a/solidity/contracts/lib/verifier_anon_enc_nullifier.sol b/solidity/contracts/lib/verifier_anon_enc_nullifier.sol
index 1a8a08d..eb236a3 100644
--- a/solidity/contracts/lib/verifier_anon_enc_nullifier.sol
+++ b/solidity/contracts/lib/verifier_anon_enc_nullifier.sol
@@ -86,7 +86,7 @@ contract Groth16Verifier_AnonEncNullifier {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[10] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}
diff --git a/solidity/contracts/lib/verifier_anon_enc_nullifier_non_repudiation.sol b/solidity/contracts/lib/verifier_anon_enc_nullifier_non_repudiation.sol
index 37efa35..193c0bf 100644
--- a/solidity/contracts/lib/verifier_anon_enc_nullifier_non_repudiation.sol
+++ b/solidity/contracts/lib/verifier_anon_enc_nullifier_non_repudiation.sol
@@ -134,7 +134,7 @@ contract Groth16Verifier_AnonEncNullifierNonRepudiation {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[26] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}
diff --git a/solidity/contracts/lib/verifier_anon_nullifier.sol b/solidity/contracts/lib/verifier_anon_nullifier.sol
index 710950c..0c99b01 100644
--- a/solidity/contracts/lib/verifier_anon_nullifier.sol
+++ b/solidity/contracts/lib/verifier_anon_nullifier.sol
@@ -77,7 +77,7 @@ contract Groth16Verifier_AnonNullifier {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[7] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}
diff --git a/solidity/contracts/lib/verifier_anon_nullifier_kyc.sol b/solidity/contracts/lib/verifier_anon_nullifier_kyc.sol
index 23c24d9..980cbe2 100644
--- a/solidity/contracts/lib/verifier_anon_nullifier_kyc.sol
+++ b/solidity/contracts/lib/verifier_anon_nullifier_kyc.sol
@@ -80,7 +80,7 @@ contract Groth16Verifier_AnonNullifierKyc {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[8] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}
diff --git a/solidity/contracts/lib/verifier_check_hashes_value.sol b/solidity/contracts/lib/verifier_check_hashes_value.sol
index f837377..825874c 100644
--- a/solidity/contracts/lib/verifier_check_hashes_value.sol
+++ b/solidity/contracts/lib/verifier_check_hashes_value.sol
@@ -62,7 +62,7 @@ contract Groth16Verifier_CheckHashesValue {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[2] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}
diff --git a/solidity/contracts/lib/verifier_check_inputs_outputs_value.sol b/solidity/contracts/lib/verifier_check_inputs_outputs_value.sol
index 1b9945d..9c0da51 100644
--- a/solidity/contracts/lib/verifier_check_inputs_outputs_value.sol
+++ b/solidity/contracts/lib/verifier_check_inputs_outputs_value.sol
@@ -68,7 +68,7 @@ contract Groth16Verifier_CheckInputsOutputsValue {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[4] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}
diff --git a/solidity/contracts/lib/verifier_nf_anon.sol b/solidity/contracts/lib/verifier_nf_anon.sol
index f2c2c3f..5b562d0 100644
--- a/solidity/contracts/lib/verifier_nf_anon.sol
+++ b/solidity/contracts/lib/verifier_nf_anon.sol
@@ -62,7 +62,7 @@ contract Groth16Verifier_NfAnon {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[2] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}
diff --git a/solidity/contracts/lib/verifier_nf_anon_nullifier.sol b/solidity/contracts/lib/verifier_nf_anon_nullifier.sol
index 79cf3d8..ecb777e 100644
--- a/solidity/contracts/lib/verifier_nf_anon_nullifier.sol
+++ b/solidity/contracts/lib/verifier_nf_anon_nullifier.sol
@@ -65,7 +65,7 @@ contract Groth16Verifier_NfAnonNullifier {
function verifyProof(uint[2] calldata _pA, uint[2][2] calldata _pB, uint[2] calldata _pC, uint[3] calldata _pubSignals) public view returns (bool) {
assembly {
function checkField(v) {
- if iszero(lt(v, q)) {
+ if iszero(lt(v, r)) {
mstore(0, 0)
return(0, 0x20)
}