Type Alias SnarkBalance

pub type SnarkBalance = CheckedBalance<Fp>;

Aliased Type

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

Tuple Fields

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

Trait Implementations

impl BalanceInterface for SnarkBalance

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

type Bool = CircuitVar<Boolean>

type Amount = CheckedAmount<Fp<MontBackend<FqConfig, 4>, 4>>

type SignedAmount = CheckedSigned<Fp<MontBackend<FqConfig, 4>, 4>, CheckedAmount<Fp<MontBackend<FqConfig, 4>, 4>>>

fn add_signed_amount_flagged( &self, signed_amount: Self::SignedAmount, w: &mut Self::W, ) -> (Self, Self::Bool)