Method lookups

crates/aiur/src/gadgets/bytes2.rs:194–311

(&self)

    let less_than_multiplicity = Expr::main(5);
    let range_check_multiplicity = Expr::main(6);
    let mul_multiplicity = Expr::main(7);
    let xor_split7_multiplicity = Expr::main(8);
    let xor_split4_multiplicity = Expr::main(9);

    // Preprocessed columns
    let i = Expr::preprocessed(0);
    let j = Expr::preprocessed(1);
    let xor = Expr::preprocessed(2);
    let add_r = Expr::preprocessed(3);
    let sub_r = Expr::preprocessed(4);
    let and = Expr::preprocessed(5);
    let or = Expr::preprocessed(6);
    let less_than = Expr::preprocessed(7);
    let mul_lo = Expr::preprocessed(8);
    let mul_hi = Expr::preprocessed(9);
    let xor_split7_hi = Expr::preprocessed(10);
    let xor_split7_lo = Expr::preprocessed(11);
    let xor_split4_hi = Expr::preprocessed(12);
    let xor_split4_lo = Expr::preprocessed(13);

    // pull = negated multiplicity.
    let pull_xor = Lookup {
      multiplicity: -xor_multiplicity,
      args: vec![xor_channel, i.clone(), j.clone(), xor],
    };

    let pull_add = Lookup {
      multiplicity: -add_multiplicity,
      args: vec![add_channel, i.clone(), j.clone(), add_r],
    };

    let pull_sub = Lookup {
      multiplicity: -sub_multiplicity,
      args: vec![sub_channel, i.clone(), j.clone(), sub_r],
    };

    let pull_and = Lookup {
      multiplicity: -and_multiplicity,
      args: vec![and_channel, i.clone(), j.clone(), and],
    };

    let pull_or = Lookup {
      multiplicity: -or_multiplicity,
      args: vec![or_channel, i.clone(), j.clone(), or],
    };

    let pull_less_than = Lookup {
      multiplicity: -less_than_multiplicity,
      args: vec![less_than_channel, i.clone(), j.clone(), less_than],
    };

    let pull_mul = Lookup {
      multiplicity: -mul_multiplicity,
      args: vec![mul_channel, i.clone(), j.clone(), mul_lo, mul_hi],
    };

    let pull_range_check = Lookup {
      multiplicity: -range_check_multiplicity,