Type Alias SnarkBalance

pub type SnarkBalance = CheckedBalance<Fp>;

Aliased Type

pub struct SnarkBalance(Fp256<FpParameters>);

Tuple Fields

0: Fp256<FpParameters>

Trait Implementations

impl BalanceInterface for SnarkBalance

type W = Witness<Fp256<FpParameters>>

type Bool = CircuitVar<Boolean>

type Amount = CheckedAmount<Fp256<FpParameters>>

type SignedAmount = CheckedSigned<Fp256<FpParameters>, CheckedAmount<Fp256<FpParameters>>>

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