Method new_statement_from_params

proof_system/src/statement/bound_check_bpp.rs:31–43

(
        min: u64,
        max: u64,
        params: BppSetupParams<G>,
    )

impl<G: AffineRepr> BoundCheckBpp<G> {
    pub fn new_statement_from_params<E: Pairing<G1Affine = G>>(
        min: u64,
        max: u64,
        params: BppSetupParams<G>,
    ) -> Result<Statement<E>, ProofSystemError> {
        validate_bounds(min, max)?;
        Ok(Statement::BoundCheckBpp(Self {
            min,
            max,
            params: Some(params),
            params_ref: None,
        }))
    }

    pub fn new_statement_from_params_ref<E: Pairing<G1Affine = G>>(
        min: u64,