Function generate_partial_script

bitvm/src/chunk/api_compiletime_utils.rs:42–74

(vk: &ark_groth16::VerifyingKey<Bn254>)

}

pub(crate) fn generate_partial_script(vk: &ark_groth16::VerifyingKey<Bn254>) -> Vec<ScriptBuf> {
    println!("generate_partial_script");
    assert!(vk.gamma_abc_g1.len() == NUM_PUBS + 1);

    let p1 = vk.alpha_g1;
    let (q3, q2, q1) = (
        vk.gamma_g2.into_group().neg().into_affine(),
        vk.delta_g2.into_group().neg().into_affine(),
        -vk.beta_g2,
    );

    let pairing = BnAffinePairing;
    let p1q1 = pairing.multi_miller_loop_affine([p1], [q1]).0;
    let mut p3vk = vk.gamma_abc_g1.clone(); // vk.vk_pubs[0]
    p3vk.reverse();
    let vky0 = p3vk.pop().unwrap();

    let vk = Vkey {
        q2,
        q3,
        p3vk,
        p1q1,
        vky0,
    };

    println!("generate_partial_script; generate_segments_using_mock_proof");
    let segments = generate_segments_using_mock_proof(vk, false);
    println!("generate_partial_script; partial_scripts_from_segments");
    let op_scripts: Vec<ScriptBuf> = partial_scripts_from_segments(&segments);
    assert_eq!(op_scripts.len(), NUM_TAPS);

    op_scripts
}

// we can use mock_vk and mock_proof here because generating bitcommitments only requires knowledge
// of how the chunks are connected and the public keys to generate locking_script