Trait ZkappCheckOps

pub trait ZkappCheckOps {
    // Required methods
    fn compare_closed_interval<T: ForZkappCheck<Fp>>(
        interval: &ClosedInterval<T>,
        value: &T,
        w: &mut Witness<Fp>,
    ) -> Boolean;
    fn is_boolean_equal(
        a: &Boolean,
        b: &Boolean,
        w: &mut Witness<Fp>,
    ) -> Boolean;
    fn is_field_equal(a: &Fp, b: &Fp, w: &mut Witness<Fp>) -> Boolean;
    fn is_compressed_key_equal(
        a: &CompressedPubKey,
        b: &CompressedPubKey,
        w: &mut Witness<Fp>,
    ) -> Boolean;
    fn boolean_all<I>(bools: I, w: &mut Witness<Fp>) -> Boolean
       where I: IntoIterator<Item = Boolean>;
    fn boolean_any<I>(bools: I, w: &mut Witness<Fp>) -> Boolean
       where I: IntoIterator<Item = Boolean>;
}

Required Methods

fn compare_closed_interval<T: ForZkappCheck<Fp>>( interval: &ClosedInterval<T>, value: &T, w: &mut Witness<Fp>, ) -> Boolean

fn is_boolean_equal(a: &Boolean, b: &Boolean, w: &mut Witness<Fp>) -> Boolean

fn is_field_equal(a: &Fp, b: &Fp, w: &mut Witness<Fp>) -> Boolean

fn is_compressed_key_equal( a: &CompressedPubKey, b: &CompressedPubKey, w: &mut Witness<Fp>, ) -> Boolean

fn boolean_all<I>(bools: I, w: &mut Witness<Fp>) -> Boolean

where I: IntoIterator<Item = Boolean>,

fn boolean_any<I>(bools: I, w: &mut Witness<Fp>) -> Boolean

where I: IntoIterator<Item = Boolean>,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl ZkappCheckOps for InSnarkOps

impl ZkappCheckOps for NonSnarkOps