Struct zkevm_circuits::util::word::WordLoHi

pub fn new(limbs: [T; 2]) -> Self

Construct the word from 2 limbs

pub fn hi(&self) -> T

The high 128 bits limb

pub fn lo(&self) -> T

the low 128 bits limb

pub fn n() -> usize

number of limbs

pub fn to_lo_hi(&self) -> (T, T)

word to low and high 128 bits

pub fn into_lo_hi(self) -> (T, T)

Extract (move) lo and hi values

pub fn into_value(self) -> WordLoHi<Value<T>>

Wrap Word into WordLoHi<Value>

pub fn map<T2: Clone>(&self, func: impl FnMut(T) -> T2) -> WordLoHi<T2>

Map the word to other types

impl<F: Field> WordLoHi<Value<F>>

pub fn assign_advice<A, AR>( &self, region: &mut Region<'_, F>, annotation: A, column: WordLoHi<Column<Advice>>, offset: usize ) -> Result<WordLoHi<AssignedCell<F, F>>, Error>
where A: Fn() -> AR, AR: Into<String>,

Assign advice

impl WordLoHi<Column<Advice>>

pub fn query_advice<F: Field>( &self, meta: &mut VirtualCells<'_, F>, at: Rotation ) -> WordLoHi<Expression<F>>

Query advice of Word of columns advice

impl<F: Field> WordLoHi<F>

pub fn compress_f(&self) -> F

Convert address (h160) to single field element. This method is Address specific

impl<F: Field> WordLoHi<Expression<F>>

pub fn from_lo_unchecked(lo: Expression<F>) -> Self

create word from lo limb with hi limb as 0. caller need to guaranteed to be 128 bits.

pub fn select<T: Expr<F> + Clone>( selector: T, when_true: WordLoHi<T>, when_false: WordLoHi<T> ) -> WordLoHi<Expression<F>>

select based on selector. Here assume selector is 1/0 therefore no overflow check

pub fn mul_selector(&self, selector: Expression<F>) -> Self

Assume selector is 1/0 therefore no overflow check

pub fn add_unchecked(self, rhs: Self) -> Self

No overflow check on lo/hi limbs

pub fn sub_unchecked(self, rhs: Self) -> Self

No underflow check on lo/hi limbs

pub fn mul_unchecked(self, rhs: Self) -> Self

No overflow check on lo/hi limbs

pub fn compress(&self) -> Expression<F>

Convert address (h160) to single expression. This method is Address specific

Methods from Deref<Target = WordLimbs<T, 2>>§

pub fn query_advice<F: Field>( &self, meta: &mut VirtualCells<'_, F>, at: Rotation ) -> WordLimbs<Expression<F>, N>

Query advice of WordLibs of columns advice

pub fn to_expr<F: Field>(&self) -> WordLimbs<Expression<F>, N>

Convert WordLimbs of u8 to WordLimbs of expressions

pub fn assign_u256( &self, region: &mut CachedRegion<'_, '_, F>, offset: usize, word: Word ) -> Result<Vec<AssignedCell<F, F>>, Error>

assign u256 to wordlimbs

pub fn assign_h160( &self, region: &mut CachedRegion<'_, '_, F>, offset: usize, h160: H160 ) -> Result<Vec<AssignedCell<F, F>>, Error>

assign h160 to wordlimbs

pub fn assign_u64( &self, region: &mut CachedRegion<'_, '_, F>, offset: usize, value: u64 ) -> Result<Vec<AssignedCell<F, F>>, Error>

assign u64 to wordlimbs

pub fn to_word_n<const N2: usize>(&self) -> WordLimbs<Expression<F>, N2>

convert from N cells to N2 expressions limbs

pub fn is_zero_vartime(&self) -> bool

Check if zero

pub fn to_word_n<const N2: usize>(&self) -> WordLimbs<Expression<F>, N2>

to_wordlimbs will aggregate nested expressions, which implies during expression evaluation it need more recursive call. if the converted limbs word will be used in many places, consider create new low limbs word, have equality constrain, then finally use low limbs elsewhere.

pub fn eq<const N2: usize>( &self, others: &WordLimbs<Expression<F>, N2> ) -> Expression<F>

Equality expression

Trait Implementations§

impl<T: Clone> Clone for WordLoHi<T>

fn clone(&self) -> WordLoHi<T>

Returns a copy of the value. Read more

1.0.0 · source§

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

Performs copy-assignment from source. Read more

impl<T: Debug> Debug for WordLoHi<T>

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

Formats the value using the given formatter. Read more

impl<T: Default> Default for WordLoHi<T>

fn default() -> WordLoHi<T>

Returns the “default value” for a type. Read more

impl<F: Field, E: Expr<F> + Clone> ExprVec<F> for WordLoHi<E>

fn to_expr_vec(&self) -> Vec<Expression<F>>

Returns a vector of the expressions from itself

impl<F: Field> From<H160> for WordLoHi<F>

fn from(value: H160) -> Self

Construct the word from h160

impl<F: Field> From<H256> for WordLoHi<F>

fn from(h: H256) -> Self

Construct the word from H256

impl<F: Field> From<U256> for WordLoHi<F>

fn from(value: Word) -> Self

Construct the word from u256

impl<F: Field> From<bool> for WordLoHi<F>

fn from(value: bool) -> Self

Converts to this type from the input type.

impl<F: Field> From<u64> for WordLoHi<F>

fn from(value: u64) -> Self

Construct the word from u64

impl<F: Field> From<u8> for WordLoHi<F>

fn from(value: u8) -> Self

Construct the word from u8

impl<T: Clone + OpsIdentity<Output = T>> OpsIdentity for WordLoHi<T>

type Output = WordLoHi<T>

output type

fn zero() -> Self::Output

additive identity

fn one() -> Self::Output

multiplicative identity

impl<T: Clone + PartialEq> PartialEq for WordLoHi<T>

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

This method tests for self and other values to be equal, and is used by ==.

1.0.0 · source§

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

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

impl<F: Field, T: Expr<F> + Clone> WordExpr<F> for WordLoHi<T>

fn to_word(&self) -> WordLoHi<Expression<F>>

Get the word expression

impl<T> Deref for WordLoHi<T>

type Target = WordLimbs<T, 2>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T: Copy> Copy for WordLoHi<T>

Auto Trait Implementations§

impl<T> RefUnwindSafe for WordLoHi<T>
where T: RefUnwindSafe,

impl<T> Send for WordLoHi<T>
where T: Send,

impl<T> Sync for WordLoHi<T>
where T: Sync,

impl<T> Unpin for WordLoHi<T>
where T: Unpin,

impl<T> UnwindSafe for WordLoHi<T>
where T: UnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> Conv for T

fn conv<T>(self) -> T
where Self: Into<T>,

Converts self into T using Into<T>. Read more

impl<T> FmtForward for T

fn fmt_binary(self) -> FmtBinary<Self>
where Self: Binary,

Causes self to use its Binary implementation when Debug-formatted.

fn fmt_display(self) -> FmtDisplay<Self>
where Self: Display,

Causes self to use its Display implementation when Debug-formatted.

fn fmt_lower_exp(self) -> FmtLowerExp<Self>
where Self: LowerExp,

Causes self to use its LowerExp implementation when Debug-formatted.

fn fmt_lower_hex(self) -> FmtLowerHex<Self>
where Self: LowerHex,

Causes self to use its LowerHex implementation when Debug-formatted.

fn fmt_octal(self) -> FmtOctal<Self>
where Self: Octal,

Causes self to use its Octal implementation when Debug-formatted.

fn fmt_pointer(self) -> FmtPointer<Self>
where Self: Pointer,

Causes self to use its Pointer implementation when Debug-formatted.

fn fmt_upper_exp(self) -> FmtUpperExp<Self>
where Self: UpperExp,

Causes self to use its UpperExp implementation when Debug-formatted.

fn fmt_upper_hex(self) -> FmtUpperHex<Self>
where Self: UpperHex,

Causes self to use its UpperHex implementation when Debug-formatted.

fn fmt_list(self) -> FmtList<Self>
where &'a Self: for<'a> IntoIterator,

Formats each item in a sequence. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

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

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

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

fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R
where Self: Sized,

Pipes by value. This is generally the method you want to use. Read more

fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R
where R: 'a,

Borrows self and passes that borrow into the pipe function. Read more

fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R
where R: 'a,

Mutably borrows self and passes that borrow into the pipe function. Read more

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
where Self: Borrow, B: 'a + ?Sized, R: 'a,

Borrows self, then passes self.borrow() into the pipe function. Read more

fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R ) -> R
where Self: BorrowMut, B: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
where Self: AsRef, U: 'a + ?Sized, R: 'a,

Borrows self, then passes self.as_ref() into the pipe function.

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
where Self: AsMut, U: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.as_mut() into the pipe function.

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
where Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,

Borrows self, then passes self.deref() into the pipe function.

fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R ) -> R
where Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.deref_mut() into the pipe function.

impl<T> Pointable for T

const ALIGN: usize = _

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

impl<F, E> RLCable<F> for E
where F: Field, E: ExprVec<F> + ?Sized,

fn rlc(&self, r: &Expression<F>) -> Expression<F>

Returns the RLC of itself

fn rlc_rev(&self, r: &Expression<F>) -> Expression<F>

Returns the RLC of the reverse of itself

impl<T> Same for T

type Output = T

Should always be Self

impl<T> Tap for T

fn tap(self, func: impl FnOnce(&Self)) -> Self

Immutable access to a value. Read more

fn tap_mut(self, func: impl FnOnce(&mut Self)) -> Self

Mutable access to a value. Read more

fn tap_borrow(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow, B: ?Sized,

Immutable access to the Borrow of a value. Read more

fn tap_borrow_mut(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut, B: ?Sized,

Mutable access to the BorrowMut of a value. Read more

fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Immutable access to the AsRef<R> view of a value. Read more

fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Mutable access to the AsMut<R> view of a value. Read more

fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Immutable access to the Deref::Target of a value. Read more

fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Mutable access to the Deref::Target of a value. Read more

fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self

Calls .tap() only in debug builds, and is erased in release builds.

fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self

Calls .tap_mut() only in debug builds, and is erased in release builds.

fn tap_borrow_dbg(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow, B: ?Sized,

Calls .tap_borrow() only in debug builds, and is erased in release builds.

fn tap_borrow_mut_dbg(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut, B: ?Sized,

Calls .tap_borrow_mut() only in debug builds, and is erased in release builds.

fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Calls .tap_ref() only in debug builds, and is erased in release builds.

fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Calls .tap_ref_mut() only in debug builds, and is erased in release builds.

fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Calls .tap_deref() only in debug builds, and is erased in release builds.

fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Calls .tap_deref_mut() only in debug builds, and is erased in release builds.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> TryConv for T

fn try_conv<T>(self) -> Result<T, Self::Error>
where Self: TryInto<T>,

Attempts to convert self into T using TryInto<T>. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

type Error = >::Error

The type returned in the event of a conversion error.

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

Performs the conversion.

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

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

impl<T> JsonSchemaMaybe for T