Struct SerializableProof

pub struct SerializableProof {
    pub c_l: AffinePoint,
    pub c_r: AffinePoint,
    pub c_o: AffinePoint,
    pub c_s: AffinePoint,
    pub r: Vec<AffinePoint>,
    pub x: Vec<AffinePoint>,
    pub l: Vec<Scalar>,
    pub n: Vec<Scalar>,
}

Represent serializable version of arithmetic circuit proof (uses AffinePoint instead of ProjectivePoint).

Fields

c_l: AffinePoint

c_r: AffinePoint

c_o: AffinePoint

c_s: AffinePoint

r: Vec<AffinePoint>

x: Vec<AffinePoint>

l: Vec<Scalar>

n: Vec<Scalar>

Trait Implementations

impl Clone for SerializableProof

fn clone(&self) -> SerializableProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SerializableProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SerializableProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&Proof> for SerializableProof

fn from(value: &Proof) -> Self

Converts to this type from the input type.

impl From<&SerializableProof> for Proof

fn from(value: &SerializableProof) -> Self

Converts to this type from the input type.

impl Serialize for SerializableProof

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

where __S: Serializer,

Serialize this value into the given Serde serializer.