fn plr_roots_and_proof()

in src/hashwires.rs [506:525]

• 19 lines of code
• 1 McCabe index (conditional complexity)

fn plr_roots_and_proof<D: Hash>(
    seed: &[u8],
    wires: &[Vec<[u8; 32]>],
    max_length: usize,
    mdp_index: usize,
    proving_value_split_size: usize,
) -> (
    Vec<GenericArray<u8, PlrPaddingSize>>,
    Option<GenericArray<u8, PlrPaddingSize>>,
) {
    let plr: Vec<(
        GenericArray<u8, PlrPaddingSize>,
        Option<GenericArray<u8, PlrPaddingSize>>,
    )> = wires
        .iter()
        .map(|v| plr_accumulator::<D>(seed, v, max_length, proving_value_split_size))
        .collect();

    (plr.iter().map(|v| (*v).0).collect(), plr[mdp_index].1)
}