Type Alias SnarkGlobalSlot

pub type SnarkGlobalSlot = CheckedSlot<Fp>;

Aliased Type

pub struct SnarkGlobalSlot(Fp256<FpParameters>);

Tuple Fields

0: Fp256<FpParameters>

Trait Implementations

impl GlobalSlotSinceGenesisInterface for SnarkGlobalSlot

type W = Witness<Fp256<FpParameters>>

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