1use ark_ff::PrimeField;
 2
 3use crate::Error;
 4
 5pub mod ccs;
 6pub mod r1cs;
 7
 8pub trait Arith<F: PrimeField> {
 9    /// Checks that the given Arith structure is satisfied by a z vector. Used only for testing.
10    fn check_relation(&self, z: &[F]) -> Result<(), Error>;
11
12    /// Returns the bytes that represent the parameters, that is, the matrices sizes, the amount of
13    /// public inputs, etc, without the matrices/polynomials values.
14    fn params_to_le_bytes(&self) -> Vec<u8>;
15}