Struct libzeropool::circuit::note::CNote

pub struct CNote<C: CS> {
    pub d: CBoundedNum<C, { constants::DIVERSIFIER_SIZE_BITS }>,
    pub p_d: CNum<C>,
    pub b: CBoundedNum<C, { constants::BALANCE_SIZE_BITS }>,
    pub t: CBoundedNum<C, { constants::SALT_SIZE_BITS }>,
}

Fields

d: CBoundedNum<C, { constants::DIVERSIFIER_SIZE_BITS }>

p_d: CNum<C>

b: CBoundedNum<C, { constants::BALANCE_SIZE_BITS }>

t: CBoundedNum<C, { constants::SALT_SIZE_BITS }>

Implementations

impl<C: CS> CNote<C>

pub fn hash<P: PoolParams<Fr = C::Fr>>(&self, params: &P) -> CNum<C>

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

pub fn is_zero(&self) -> CBool<C>

Trait Implementations

impl<C: Clone + CS> Clone for CNote<C>

fn clone(&self) -> CNote<C>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: CS> Signal<C> for CNote<C>

type Value = Note<C::Fr>

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

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

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

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

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

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

fn inputize(&self)

fn assert_eq(&self, other: &Self)

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

fn alloc(cs: &RCS<C>, value: Option<&Self::Value>) -> 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>,