Struct CBoundedNum

pub struct CBoundedNum<C: CS, const L: usize>(/* private fields */);

Implementations

impl<C: CS, const L: usize> CBoundedNum<C, L>

pub fn new_unchecked(n: &CNum<C>) -> Self

pub fn new_trimmed(n: CNum<C>) -> Self

pub fn new(n: &CNum<C>) -> Self

pub fn as_num(&self) -> &CNum<C>

Trait Implementations

impl<C: Clone + CS, const L: usize> Clone for CBoundedNum<C, L>

fn clone(&self) -> CBoundedNum<C, L>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: CS, const L: usize> Signal<C> for CBoundedNum<C, L>

type Value = BoundedNum<<C as CS>::Fr, L>

fn as_const(&self) -> Option<Self::Value>

fn get_value(&self) -> Option<Self::Value>

fn from_const(cs: &RCS<C>, value: &Self::Value) -> Self

fn get_cs(&self) -> &RCS<C>

fn alloc(cs: &RCS<C>, value: Option<&Self::Value>) -> Self

fn switch(&self, bit: &CBool<C>, if_else: &Self) -> Self

fn assert_const(&self, value: &Self::Value)

fn assert_eq(&self, other: &Self)

fn is_eq(&self, other: &Self) -> CBool<C>

fn inputize(&self)

fn derive_const<T>(&self, value: &<T as Signal<C>>::Value) -> T

where T: Signal<C>,

fn derive_alloc<T>(&self, value: Option<&<T as Signal<C>>::Value>) -> T

where T: Signal<C>,