Răspuns teoretic aici
Practic, se poate folosi SageMath a-l găsi;
a = 1
b = 3141592653589793238462643383279502884197169399375105820974944592307816406665
p = 2^251 + 17*2^192 +1
E = Curba eliptică(GF(p), [0,0,0,a,b])
imprimare(E)
print(E.abelian_group())
card = E.cardinalitate()
print("cardinalitate =",card)
factor (carte)
G = E(874739451078007766457464989774322083649278607533249481151382481072868806602,152666792071518830868575557812948353041420400780739481342941381225525861407)
print("Ordinea generatorului q=", G.order())
Aceasta iese
Elliptic Curve defined by y^2 = x^3 + x + 3141592653589793238462643383279502884197169399375105820974944592307816406665 over Finite Field of size 3618502788666131213697322783095070105623107215331596699973092056135872020481
Additive abelian group isomorphic to Z/3618502788666131213697322783095070105526743751716087489154079457884512865583 embedded in Abelian group of points on Elliptic Curve defined by y^2 = x^3 + x + 3141592653589793238462643383279502884197169399375105820974944592307816406665 over Finite Field of size 3618502788666131213697322783095070105623107215331596699973092056135872020481
cardinalitate = 3618502788666131213697322783095070105526743751716087489154079457884512865583
Comanda generatorului q= 3618502788666131213697322783095070105526743751716087489154079457884512865583
Deoarece ordinea curbei este primă avem a curba primului, fiecare element este un generator, prin urmare ordinea punctului de bază este egală cu ordinea grupului de curbe.
De asemenea, cofactorul $h$ este 1 deoarece ordinea curbei este primă. Cofactorul este definit ca numărul de $k$ punctele raționale ale curbei $h = \#E(k)/n $ împărțit la ordinea elementului de bază $n$
Nu am putut găsi nicio informație despre numărul magic (nimic-în-mânecă). Motivul alegerii $G$ nu este clar. Deși este psihologic, ar trebui să-l furnizeze.
SageMath folosește sea.gp care este o implementare rapidă a algoritmului SEA. Această bibliotecă este implementată în pari/GP. Un bun slide despre sea.gp este Algoritmul SEA în PARI/GP.