diff --git a/circuits/circom/verify_nullifier.circom b/circuits/circom/verify_nullifier.circom index 1994efc..ed43d0d 100644 --- 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