INNER CODE UNIT · Rust

to_bytes_le

arkworks-rs/groth16 · src/constraints.rs:439

    fn to_bytes_le(&self) -> Result<Vec<UInt8<BasePrimeField<E>>>, SynthesisError> {
        let mut bytes = Vec::new();
        bytes.extend_from_slice(&self.alpha_g1.to_bytes_le()?);
        bytes.extend_from_slice(&self.beta_g2.to_bytes_le()?);
        bytes.extend_from_slice(&self.gamma_g2.to_bytes_le()?);
        bytes.extend_from_slice(&self.delta_g2.to_bytes_le()?);
        for g in &self.gamma_abc_g1 {
            bytes.extend_from_slice(&g.to_bytes_le()?);
        }
        Ok(bytes)
    }
}

#[cfg(test)]
mod test {
    use crate::{constraints::Groth16VerifierGadget, Groth16};
    use ark_crypto_primitives::snark::{constraints::SNARKGadget, SNARK};
    use ark_ec::pairing::Pairing;

View source record →