def addg

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/ed25519/scalar.bend:169

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as F
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/freeze.bend as FZ

169# addm with its constant as a parameter
170def addg(+a: List<&2, U32>, +b: List<&2, U32>, +cp: List<&2, U32>) -> List<&2, U32>:
171  FZ.csg(F.cr_limbs(F.carry(F.addl(a, b), 0)), cp)