From fd30e15b2cff1d0b5d8288d62f36a2ae8e3bae18 Mon Sep 17 00:00:00 2001 From: Koukyosyumei Date: Sun, 29 Dec 2024 11:16:48 -0500 Subject: [PATCH] update --- myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs b/myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs index a93d06e..073e772 100644 --- a/myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs +++ b/myzkp/src/modules/zksnark/tutorial_snark/protocol_4.rs @@ -81,11 +81,11 @@ pub fn setup(g1: &G1Point, g2: &G2Point, qap: &QAP) -> (ProofKey4, Veri g2_alpha_ell: g2 * &alpha_ell, g1_alpha_r: g1 * &alpha_r, g2_alpha_o: g2 * &alpha_o, - g2_beta_ell_eta: (g2 * beta_ell.get_value()) * eta.get_value(), - g1_beta_r_eta: (g1 * beta_r.get_value()) * eta.get_value(), - g2_beta_o_eta: (g2 * beta_o.get_value()) * eta.get_value(), + g2_beta_ell_eta: g2 * (beta_ell * &eta), + g1_beta_r_eta: g1 * (beta_r * &eta), + g2_beta_o_eta: g2 * (beta_o * &eta), g2_t_s: g2 * qap.t.eval(&s).sanitize(), - g2_eta: g2 * eta.get_value(), + g2_eta: g2 * eta, }, ) }