pub enum SymbolicExpr {
Input(usize),
Var(usize),
Const(usize, BigUint, usize),
Add(Box<SymbolicExpr>, Box<SymbolicExpr>),
Sub(Box<SymbolicExpr>, Box<SymbolicExpr>),
Mul(Box<SymbolicExpr>, Box<SymbolicExpr>),
Div(Box<SymbolicExpr>, Box<SymbolicExpr>),
IntAdd(Box<SymbolicExpr>, isize),
IntMul(Box<SymbolicExpr>, isize),
Select(usize, Box<SymbolicExpr>, Box<SymbolicExpr>),
}
Expand description
Example: If there are 4 inputs (x1, y1, x2, y2), and one intermediate variable lambda, Mul(Var(0), Var(0)) - Input(0) - Input(2) => lambda * lambda - x1 - x2
Variants§
Input(usize)
Var(usize)
Const(usize, BigUint, usize)
Add(Box<SymbolicExpr>, Box<SymbolicExpr>)
Sub(Box<SymbolicExpr>, Box<SymbolicExpr>)
Mul(Box<SymbolicExpr>, Box<SymbolicExpr>)
Div(Box<SymbolicExpr>, Box<SymbolicExpr>)
IntAdd(Box<SymbolicExpr>, isize)
IntMul(Box<SymbolicExpr>, isize)
Select(usize, Box<SymbolicExpr>, Box<SymbolicExpr>)
Implementations§
Source§impl SymbolicExpr
impl SymbolicExpr
pub fn constraint_limb_max_abs( &self, limb_bits: usize, num_limbs: usize, ) -> usize
pub fn constraint_carry_bits_with_pq( &self, prime: &BigUint, limb_bits: usize, num_limbs: usize, ) -> usize
pub fn expr_limbs(&self, num_limbs: usize) -> usize
pub fn constraint_limbs( &self, prime: &BigUint, limb_bits: usize, num_limbs: usize, ) -> (usize, usize)
pub fn evaluate_bigint( &self, inputs: &[BigInt], variables: &[BigInt], flags: &[bool], ) -> BigInt
pub fn evaluate_overflow_isize( &self, inputs: &[OverflowInt<isize>], variables: &[OverflowInt<isize>], constants: &[OverflowInt<isize>], flags: &[bool], ) -> OverflowInt<isize>
pub fn evaluate_overflow_expr<AB: AirBuilder>( &self, inputs: &[OverflowInt<AB::Expr>], variables: &[OverflowInt<AB::Expr>], constants: &[OverflowInt<AB::Expr>], flags: &[AB::Var], ) -> OverflowInt<AB::Expr>
pub fn compute( &self, inputs: &[BigUint], variables: &[BigUint], flags: &[bool], prime: &BigUint, ) -> BigUint
Trait Implementations§
Source§impl Add<&SymbolicExpr> for SymbolicExpr
impl Add<&SymbolicExpr> for SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
+
operator.Source§impl Add<SymbolicExpr> for &SymbolicExpr
impl Add<SymbolicExpr> for &SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
+
operator.Source§impl Add for &SymbolicExpr
impl Add for &SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
+
operator.Source§impl Add for SymbolicExpr
impl Add for SymbolicExpr
Source§impl Clone for SymbolicExpr
impl Clone for SymbolicExpr
Source§fn clone(&self) -> SymbolicExpr
fn clone(&self) -> SymbolicExpr
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for SymbolicExpr
impl Debug for SymbolicExpr
Source§impl Display for SymbolicExpr
impl Display for SymbolicExpr
Source§impl Div<&SymbolicExpr> for SymbolicExpr
impl Div<&SymbolicExpr> for SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
/
operator.Source§impl Div<SymbolicExpr> for &SymbolicExpr
impl Div<SymbolicExpr> for &SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
/
operator.Source§impl Div for &SymbolicExpr
impl Div for &SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
/
operator.Source§impl Div for SymbolicExpr
impl Div for SymbolicExpr
Source§impl Mul<&SymbolicExpr> for SymbolicExpr
impl Mul<&SymbolicExpr> for SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
*
operator.Source§impl Mul<SymbolicExpr> for &SymbolicExpr
impl Mul<SymbolicExpr> for &SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
*
operator.Source§impl Mul for &SymbolicExpr
impl Mul for &SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
*
operator.Source§impl Mul for SymbolicExpr
impl Mul for SymbolicExpr
Source§impl PartialEq for SymbolicExpr
impl PartialEq for SymbolicExpr
Source§impl Sub<&SymbolicExpr> for SymbolicExpr
impl Sub<&SymbolicExpr> for SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
-
operator.Source§impl Sub<SymbolicExpr> for &SymbolicExpr
impl Sub<SymbolicExpr> for &SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
-
operator.Source§impl Sub for &SymbolicExpr
impl Sub for &SymbolicExpr
Source§type Output = SymbolicExpr
type Output = SymbolicExpr
The resulting type after applying the
-
operator.Source§impl Sub for SymbolicExpr
impl Sub for SymbolicExpr
impl StructuralPartialEq for SymbolicExpr
Auto Trait Implementations§
impl Freeze for SymbolicExpr
impl RefUnwindSafe for SymbolicExpr
impl Send for SymbolicExpr
impl Sync for SymbolicExpr
impl Unpin for SymbolicExpr
impl UnwindSafe for SymbolicExpr
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
Causes
self
to use its Binary
implementation when Debug
-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
Causes
self
to use its Display
implementation when
Debug
-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
Causes
self
to use its LowerExp
implementation when
Debug
-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
Causes
self
to use its LowerHex
implementation when
Debug
-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
Causes
self
to use its Octal
implementation when Debug
-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
Causes
self
to use its Pointer
implementation when
Debug
-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
Causes
self
to use its UpperExp
implementation when
Debug
-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
Causes
self
to use its UpperHex
implementation when
Debug
-formatted.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Pipes by value. This is generally the method you want to use. Read more
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
Borrows
self
and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
Mutably borrows
self
and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
Borrows
self
, then passes self.as_ref()
into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
Mutably borrows
self
, then passes self.as_mut()
into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
Borrows
self
, then passes self.deref()
into the pipe function.Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Immutable access to the
Borrow<B>
of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
Mutable access to the
BorrowMut<B>
of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
Immutable access to the
AsRef<R>
view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
Mutable access to the
AsMut<R>
view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Immutable access to the
Deref::Target
of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Mutable access to the
Deref::Target
of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
Calls
.tap()
only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls
.tap_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
Calls
.tap_borrow()
only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
Calls
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
Calls
.tap_ref()
only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
Calls
.tap_ref_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
Calls
.tap_deref()
only in debug builds, and is erased in release
builds.