Function generate_segments_using_mock_proof

bitvm/src/chunk/api_compiletime_utils.rs:106–183

(vk: Vkey, skip_evaluation: bool)

}

fn generate_segments_using_mock_proof(vk: Vkey, skip_evaluation: bool) -> Vec<Segment> {
    // values known only at runtime, can be mocked
    let q4xc0: ark_bn254::Fq = ark_bn254::Fq::from(
        BigUint::from_str(
            "18327300221956260726652878806040774028373651771658608258634994907375058801387",
        )
        .unwrap(),
    );
    let q4xc1: ark_bn254::Fq = ark_bn254::Fq::from(
        BigUint::from_str(
            "2791853351403597124265928925229664715548948431563105825401192338793643440152",
        )
        .unwrap(),
    );
    let q4yc0: ark_bn254::Fq = ark_bn254::Fq::from(
        BigUint::from_str(
            "9203020065248672543175273161372438565462224153828027408202959864555260432617",
        )
        .unwrap(),
    );
    let q4yc1: ark_bn254::Fq = ark_bn254::Fq::from(
        BigUint::from_str(
            "21242559583226289516723159151189961292041850314492937202099045542257932723954",
        )
        .unwrap(),
    );
    let tx = ark_bn254::Fq2::new(q4xc0, q4xc1);
    let ty = ark_bn254::Fq2::new(q4yc0, q4yc1);
    let t2 = ark_bn254::G2Affine::new(tx, ty);

    let g1x: ark_bn254::Fq = ark_bn254::Fq::from(
        BigUint::from_str(
            "5567084537907487155917146166615783238769284480674905823618779044732684151587",
        )
        .unwrap(),
    );
    let g1y: ark_bn254::Fq = ark_bn254::Fq::from(
        BigUint::from_str(
            "6500138522353517220105129525103627482682148482121078429366182801568786680416",
        )
        .unwrap(),
    );
    let t1 = ark_bn254::G1Affine::new(g1x, g1y);

    let mut segments: Vec<Segment> = vec![];
    let g1 = t1;
    let g2 = t2;
    let fr: ark_ff::BigInt<4> = ark_ff::BigInt::from(1u64);
    let c = ark_bn254::Fq6::ONE;
    let mocked_eval_ins: InputProof = InputProof {
        p2: g1,
        p4: g1,
        q4: g2,
        c,
        ks: vec![fr.into(); NUM_PUBS],
    };

    // public values known at compile time