15 lines
742 B
Plaintext
15 lines
742 B
Plaintext
/* This file has been generated from Jehanne with
|
|
* a port of mpc from 9front
|
|
*
|
|
* To regenerate use:
|
|
* mpc file.mp > file.mpc
|
|
*/
|
|
void ed448_curve(mpint *p, mpint *a, mpint *d, mpint *x, mpint *y){
|
|
strtomp("FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", nil, 16, p);
|
|
mpassign(mpone, a);
|
|
uitomp(233601UL, d);
|
|
d->sign = -1;
|
|
strtomp("117812161263436946737282484343310064665180535357016373416879082147939404277809514858788439644911793978499419995990477371552926308078495", nil, 16, x);
|
|
uitomp(25UL, y);
|
|
}
|