Method verify

proof_system/src/statement/bound_check_smc.rs:52–55

(&self)

    }

    pub fn verify(&self) -> Result<(), ProofSystemError> {
        self.params.verify()?;
        Ok(())
    }
}

impl<E: Pairing> From<SmcParamsAndCommitmentKey<E>> for SmcParamsWithPairingAndCommitmentKey<E> {