INNER CODE UNIT · Rust

validate

zkonduit/ezkl · src/lib.rs:334

    pub fn validate(&self) -> Result<(), String> {
        let mut errors = Vec::new();

        // check if the largest represented integer in the decomposed form overflows IntegerRep
        //  try it with the largest possible value
        let max_decomp = (self.decomp_base as IntegerRep).checked_pow(self.decomp_legs as u32);
        if max_decomp.is_none() {
            errors.push(format!(
                "decomp_base^decomp_legs overflows IntegerRep: {}^{}",
                self.decomp_base, self.decomp_legs
            ));
        }

        // Visibility validations
        if self.param_visibility == Visibility::Public {
            errors.push(
                "Parameters cannot be public instances. Use 'fixed' or 'kzgcommit' instead"
                    .to_string(),

View source record →