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