package fiat
import
type p384Uint1 uint64
type p384Int1 int64
type p384MontgomeryDomainFieldElement [6]uint64
type p384NonMontgomeryDomainFieldElement [6]uint64
func p384CmovznzU64( *uint64, p384Uint1, uint64, uint64) {
:= (uint64() * 0xffffffffffffffff)
:= (( & ) | ((^) & ))
* =
}
func p384Mul( *p384MontgomeryDomainFieldElement, *p384MontgomeryDomainFieldElement, *p384MontgomeryDomainFieldElement) {
:= [1]
:= [2]
:= [3]
:= [4]
:= [5]
:= [0]
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(p384Uint1()), , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000000, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xfffffffffffffffe, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
_, = bits.Sub64(, uint64(0x0), uint64(p384Uint1()))
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
}
func p384Square( *p384MontgomeryDomainFieldElement, *p384MontgomeryDomainFieldElement) {
:= [1]
:= [2]
:= [3]
:= [4]
:= [5]
:= [0]
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(p384Uint1()), , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, [5])
var uint64
var uint64
, = bits.Mul64(, [4])
var uint64
var uint64
, = bits.Mul64(, [3])
var uint64
var uint64
, = bits.Mul64(, [2])
var uint64
var uint64
, = bits.Mul64(, [1])
var uint64
var uint64
, = bits.Mul64(, [0])
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + )
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
:= (uint64(p384Uint1()) + uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000000, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xfffffffffffffffe, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
_, = bits.Sub64(, uint64(0x0), uint64(p384Uint1()))
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
}
func p384Add( *p384MontgomeryDomainFieldElement, *p384MontgomeryDomainFieldElement, *p384MontgomeryDomainFieldElement) {
var uint64
var uint64
, = bits.Add64([0], [0], uint64(0x0))
var uint64
var uint64
, = bits.Add64([1], [1], uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64([2], [2], uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64([3], [3], uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64([4], [4], uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64([5], [5], uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000000, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xfffffffffffffffe, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
_, = bits.Sub64(uint64(p384Uint1()), uint64(0x0), uint64(p384Uint1()))
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
}
func p384Sub( *p384MontgomeryDomainFieldElement, *p384MontgomeryDomainFieldElement, *p384MontgomeryDomainFieldElement) {
var uint64
var uint64
, = bits.Sub64([0], [0], uint64(0x0))
var uint64
var uint64
, = bits.Sub64([1], [1], uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64([2], [2], uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64([3], [3], uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64([4], [4], uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64([5], [5], uint64(p384Uint1()))
var uint64
p384CmovznzU64(&, p384Uint1(), uint64(0x0), 0xffffffffffffffff)
var uint64
var uint64
, = bits.Add64(, ( & 0xffffffff), uint64(0x0))
var uint64
var uint64
, = bits.Add64(, ( & 0xffffffff00000000), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, ( & 0xfffffffffffffffe), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
, _ = bits.Add64(, , uint64(p384Uint1()))
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
}
func p384SetOne( *p384MontgomeryDomainFieldElement) {
[0] = 0xffffffff00000001
[1] = 0xffffffff
[2] = uint64(0x1)
[3] = uint64(0x0)
[4] = uint64(0x0)
[5] = uint64(0x0)
}
func p384FromMontgomery( *p384NonMontgomeryDomainFieldElement, *p384MontgomeryDomainFieldElement) {
:= [0]
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(uint64(0x0), , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(0x0), , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(0x0), , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(0x0), , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(0x0), , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(0x0), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, [1], uint64(0x0))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, [2], uint64(0x0))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, [3], uint64(0x0))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, [4], uint64(0x0))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, [5], uint64(0x0))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(0x0), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000000, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xfffffffffffffffe, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
_, = bits.Sub64(uint64(p384Uint1()), uint64(0x0), uint64(p384Uint1()))
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
}
func p384ToMontgomery( *p384MontgomeryDomainFieldElement, *p384NonMontgomeryDomainFieldElement) {
:= [1]
:= [2]
:= [3]
:= [4]
:= [5]
:= [0]
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000000)
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000001)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(p384Uint1()), , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(uint64(0x0), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000000)
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000001)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(p384Uint1()), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000000)
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000001)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(p384Uint1()), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000000)
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000001)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(p384Uint1()), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000000)
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000001)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(p384Uint1()), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000000)
var uint64
var uint64
, = bits.Mul64(, 0x200000000)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffe00000001)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, uint64(p384Uint1()), uint64(p384Uint1()))
var uint64
_, = bits.Mul64(, 0x100000001)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xffffffffffffffff)
var uint64
var uint64
, = bits.Mul64(, 0xfffffffffffffffe)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff00000000)
var uint64
var uint64
, = bits.Mul64(, 0xffffffff)
var uint64
var uint64
, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
_, = bits.Add64(, , uint64(0x0))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64(, , uint64(p384Uint1()))
var uint64
var uint64
, = bits.Add64((uint64(p384Uint1()) + uint64(p384Uint1())), (uint64(p384Uint1()) + ), uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff, uint64(0x0))
var uint64
var uint64
, = bits.Sub64(, 0xffffffff00000000, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xfffffffffffffffe, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
var uint64
, = bits.Sub64(, 0xffffffffffffffff, uint64(p384Uint1()))
var uint64
_, = bits.Sub64(uint64(p384Uint1()), uint64(0x0), uint64(p384Uint1()))
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
var uint64
p384CmovznzU64(&, p384Uint1(), , )
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
}
func p384Selectznz( *[6]uint64, p384Uint1, *[6]uint64, *[6]uint64) {
var uint64
p384CmovznzU64(&, , [0], [0])
var uint64
p384CmovznzU64(&, , [1], [1])
var uint64
p384CmovznzU64(&, , [2], [2])
var uint64
p384CmovznzU64(&, , [3], [3])
var uint64
p384CmovznzU64(&, , [4], [4])
var uint64
p384CmovznzU64(&, , [5], [5])
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
}
func p384ToBytes( *[48]uint8, *[6]uint64) {
:= [5]
:= [4]
:= [3]
:= [2]
:= [1]
:= [0]
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= ( >> 8)
:= (uint8() & 0xff)
:= uint8(( >> 8))
[0] =
[1] =
[2] =
[3] =
[4] =
[5] =
[6] =
[7] =
[8] =
[9] =
[10] =
[11] =
[12] =
[13] =
[14] =
[15] =
[16] =
[17] =
[18] =
[19] =
[20] =
[21] =
[22] =
[23] =
[24] =
[25] =
[26] =
[27] =
[28] =
[29] =
[30] =
[31] =
[32] =
[33] =
[34] =
[35] =
[36] =
[37] =
[38] =
[39] =
[40] =
[41] =
[42] =
[43] =
[44] =
[45] =
[46] =
[47] =
}
func p384FromBytes( *[6]uint64, *[48]uint8) {
:= (uint64([47]) << 56)
:= (uint64([46]) << 48)
:= (uint64([45]) << 40)
:= (uint64([44]) << 32)
:= (uint64([43]) << 24)
:= (uint64([42]) << 16)
:= (uint64([41]) << 8)
:= [40]
:= (uint64([39]) << 56)
:= (uint64([38]) << 48)
:= (uint64([37]) << 40)
:= (uint64([36]) << 32)
:= (uint64([35]) << 24)
:= (uint64([34]) << 16)
:= (uint64([33]) << 8)
:= [32]
:= (uint64([31]) << 56)
:= (uint64([30]) << 48)
:= (uint64([29]) << 40)
:= (uint64([28]) << 32)
:= (uint64([27]) << 24)
:= (uint64([26]) << 16)
:= (uint64([25]) << 8)
:= [24]
:= (uint64([23]) << 56)
:= (