pub fn trim(
        params: &UniversalParams<E>,
        supported_num_vars: usize,
    ) -> (CommitterKey<E>, VerifierKey<E>) {
        assert!(supported_num_vars <= params.num_vars);
        let to_reduce = params.num_vars - supported_num_vars;
        let ck = CommitterKey {
            powers_of_h: (&params.powers_of_h[to_reduce..]).to_vec(),
            powers_of_g: (&params.powers_of_g[to_reduce..]).to_vec(),
            g: params.g,
            h: params.h,
            nv: supported_num_vars,
        };
        let vk = VerifierKey {
            nv: supported_num_vars,
            g: params.g,
            h: params.h,
            g_mask_random: (&params.g_mask[to_reduce..]).to_vec(),
        };
        (ck, vk)
    }
/// Trim the universal parameters to specialize the public parameters
/// for multilinear polynomials to the given `supported_num_vars`, and returns committer key and verifier key.
/// `supported_num_vars` should be in range `1..=params.num_vars`
Trim the universal parameters to specialize the public parameters
for multilinear polynomials to the given `supported_num_vars`, and returns committer key and verifier key.
Trim the universal parameters to specialize the public parameters for multilinear polynomials to the given ` supported_num_vars ` and returns committer key and verifier key .
pub fn trim(
        params: &UniversalParams<E>,
        supported_num_vars: usize,
    ) -> (CommitterKey<E>, VerifierKey<E>) {
        assert!(supported_num_vars <= params.num_vars);
        let to_reduce = params.num_vars - supported_num_vars;
        let ck = CommitterKey {
            powers_of_h: (&params.powers_of_h[to_reduce..]).to_vec(),
            powers_of_g: (&params.powers_of_g[to_reduce..]).to_vec(),
            g: params.g,
            h: params.h,
            nv: supported_num_vars,
        };
        let vk = VerifierKey {
            nv: supported_num_vars,
            g: params.g,
            h: params.h,
            g_mask_random: (&params.g_mask[to_reduce..]).to_vec(),
        };
        (ck, vk)
    }
pub fn trim ( params : & UniversalParams < E > , supported_num_vars : usize , ) -> ( CommitterKey < E > , VerifierKey < E > ) { assert ! ( supported_num_vars params num_vars ) ; let to_reduce = params . num_vars - supported_num_vars ; let ck = CommitterKey { powers_of_h : ( & params . powers_of_h [ to_reduce .. ] ) . to_vec ( ) , powers_of_g : ( & params . powers_of_g [ to_reduce .. ] ) . to_vec ( ) , g : params . g , h : params . h , nv : supported_num_vars , } ; let vk = VerifierKey { nv : supported_num_vars , g : params . g , h : params . h , g_mask_random : ( & params . g_mask [ to_reduce .. ] ) . to_vec ( ) , } ; ( ck , vk ) }
Trim the universal parameters to specialize the public parameters
for multilinear polynomials to the given `supported_num_vars`, and returns committer key and verifier key.
Trim the universal parameters to specialize the public parameters for multilinear polynomials to the given ` supported_num_vars ` and returns committer key and verifier key .
params
&UniversalParams<E>
supported_num_vars
usize