Struct acvm_stdlib::blackbox_fallbacks::UInt32

pub struct UInt32 { /* private fields */ }

UInt contains a witness that points to a field element that represents a u32 integer It has a inner field of type Witness that points to the field element and width = 32

Implementations

impl UInt32

pub fn new(witness: Witness) -> Self

Initialize A new [UInt] type with a Witness

pub fn euclidean_division( lhs: &UInt32, rhs: &UInt32, num_witness: u32 ) -> (UInt32, UInt32, Vec<Opcode>, u32)

Returns the quotient and remainder such that lhs = rhs * quotient + remainder

pub fn rol(&self, rotation: u32, num_witness: u32) -> (UInt32, Vec<Opcode>, u32)

Rotate left rotation bits. (x << rotation) | (x >> (width - rotation))

pub fn ror(&self, rotation: u32, num_witness: u32) -> (UInt32, Vec<Opcode>, u32)

Rotate right rotation bits. (x >> rotation) | (x << (width - rotation))

pub fn leftshift( &self, bits: u32, num_witness: u32 ) -> (UInt32, Vec<Opcode>, u32)

left shift by bits

pub fn rightshift( &self, bits: u32, num_witness: u32 ) -> (UInt32, Vec<Opcode>, u32)

right shift by bits

pub fn add(&self, rhs: &UInt32, num_witness: u32) -> (UInt32, Vec<Opcode>, u32)

Caculate and constrain self + rhs

pub fn sub(&self, rhs: &UInt32, num_witness: u32) -> (UInt32, Vec<Opcode>, u32)

Caculate and constrain self - rhs

pub fn and(&self, rhs: &UInt32, num_witness: u32) -> (UInt32, Vec<Opcode>, u32)

Calculate and constrain self and rhs

pub fn xor(&self, rhs: &UInt32, num_witness: u32) -> (UInt32, Vec<Opcode>, u32)

Calculate and constrain self xor rhs

pub fn or(&self, rhs: &UInt32, num_witness: u32) -> (UInt32, Vec<Opcode>, u32)

Calculate and constrain self or rhs

pub fn less_than_comparison( &self, rhs: &UInt32, num_witness: u32 ) -> (UInt32, Vec<Opcode>, u32)

Calculate and constrain self < rhs

Trait Implementations

impl Clone for UInt32

fn clone(&self) -> UInt32

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UInt32

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

Formats the value using the given formatter.

impl Copy for UInt32