Type Alias SnarkAmount

pub type SnarkAmount = CheckedAmount<Fp>;

Aliased Type

pub struct SnarkAmount(Fp<MontBackend<FqConfig, 4>, 4>);

Tuple Fields

0: Fp<MontBackend<FqConfig, 4>, 4>

Trait Implementations

impl AmountInterface for SnarkAmount

type W = Witness<Fp<MontBackend<FqConfig, 4>, 4>>

type Bool = CircuitVar<Boolean>

fn zero() -> Self

fn of_constant_fee(fee: Fee) -> Self