Function groth16_generate_segments

bitvm/src/chunk/g16_runner_core.rs:88–350

(
    skip_evaluation: bool,
    all_output_hints: &mut Vec<Segment>,
    eval_ins: InputProofRaw,
    pubs: PublicParams,
    claimed_assertions: &mut Option<Vec<HashBytes>>,
)

}

pub(crate) fn groth16_generate_segments(
    skip_evaluation: bool,
    all_output_hints: &mut Vec<Segment>,
    eval_ins: InputProofRaw,
    pubs: PublicParams,
    claimed_assertions: &mut Option<Vec<HashBytes>>,
) -> bool {
    macro_rules! push_compare_or_return {
        ($seg:ident) => {{
            all_output_hints.push($seg.clone());
            if $seg.scr_type.is_final_script() {
                if let DataType::U256Data(felem) = $seg.result.0 {
                    if felem != ark_ff::BigInt::<4>::one() {
                        return false;
                    }
                } else {
                    unreachable!();
                }
            } else if $seg.is_valid_input == false {
                return false;
            } else {
                let matches = compare(&$seg.result.0, claimed_assertions);
                if matches.is_some() && matches.unwrap() == false {
                    return false;
                }
            }
        }};
    }
    let vky = pubs.ks_vks;
    let vky0 = pubs.vky0;

    let (gp2, gp4, gq4, gc, pub_scalars) = raw_input_proof_to_segments(eval_ins, all_output_hints);
    let (gp2x, gp2y) = (gp2[0].clone(), gp2[1].clone());
    let (gp4x, gp4y) = (gp4[0].clone(), gp4[1].clone());
    let (q4xc0, q4xc1, q4yc0, q4yc1) = (
        gq4[0].clone(),
        gq4[1].clone(),
        gq4[2].clone(),
        gq4[3].clone(),
    );
    let gc = gc.to_vec();

    let pub_scalars = pub_scalars.to_vec();

    let p4 = wrap_hints_precompute_p(skip_evaluation, all_output_hints.len(), &gp4y, &gp4x);
    push_compare_or_return!(p4);

    let p2 = wrap_hints_precompute_p(skip_evaluation, all_output_hints.len(), &gp2y, &gp2x);
    push_compare_or_return!(p2);

    let msms = wrap_hint_msm(
        skip_evaluation,
        all_output_hints.len(),
        pub_scalars.clone(),
        vky.clone(),
    );
    for msm in &msms {
        push_compare_or_return!(msm);