status-im/constantine
2
0
Fork 0
mirror of https://github.com/status-im/constantine.git synced 2025-02-23 17:38:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

use add instead of madd even though it mutates

Browse Source
This commit is contained in:
mratsim 2018-12-01 23:28:35 +01:00
parent d09116d0a9
commit 463b8a4fcb
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
constantine/bigint.nim
View File

@ -61,7 +61,7 @@ const highLimb* = (not Ct[uint64](0)) shr 1
# For efficiency we define templates and will create functions # For efficiency we define templates and will create functions
# specialized for runtime and compile-time inputs # specialized for runtime and compile-time inputs
template maddImpl[bits](result: CTBool[Limb], a: var BigInt[bits], b: BigInt[bits], ctl: CTBool[Limb]) = template addImpl[bits](result: CTBool[Limb], a: var BigInt[bits], b: BigInt[bits], ctl: CTBool[Limb]) =
## Constant-time big integer in-place addition ## Constant-time big integer in-place addition
## Returns if addition carried ## Returns if addition carried
for i in a.limbs.len: for i in a.limbs.len:
@ -69,17 +69,17 @@ template maddImpl[bits](result: CTBool[Limb], a: var BigInt[bits], b: BigInt[bit
result = new_a.isMsbSet() result = new_a.isMsbSet()
a[i] = ctl.mux(new_a and highLimb, a) a[i] = ctl.mux(new_a and highLimb, a)
func madd*[bits](a: var BigInt[bits], b: BigInt[bits], ctl: CTBool[Limb]): CTBool[Limb] = func add*[bits](a: var BigInt[bits], b: BigInt[bits], ctl: CTBool[Limb]): CTBool[Limb] =
## Constant-time big integer in-place addition ## Constant-time big integer in-place addition
## Returns the "carry flag" ## Returns the "carry flag"
result.maddImpl(a, b, ctl) result.addImpl(a, b, ctl)
func madd*[bits](a: var BigInt[bits], b: static BigInt[bits], ctl: CTBool[Limb]): CTBool[Limb] = func add*[bits](a: var BigInt[bits], b: static BigInt[bits], ctl: CTBool[Limb]): CTBool[Limb] =
## Constant-time big integer in-place addition ## Constant-time big integer in-place addition
## Returns the "carry flag". Specialization for B being a compile-time constant (usually a modulus). ## Returns the "carry flag". Specialization for B being a compile-time constant (usually a modulus).
result.maddImpl(a, b, ctl) result.addImpl(a, b, ctl)
template msubImpl[bits](result: CTBool[Limb], a: var BigInt[bits], b: BigInt[bits], ctl: CTBool[Limb]) = template subImpl[bits](result: CTBool[Limb], a: var BigInt[bits], b: BigInt[bits], ctl: CTBool[Limb]) =
## Constant-time big integer in-place substraction ## Constant-time big integer in-place substraction
## Returns the "borrow flag" ## Returns the "borrow flag"
for i in a.limbs.len: for i in a.limbs.len:
@ -87,12 +87,12 @@ template msubImpl[bits](result: CTBool[Limb], a: var BigInt[bits], b: BigInt[bit
result = new_a.isMsbSet() result = new_a.isMsbSet()
a[i] = ctl.mux(new_a and highLimb, a) a[i] = ctl.mux(new_a and highLimb, a)
func msub*[bits](a: var BigInt[bits], b: BigInt[bits], ctl: CTBool[Limb]): CTBool[Limb] = func sub*[bits](a: var BigInt[bits], b: BigInt[bits], ctl: CTBool[Limb]): CTBool[Limb] =
## Constant-time big integer in-place addition ## Constant-time big integer in-place addition
## Returns the "carry flag" ## Returns the "carry flag"
result.msubImpl(a, b, ctl) result.subImpl(a, b, ctl)
func msub*[bits](a: var BigInt[bits], b: static BigInt[bits], ctl: CTBool[Limb]): CTBool[Limb] = func sub*[bits](a: var BigInt[bits], b: static BigInt[bits], ctl: CTBool[Limb]): CTBool[Limb] =
## Constant-time big integer in-place addition ## Constant-time big integer in-place addition
## Returns the "carry flag". Specialization for B being a compile-time constant (usually a modulus). ## Returns the "carry flag". Specialization for B being a compile-time constant (usually a modulus).
result.msubImpl(a, b, ctl) result.subImpl(a, b, ctl)