Can't find SECP-256k1 description by Gura et al. [2004] + other issues for Appendix F

[jamesray1]

Unresolved comments remain:

• formula 214 equality for secp256k1n is omitted.

I moved most of the original comments to #327 where the changes have been made, except for the below one.

[jamesray1]

For formula 214, secp256k1n= 115792089237316195423570985008687907852837564279074904382605163141518161494337, have a footnote to say that this is FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD036‌ in hexadecimal (which is 78 characters in length, so it is also less than 16^78 = 8.3436994e+93).

I noticed that this line is commented out:
%\mathtt{\tiny secp256k1p} &= 2^{256} - 2^{32} - 977\\
Why omit it? It helps to give an idea of the order of magnitude of the number and a formula for it.
@pirapira

[pirapira]

This issue contains many points, many of which have materialized into a PR and requires no further discussion here. So it's not trivial to see if anything remains to be answered or discussed here.

Suggestion1: open a new issue for each logically independent issue.

Suggestion2: keep a list of open points in the first comment of the issue

• the definition of SECP-256k1 is not found in the cited reference
• ...

[jamesray1]

Ah, I see that:
115 792 089 237 316 195 423 570 985 008 687 907 852 837 564 279 074 904 382 605 163 141 518 161 494 337
is not the same as 2^{256} - 2^{32} - 977.

2^256 - 2^32 - 977 =
115 792 089 237 316 195 423 570 985 008 687 907 853 269 984 665 640 564 039 457 584 007 908 834 671 663.

These leading digits of the two numbers are the same:
115 792 089 237 316 195 423 570 985 008 687 907 85

115 792 089 237 316 195 423 570 985 008 687 907 852 837 564 279 074 904 382 605 163 141 518 161 494 337
is less than 2^256 - 2^32 - 977