|
..
|
|
H01-standardised-secp256k1-parameters-and-glv-consta.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H02-end-e----z-ω--and-the-glv-basis-is-the-eisenstei.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H03-glv-decomposition-halves-doublings.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H04-automorphism-orbits-give-exactly--6-on-pollard-r.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H05-the-automorphism-orbit-set-cannot-be-made-a-grou.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H06-no-known-algebraic-attack-applies-to-secp256k1.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H07-an-exhaustive-small-coefficient-identity-search.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H08-measured-ecdlp-cost-scales-as-n-0-5-with-constan.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H09-automated-search-over-iteration-function-designs.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H10-parallel-distinguished-point-collision-search-ha.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H11-time-memory-trade-off.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H12-discrete-logarithms-with-preprocessing.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H13-bip340-batch-verification-reduces-per-signature.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H14-implementation-choice-dominates-signature-perfor.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H15-a-single-bit-message-difference-reaches-full-ava.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H16-statistically-detectable-input-output-correlatio.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H17-sat-preimage-search-on-step-reduced-sha-256-scal.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H18-generic-sat-encodings-find-step-reduced-collisio.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H19-the-9-step-local-collision-holds-with-probabilit.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H20-the-sha-256-step-is-a-bijection-on-the-state-and.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H21-lean-4-bv-decide-machine-checks-the-sha-256-word.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H22-σ0-and-σ1-are-not-injective-on-32-bit-words--ker.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H23-cross-implementation-agreement-is-a-necessary-ga.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H24-the-six-stage-pipeline-rediscovers-known-structu.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
H25-ecdsa-malleability-and-schnorr-correctness-follo.md
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|