Function generate_signatures_for_any_proof

bitvm/src/chunk/api.rs:300–347

doesn't crash even if the proof may be incorrect should be used only for test purposes, as in production, its best to throw error if assertion is invalid <- always assuming honest operator

(
    proof: ark_groth16::Proof<Bn<ark_bn254::Config>>,
    scalars: Vec<ark_bn254::Fr>,
    vk: &ark_groth16::VerifyingKey<Bn254>,
    secrets: Vec<String>,
)

// as in production, its best to throw error
// if assertion is invalid <- always assuming honest operator
pub fn generate_signatures_for_any_proof(
    proof: ark_groth16::Proof<Bn<ark_bn254::Config>>,
    scalars: Vec<ark_bn254::Fr>,
    vk: &ark_groth16::VerifyingKey<Bn254>,
    secrets: Vec<String>,
) -> Signatures {
    println!("generate_signatures; get_segments_from_groth16_proof");
    let (success, mut segments) = get_segments_from_groth16_proof(proof, scalars, vk);
    if segments.len() != NUM_PUBS + NUM_U256 + NUM_HASH + VALIDATING_TAPS {
        let mock_segments = generate_segments_using_mock_vk_and_mock_proof();
        segments.extend_from_slice(&mock_segments[segments.len()..]);
    }

    println!(
        "generate_signatures; get_segments_from_groth16_proof {}",
        success
    );
    println!("generate_signatures; segments len{}", segments.len());
    println!("generate_signatures; get_assertion_from_segments");
    let assn = get_assertion_from_segments(&segments);
    println!("generate_signatures; get_signature_from_assertion");
    let sigs = get_signature_from_assertion(assn, secrets.clone());
    println!("generate_signatures; get_pubkeys");
    let pubkeys = get_pubkeys(secrets);

    println!("generate_signatures; partial_scripts_from_segments");
    let partial_scripts: Vec<ScriptBuf> = partial_scripts_from_segments(&segments)
        .into_iter()
        .collect();
    let partial_scripts: [ScriptBuf; NUM_TAPS] = partial_scripts.try_into().unwrap();
    println!("generate_signatures; append_bitcom_locking_script_to_partial_scripts");
    let disprove_scripts =
        append_bitcom_locking_script_to_partial_scripts(pubkeys, partial_scripts.to_vec());
    let disprove_scripts: [ScriptBuf; NUM_TAPS] = disprove_scripts.try_into().unwrap();

    println!("generate_signatures; execute_script_from_signature");
    let exec_res = execute_script_from_signature(&segments, sigs.clone(), &disprove_scripts);
    if exec_res.is_some() {
        let fault = exec_res.unwrap();
        println!(
            "execute_script_from_assertion return fault at script index {}",
            fault.0
        );
    } else {
        println!("generate_signatures; validated signatures by executing all scripts");
    }
    sigs
}

#[cfg(test)]
mod test {