- fullAdder
Full adder which works with any number of inputs to the addition. The lefts and
rights must have the
- keyedCompareAndSwap
Compares the keys of two key-value pairs and produce a list of pairs so that the
first pair has the
- oneBitFullAdder
Same as #oneBitHalfAdder(DRes,DRes), but with an option to also add a potential
carry to the additio
- oneBitHalfAdder
Half adder which returns the result in the left part of the pair and the carry
in the right part of
- or
Computes the OR of the two inputs.
- xnor
Computes the XNOR of the two inputs.
- and
And from copy. Uses the copy protocol to do an AND operation between the two
inputs.
- binaryMult
Multiplies the left and right numbers and leaves the result in the output. The
inputs are not requir
- bitIncrement
Increments the number represented by a list of bits with a single secret bit
(thus adding either 0 o
- condSelect
Appends a conditional select protocol to the current protocol. The output of
this protocol on inputs
- nand
Computes the NAND of the two inputs.