Struct zkinterface::structs::constraints::ConstraintSystem

pub struct ConstraintSystem {
    pub constraints: Vec<BilinearConstraint>,
}

Fields

constraints: Vec<BilinearConstraint>

Implementations

impl ConstraintSystem

pub fn build<'bldr: 'args, 'args: 'mut_bldr, 'mut_bldr>(
    &'args self,
    builder: &'mut_bldr mut FlatBufferBuilder<'bldr>
) -> WIPOffset<Root<'bldr>>

Add this structure into a Flatbuffers message builder.

pub fn write_into(&self, writer: &mut impl Write) -> Result<()>

Writes this constraint system as a Flatbuffers message into the provided buffer.

Examples

let mut buf = Vec::<u8>::new();
let constraints = zkinterface::ConstraintSystem::from(&[][..]);
constraints.write_into(&mut buf).unwrap();
assert!(buf.len() > 0);

Trait Implementations

impl Clone for ConstraintSystem

fn clone(&self) -> ConstraintSystem

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ConstraintSystem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ConstraintSystem

fn default() -> ConstraintSystem

Returns the "default value" for a type.

impl<'de> Deserialize<'de> for ConstraintSystem

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Eq for ConstraintSystem

impl<'_> From<&'_ [((Vec<u64>, Vec<u8>), (Vec<u64>, Vec<u8>), (Vec<u64>, Vec<u8>))]> for ConstraintSystem

fn from(
    constraints_vec: &[((Vec<u64>, Vec<u8>), (Vec<u64>, Vec<u8>), (Vec<u64>, Vec<u8>))]
) -> ConstraintSystem

Creates a ConstraintSystem from an R1CS vector

Examples

let constraints_vec: &[((Vec<u64>, Vec<u8>), (Vec<u64>, Vec<u8>), (Vec<u64>, Vec<u8>))] = &[
    // (A ids values)  *  (B ids values)  =  (C ids values)
    ((vec![1], vec![1]), (vec![1], vec![1]), (vec![4], vec![1])),       // x * x = xx
    ((vec![2], vec![1]), (vec![2], vec![1]), (vec![5], vec![1])),       // y * y = yy
    ((vec![0], vec![1]), (vec![4, 5], vec![1, 1]), (vec![3], vec![1])), // 1 * (xx + yy) = z
];

let constraints = zkinterface::ConstraintSystem::from(constraints_vec);

impl<'a> From<ConstraintSystem<'a>> for ConstraintSystem

fn from(fb_cs: ConstraintSystem<'_>) -> ConstraintSystem

Convert from Flatbuffers references to owned structure.

impl PartialEq<ConstraintSystem> for ConstraintSystem

fn eq(&self, other: &ConstraintSystem) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ConstraintSystem) -> bool

This method tests for !=.

impl Serialize for ConstraintSystem

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl StructuralEq for ConstraintSystem

impl StructuralPartialEq for ConstraintSystem

impl<'a> TryFrom<&'a [u8]> for ConstraintSystem

type Error = Box<dyn Error>

The type returned in the event of a conversion error.

fn try_from(buffer: &'a [u8]) -> Result<Self>

Performs the conversion.