Module snarkvm_wasm::traits::bits [−][src]
Modules
Traits
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)
Returns the bitwise sum of a n-bit number with carry bit
Sign extends an array of bits to the desired length. Expects least significant bit first
Performs a bitwise XOR operation between self
and other
in the constraint system.