pub fn merge_window_post_partition_proofs(
    proofs: Vec<PartitionSnarkProof>
) -> Result<SnarkProof>