From 5bd0bf01d2875ce47e16514248096868846b1e8a Mon Sep 17 00:00:00 2001 From: Divide-By-0 Date: Mon, 5 Feb 2024 23:54:15 -0500 Subject: [PATCH] fix #15 --- circuits/circom/verify_nullifier.circom | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/circuits/circom/verify_nullifier.circom b/circuits/circom/verify_nullifier.circom index bdc6ac7..3975a07 100644 --- a/circuits/circom/verify_nullifier.circom +++ b/circuits/circom/verify_nullifier.circom @@ -244,7 +244,7 @@ template a_div_b_pow_c(n, k) { b_pow_c_inv_y.underflow === 0; - // Calculates a^s * (b^c)-1 + // Calculates a * (b^c)-1 component final_result = Secp256k1AddUnequal(n, k); final_result.a <== a;