From 7a302c85addc8caaf0f324ea2d97d6a9e7844a36 Mon Sep 17 00:00:00 2001 From: xuchen <17367073440@163.com> Date: Thu, 11 Jan 2024 16:43:41 +0800 Subject: [PATCH 1/2] fix verify annotation --- src/ahp/verifier.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ahp/verifier.rs b/src/ahp/verifier.rs index 91bb357..7f92318 100644 --- a/src/ahp/verifier.rs +++ b/src/ahp/verifier.rs @@ -116,7 +116,7 @@ impl AHPForR1CS { // // Note that z is the interpolation of x || w, so it equals x + v_X * w // We also use an optimization: instead of explicitly calculating z_c, we - // use the "virtual oracle" z_b * z_c + // use the "virtual oracle" z_a * z_b // // LinearCombination::new( // outer_sumcheck From 7fc44d61725ec0a2a93e917c05e0e97c0eff9122 Mon Sep 17 00:00:00 2001 From: xuchen <17367073440@163.com> Date: Thu, 18 Jan 2024 14:18:58 +0800 Subject: [PATCH 2/2] fix h_lc annotation --- src/ahp/verifier.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ahp/verifier.rs b/src/ahp/verifier.rs index 7f92318..1d27230 100644 --- a/src/ahp/verifier.rs +++ b/src/ahp/verifier.rs @@ -176,7 +176,7 @@ impl AHPForR1CS { // // let a_poly_lc *= v_H_at_alpha * v_H_at_beta; // let b_lc = denom - // let h_lc = LinearCombination::new("b_poly", vec![(v_K_at_gamma, "h_2")]); + // let h_lc = LinearCombination::new("h_2", vec![(v_K_at_gamma, "h_2")]); // // // This LC is the only one that is evaluated: // let inner_sumcheck = a_poly_lc - (b_lc * (gamma * &g_2_at_gamma + &(t_at_beta / &k_size))) - h_lc