From dab0e5ec3cf966a3aa152888eaf5a43bd8671093 Mon Sep 17 00:00:00 2001 From: exfinen <47593166+exfinen@users.noreply.github.com> Date: Wed, 1 Nov 2023 12:40:27 +0900 Subject: [PATCH] clean upo --- src/zk/w_trusted_setup/pinocchio/crs.rs | 8 +++----- src/zk/w_trusted_setup/pinocchio/pinocchio_prover.rs | 2 +- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/src/zk/w_trusted_setup/pinocchio/crs.rs b/src/zk/w_trusted_setup/pinocchio/crs.rs index ed4ddcb..0e931da 100644 --- a/src/zk/w_trusted_setup/pinocchio/crs.rs +++ b/src/zk/w_trusted_setup/pinocchio/crs.rs @@ -15,8 +15,7 @@ pub struct EvaluationKeys { pub alpha_vk_mid: Vec, pub alpha_wk_mid: Vec, pub alpha_yk_mid: Vec, - //pub g1_si: Vec, - pub g2_si: Vec, + pub si: Vec, pub beta_vwy_k_mid: Vec, } @@ -90,7 +89,7 @@ impl CRS { let s_pows = &s.pow_seq(&p.max_degree); //let g1_si: Vec = s_pows.iter().map(|pow| { g1 * pow }).collect(); - let g2_si: Vec = s_pows.iter().map(|pow| { g2 * pow }).collect(); + let si: Vec = s_pows.iter().map(|pow| { g2 * pow }).collect(); let beta_vwy_k_mid: Vec = { mid.iter().map(|i| { @@ -124,8 +123,7 @@ impl CRS { alpha_vk_mid, alpha_wk_mid, alpha_yk_mid, - //g1_si, - g2_si, + si, beta_vwy_k_mid, }; diff --git a/src/zk/w_trusted_setup/pinocchio/pinocchio_prover.rs b/src/zk/w_trusted_setup/pinocchio/pinocchio_prover.rs index 6aa75e6..427e5af 100644 --- a/src/zk/w_trusted_setup/pinocchio/pinocchio_prover.rs +++ b/src/zk/w_trusted_setup/pinocchio/pinocchio_prover.rs @@ -122,7 +122,7 @@ impl PinocchioProver { DivResult::Quotient(q) => q, _ => panic!("p should be divisible by t"), }; - h.eval_with_g2_hidings(&ek.g2_si) + h.eval_with_g2_hidings(&ek.si) }; PinocchioProof {