Function sp1_recursion_circuit::stark::build_wrap_circuit

source ยท 
pub fn build_wrap_circuit(
    wrap_vk: &StarkVerifyingKey<BabyBearPoseidon2Outer>,
    template_proof: ShardProof<BabyBearPoseidon2Outer>,
) -> Vec<Constraint>