zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #86 from pinkiebell/params_pub 

Params,ParamsVerifier: make k & n public
This commit is contained in:
Han 2022-08-08 11:32:28 +08:00 committed by GitHub
parent f586922d19 f12f082b71
commit 763335c95e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
halo2_proofs/src/poly/commitment.rs
View File

@ -20,8 +20,11 @@ use std::io;
/// These are the prover parameters for the polynomial commitment scheme.
#[derive(Debug)]
pub struct Params<C: CurveAffine> {
pub(crate) k: u32,
pub(crate) n: u64,
/// This is a common term used for deriving the amount of field elements `n = 1 << k`.
/// Also known as the domain size.
pub k: u32,
/// This represents the amount of available field elements
pub n: u64,
pub(crate) g: Vec<C>,
pub(crate) g_lagrange: Vec<C>,
pub(crate) additional_data: Vec<u8>,
@ -30,8 +33,11 @@ pub struct Params<C: CurveAffine> {
/// These are the verifier parameters for the polynomial commitment scheme.
#[derive(Debug)]
pub struct ParamsVerifier<E: Engine> {
pub(crate) k: u32,
pub(crate) n: u64,
/// This is a common term used for deriving the amount of field elements `n = 1 << k`.
/// Also known as the domain size.
pub k: u32,
/// This represents the amount of available field elements
pub n: u64,
pub(crate) g1: E::G1Affine,
pub(crate) g2: E::G2Affine,
pub(crate) s_g2: E::G2Affine,