Function generate_block_proof

pub(super) fn generate_block_proof(
    params: BlockParams<'_>,
    w: &mut Witness<Fp>,
) -> Result<WrapProof>