arnaucube
arnaucube/gnark-plonky2-verifierPublic Self-hosted repository
gnark-plonky2-verifier/edwards_curve/edparams.go
edwards_curve/edparams.goRaw
 1package edwards_curve
 2
 3import (
 4	"math/big"
 5)
 6
 7var (
 8	qEd25519, rEd25519 *big.Int
 9)
10
11func init() {
12	// https://neuromancer.sk/std/other/Ed25519
13	qEd25519 = newBigInt("7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffed")
14	rEd25519 = newBigInt("1000000000000000000000000000000014def9dea2f79cd65812631a5cf5d3ed")
15}
16
17type Ed25519 struct{}
18
19func (fp Ed25519) NbLimbs() uint     { return 4 }
20func (fp Ed25519) BitsPerLimb() uint { return 64 }
21func (fp Ed25519) IsPrime() bool     { return true }
22func (fp Ed25519) Modulus() *big.Int { return qEd25519 }
23func (fp Ed25519) Generator() (*big.Int, *big.Int) {
24	return newBigInt("216936D3CD6E53FEC0A4E231FDD6DC5C692CC7609525A7B2C9562D608F25D51A"),
25		newBigInt("6666666666666666666666666666666666666666666666666666666666666658")
26}
27
28type Ed25519Scalars struct{}
29
30func (fp Ed25519Scalars) NbLimbs() uint     { return 4 }
31func (fp Ed25519Scalars) BitsPerLimb() uint { return 64 }
32func (fp Ed25519Scalars) IsPrime() bool     { return true }
33func (fp Ed25519Scalars) Modulus() *big.Int { return rEd25519 }
34