Struct Statement

Source

pub struct Statement {
    pub a_constraint: Vec<Vec<PolyVector>>,
    pub phi_constraint: Vec<Vec<PolyVector>>,
    pub b_constraint: PolyVector,
    pub a_ct: Vec<Vec<PolyVector>>,
    pub phi_ct: Vec<Vec<PolyVector>>,
    pub b_0_ct: ZqVector,
}

Expand description

Statement is the input of the prover, which contains the constraints. All parameters are from line 1, st, in the verifier process, page 18 from the paper.

Fields§

§a_constraint: Vec<Vec<PolyVector>>§phi_constraint: Vec<Vec<PolyVector>>§b_constraint: PolyVector§a_ct: Vec<Vec<PolyVector>>§phi_ct: Vec<Vec<PolyVector>>§b_0_ct: ZqVector

Struct StatementCopy item path

Fields§

Implementations§

impl Statement

pub fn new(witness: &Witness, ep: &EnvironmentParameters) -> Self

Auto Trait Implementations§

impl Freeze for Statement

impl RefUnwindSafe for Statement

impl Send for Statement

impl Sync for Statement

impl Unpin for Statement

impl UnwindSafe for Statement

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

Struct Statement

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,