Trait snarkvm_wasm::prelude::Xor

pub trait Xor<F, Rhs = Self> where
    F: Field, {
    fn xor<CS>(&self, cs: CS, rhs: &Self) -> Result<Self, SynthesisError>
    where
        CS: ConstraintSystem<F>;
}

Performs a bitwise XOR operation between self and other in the constraint system.

Required methods

fn xor<CS>(&self, cs: CS, rhs: &Self) -> Result<Self, SynthesisError> where
    CS: ConstraintSystem<F>, 

Implementors

impl<F> Xor<F, Boolean> for Boolean where
    F: Field, 

pub fn xor<CS>(
    &self,
    cs: CS,
    other: &Boolean
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> Xor<F, UInt8> for UInt8 where
    F: PrimeField, 

pub fn xor<CS>(&self, cs: CS, other: &UInt8) -> Result<UInt8, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> Xor<F, UInt16> for UInt16 where
    F: PrimeField, 

pub fn xor<CS>(&self, cs: CS, other: &UInt16) -> Result<UInt16, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> Xor<F, UInt32> for UInt32 where
    F: PrimeField, 

pub fn xor<CS>(&self, cs: CS, other: &UInt32) -> Result<UInt32, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> Xor<F, UInt64> for UInt64 where
    F: PrimeField, 

pub fn xor<CS>(&self, cs: CS, other: &UInt64) -> Result<UInt64, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> Xor<F, UInt128> for UInt128 where
    F: PrimeField, 

pub fn xor<CS>(
    &self,
    cs: CS,
    other: &UInt128
) -> Result<UInt128, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> Xor<F, AllocatedBit> for AllocatedBit where
    F: Field, 

pub fn xor<CS>(
    &self,
    cs: CS,
    other: &AllocatedBit
) -> Result<AllocatedBit, SynthesisError> where
    CS: ConstraintSystem<F>,