Module snarkvm_wasm::traits::utilities::bits [−][src]
Modules
| adder | |
| comparator | |
| rca | |
| sign_extend |
Traits
| ComparatorGadget | |
| EvaluateLtGadget | |
| 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) |
| RippleCarryAdder | Returns the bitwise sum of a n-bit number with carry bit |
| SignExtend | Sign extends an array of bits to the desired length. Expects least significant bit first |