pub fn chunking_proof_from_miracl(chunking_proof: &ProofChunking) -> ZKProofDec {
    ZKProofDec {
        first_move_y0: miracl_g1_to_bytes(&chunking_proof.y0),
        first_move_b: chunking_proof
            .bb
            .iter()
            .map(miracl_g1_to_bytes)
            .collect::<ArrayVec<_>>()
            .into_inner()
            .expect("Wrong size of first_move_b==bb in chunking proof"),
        first_move_c: chunking_proof
            .cc
            .iter()
            .map(miracl_g1_to_bytes)
            .collect::<ArrayVec<_>>()
            .into_inner()
            .expect("Wrong size of first_move_c==cc in chunking proof"),
        second_move_d: chunking_proof.dd.iter().map(miracl_g1_to_bytes).collect(),
        second_move_y: miracl_g1_to_bytes(&chunking_proof.yy),
        response_z_r: chunking_proof.z_r.iter().map(miracl_fr_to_bytes).collect(),
        response_z_s: chunking_proof
            .z_s
            .iter()
            .map(miracl_fr_to_bytes)
            .collect::<ArrayVec<_>>()
            .into_inner()
            .expect("Wrong size of response_z_s==z_s in chunking proof"),
        response_z_b: miracl_fr_to_bytes(&chunking_proof.z_beta),
    }
}
/// Serialises a chunking proof from the miracl-compatible form to the stanard
/// form.
///
/// # Panics
/// This will panic if the miracl proof is malformed.  Given that the miracl
/// representation is created internally, such an error can only be caused by an
/// error in implementation.
Serialises a chunking proof from the miracl-compatible form to the stanard
form.
Serialises a chunking proof from the miracl - compatible form to the stanard form .
pub fn chunking_proof_from_miracl(chunking_proof: &ProofChunking) -> ZKProofDec {
    ZKProofDec {
        first_move_y0: miracl_g1_to_bytes(&chunking_proof.y0),
        first_move_b: chunking_proof
            .bb
            .iter()
            .map(miracl_g1_to_bytes)
            .collect::<ArrayVec<_>>()
            .into_inner()
            .expect("Wrong size of first_move_b==bb in chunking proof"),
        first_move_c: chunking_proof
            .cc
            .iter()
            .map(miracl_g1_to_bytes)
            .collect::<ArrayVec<_>>()
            .into_inner()
            .expect("Wrong size of first_move_c==cc in chunking proof"),
        second_move_d: chunking_proof.dd.iter().map(miracl_g1_to_bytes).collect(),
        second_move_y: miracl_g1_to_bytes(&chunking_proof.yy),
        response_z_r: chunking_proof.z_r.iter().map(miracl_fr_to_bytes).collect(),
        response_z_s: chunking_proof
            .z_s
            .iter()
            .map(miracl_fr_to_bytes)
            .collect::<ArrayVec<_>>()
            .into_inner()
            .expect("Wrong size of response_z_s==z_s in chunking proof"),
        response_z_b: miracl_fr_to_bytes(&chunking_proof.z_beta),
    }
}
pub fn chunking_proof_from_miracl ( chunking_proof : & ProofChunking ) -> ZKProofDec { ZKProofDec { first_move_y0 : miracl_g1_to_bytes ( & chunking_proof . y0 ) , first_move_b : chunking_proof . bb . iter ( ) . map ( miracl_g1_to_bytes ) . collect :: < ArrayVec < _ > > ( ) . into_inner ( ) . expect ( " " ) , first_move_c : chunking_proof . cc . iter ( ) . map ( miracl_g1_to_bytes ) . collect :: < ArrayVec < _ > > ( ) . into_inner ( ) . expect ( " " ) , second_move_d : chunking_proof . dd . iter ( ) . map ( miracl_g1_to_bytes ) . collect ( ) , second_move_y : miracl_g1_to_bytes ( & chunking_proof . yy ) , response_z_r : chunking_proof . z_r . iter ( ) . map ( miracl_fr_to_bytes ) . collect ( ) , response_z_s : chunking_proof . z_s . iter ( ) . map ( miracl_fr_to_bytes ) . collect :: < ArrayVec < _ > > ( ) . into_inner ( ) . expect ( " " ) , response_z_b : miracl_fr_to_bytes ( & chunking_proof . z_beta ) , } }
Serialises a chunking proof from the miracl-compatible form to the stanard
form.
Serialises a chunking proof from the miracl - compatible form to the stanard form .
chunking_proof
&ProofChunking
chunking_proof
&ProofChunking
panics
This will panic if the miracl proof is malformed.  Given that the miracl
representation is created internally, such an error can only be caused by an
error in implementation.
This will panic if the miracl proof is malformed . Given that the miracl representation is created internally such an error can only be caused by an error in implementation .