Struct Phase1CRSElements

pub struct Phase1CRSElements { /* private fields */ }

The CRS elements we produce in phase 1.

Not all elements of the final CRS are present here.

Implementations

impl CRSElements

pub fn root(d: usize) -> Self

Generate a “root” CRS, containing the value 1 for each secret element.

This takes in the degree “d” associated with the circuit we need to do a setup for, as per the docs.

Naturally, these elements shouldn’t actually be used as-is, but this serves as a logical basis for the start of the phase.

Trait Implementations

impl CanonicalDeserialize for CRSElements

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_compressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

impl CanonicalSerialize for CRSElements

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, compress: Compress) -> usize

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn compressed_size(&self) -> usize

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn uncompressed_size(&self) -> usize

impl Clone for CRSElements

fn clone(&self) -> CRSElements

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CRSElements

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

Formats the value using the given formatter.

impl Hashable for CRSElements

fn hash(&self) -> ContributionHash

impl PartialEq for CRSElements

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Valid for CRSElements

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl StructuralPartialEq for CRSElements