fix: input name in check_ec_eq

plume-sig · Nov 20, 2023 · c887bf0 · c887bf0
1 parent ee35e29
commit c887bf0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/circuits/circom/verify_nullifier.circom b/circuits/circom/verify_nullifier.circom
@@ -182,7 +182,7 @@ template check_ec_equations(n, k, message_length) {
 
     component r_point_comp = a_div_b_pow_c(n, k);
     r_point_comp.a <== s_point.pubkey;
-    r_point_comp.b <== pk;
+    r_point_comp.b <== pk_compressed;
     r_point_comp.c <== c;
 
     // Calculate hash[m, pk]^r