INNER CODE UNIT · Rust

max_decomp

zkonduit/ezkl · src/lib.rs:339

        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(),
            );
        }

        // Scale validations
        if self.scale_rebase_multiplier < 1 {

View source record →