diff --git a/prover/rangeProof/rangeProofVerifier.js b/prover/rangeProof/rangeProofVerifier.js index e401a27..4bbebf1 100644 --- a/prover/rangeProof/rangeProofVerifier.js +++ b/prover/rangeProof/rangeProofVerifier.js @@ -10,6 +10,7 @@ var RangeProofVerifier = /** @class */ (function () { function RangeProofVerifier() { } RangeProofVerifier.prototype.verify = function (params, input, proof) { + try { var vectorBase = params.getVectorBase(); var base = params.getBase(); var n = vectorBase.getGs().size(); @@ -49,6 +50,11 @@ var RangeProofVerifier = /** @class */ (function () { var verifier = new efficientInnerProductVerifier_1.EfficientInnerProductVerifier(); // console.log(P.getX().toString(16)); return verifier.verify(primeBase, P, proof.getProductProof()); + } + catch(error){ + console.log("failed with error",error) + return false; + } }; return RangeProofVerifier; }()); diff --git a/prover/rangeProof/rangeProofVerifier.ts b/prover/rangeProof/rangeProofVerifier.ts index 5cc8e31..8999802 100644 --- a/prover/rangeProof/rangeProofVerifier.ts +++ b/prover/rangeProof/rangeProofVerifier.ts @@ -11,6 +11,7 @@ import {EfficientInnerProductVerifier} from "../innerProduct/efficientInnerProdu export class RangeProofVerifier { public verify(params: GeneratorParams, input: ECPoint, proof: RangeProof) : Boolean { + try { const vectorBase = params.getVectorBase(); const base = params.getBase(); const n = vectorBase.getGs().size(); @@ -56,6 +57,11 @@ export class RangeProofVerifier { const verifier = new EfficientInnerProductVerifier(); // console.log(P.getX().toString(16)); return verifier.verify(primeBase, P, proof.getProductProof()); + } + catch(error){ + console.log("failed with error",error) + return false; + } } } diff --git a/tests/rangeProofTest.js b/tests/rangeProofTest.js index 9d7e125..f40ac6c 100644 --- a/tests/rangeProofTest.js +++ b/tests/rangeProofTest.js @@ -53,7 +53,7 @@ function testSoundness() { let valid = verifier.verify(parameters, v, proof); console.log("Proof is " + valid + "\n"); console.log("Change\n"); - valid = verifier.verify(parameters, v_change, proof_change); + valid = verifier.verify(parameters, v_change, proof); console.log("Proof is " + valid + "\n"); }