Module snarkvm_wasm::traits

Modules

algorithms
alloc
bits
curves
eq
fields
integers
select

Traits

Add	Returns addition of self + other in the constraint system.
AllocBytesGadget
AllocGadget
CRHGadget
CommitmentGadget
ComparatorGadget
CompressedGroupGadget
CondSelectGadget	If condition is true, return first; else, select second.
ConditionalEqGadget	If condition == 1, then enforces that self and other are equal; otherwise, it doesn’t enforce anything.
ConditionalOrEqualsGadget
Div	Returns division of self / other in the constraint system.
EncryptionGadget
EqGadget
EvaluateEqGadget
EvaluateLtGadget
FieldGadget
FullAdder	Single bit binary adder with carry bit https://en.wikipedia.org/wiki/Adder_(electronics)#Full_adder sum = (a XOR b) XOR carry carry = a AND b OR carry AND (a XOR b) Returns (sum, carry)
GroupGadget
Integer	The interface for a singed or unsigned integer gadget.
MaskedCRHGadget
Mul	Returns multiplication of self * other in the constraint system.
NEqGadget
Neg	Returns a negated representation of self in the constraint system.
OrEqualsGadget
PRFGadget
PairingGadget
Pow	Returns exponentiation of self ** other in the constraint system.
RippleCarryAdder	Returns the bitwise sum of a n-bit number with carry bit
SNARKGadget	This implements constraints for SNARK verifiers.
SNARKVerifierGadget
SignExtend	Sign extends an array of bits to the desired length. Expects least significant bit first
SignaturePublicKeyRandomizationGadget
Sub	Returns subtraction of self - other in the constraint system.
ThreeBitCondNegLookupGadget	Uses three bits to perform a lookup into a table, where the last bit performs negation
ToConstraintFieldGadget	Specifies how to convert a variable of type Self to variables of type FpGadget<F>
TwoBitLookupGadget	Uses two bits to perform a lookup into a table
Xor	Performs a bitwise XOR operation between self and other in the constraint system.