Struct arkworks_gadgets::set::constraints::SetGadget
source · [−]pub struct SetGadget<F: PrimeField> { /* private fields */ }
Implementations
sourceimpl<F: PrimeField> SetGadget<F>
impl<F: PrimeField> SetGadget<F>
pub fn new(set: Vec<FpVar<F>>) -> Self
pub fn calculate_product<T: ToBytesGadget<F>>(
&self,
target: &T
) -> Result<FpVar<F>, SynthesisError>
pub fn check_membership<T: ToBytesGadget<F>>(
&self,
target: &T
) -> Result<Boolean<F>, SynthesisError>
pub fn check_membership_enabled<T: ToBytesGadget<F>>(
&self,
target: &T,
is_enabled: &FpVar<F>
) -> Result<Boolean<F>, SynthesisError>
Auto Trait Implementations
impl<F> !RefUnwindSafe for SetGadget<F>
impl<F> !Send for SetGadget<F>
impl<F> !Sync for SetGadget<F>
impl<F> Unpin for SetGadget<F> where
F: Unpin,
impl<F> !UnwindSafe for SetGadget<F>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
pub fn vzip(self) -> V
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more