Type Alias SnarkGlobalSlot

pub type SnarkGlobalSlot = CheckedSlot<Fp>;

Aliased Type

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

Tuple Fields

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

Trait Implementations

impl GlobalSlotSinceGenesisInterface for SnarkGlobalSlot

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

type Bool = CircuitVar<Boolean>

fn equal(&self, other: &Self, w: &mut Self::W) -> Self::Bool

fn exists_no_check(self, w: &mut Self::W) -> Self