Struct ArithCircuit

pub struct ArithCircuit<F: Field> { /* private fields */ }

A simple circuit representation of an arithmetic expression.

This implementation isn’t optimized for performance, but rather for simplicity to allow easy conversion and preservation of the

Implementations

impl<F: Field> ArithCircuit<F>

pub fn steps(&self) -> &[ArithCircuitStep<F>]

Steps of the circuit.

pub fn degree(&self) -> usize

pub fn n_vars(&self) -> usize

pub fn binary_tower_level(&self) -> usize

where F: TowerField,

pub fn convert_field<FTgt: Field + From<F>>(&self) -> ArithCircuit<FTgt>

pub fn try_convert_field<FTgt: Field + TryFrom<F>>( &self, ) -> Result<ArithCircuit<FTgt>, <FTgt as TryFrom<F>>::Error>

pub fn remap_vars(&self, indices: &[usize]) -> Result<Self, Error>

Trait Implementations

impl<F: Clone + Field> Clone for ArithCircuit<F>

fn clone(&self) -> ArithCircuit<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for ArithCircuit<F>

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

Formats the value using the given formatter.

impl<F: Field + DeserializeBytes> DeserializeBytes for ArithCircuit<F>

fn deserialize( read_buf: impl Buf, mode: SerializationMode, ) -> Result<Self, SerializationError>

where Self: Sized,

impl<F: Field, FTgt: Field + From<F>> From<&ArithCircuit<F>> for ArithExpr<FTgt>

fn from(circuit: &ArithCircuit<F>) -> Self

Converts to this type from the input type.

impl<F: Field> From<&ArithExpr<F>> for ArithCircuit<F>

fn from(expr: &ArithExpr<F>) -> Self

Converts to this type from the input type.

impl<F: PartialEq + Field> PartialEq for ArithCircuit<F>

fn eq(&self, other: &ArithCircuit<F>) -> 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<F: Field + SerializeBytes> SerializeBytes for ArithCircuit<F>

fn serialize( &self, write_buf: impl BufMut, mode: SerializationMode, ) -> Result<(), SerializationError>

impl<F: Eq + Field> Eq for ArithCircuit<F>

impl<F: Field> StructuralPartialEq for ArithCircuit<F>