github/zk-toolkit
1
1
Fork 0
mirror of https://github.com/exfinen/zk-toolkit.git synced 2026-01-09 12:07:57 -05:00
Code Issues Packages Projects Releases Wiki Activity

clean upo

Browse Source
This commit is contained in:
exfinen
2023-11-01 12:40:27 +09:00
parent 7db0ea5864
commit dab0e5ec3c
2 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/zk/w_trusted_setup/pinocchio/crs.rs
View File

@@ -15,8 +15,7 @@ pub struct EvaluationKeys {
pub alpha_vk_mid: Vec<G1Point>,
pub alpha_wk_mid: Vec<G1Point>,
pub alpha_yk_mid: Vec<G1Point>,
//pub g1_si: Vec<G1Point>,
pub g2_si: Vec<G2Point>,
pub si: Vec<G2Point>,
pub beta_vwy_k_mid: Vec<G1Point>,
}
@@ -90,7 +89,7 @@ impl CRS {
let s_pows = &s.pow_seq(&p.max_degree);
//let g1_si: Vec<G1Point> = s_pows.iter().map(|pow| { g1 * pow }).collect();
let g2_si: Vec<G2Point> = s_pows.iter().map(|pow| { g2 * pow }).collect();
let si: Vec<G2Point> = s_pows.iter().map(|pow| { g2 * pow }).collect();
let beta_vwy_k_mid: Vec<G1Point> = {
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,
};

2
src/zk/w_trusted_setup/pinocchio/pinocchio_prover.rs
View File

@@ -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 {