|
..
|
|
ecdlp_fits.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
ecdlp_j0.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
ecdlp_parallel.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
ecdlp_scaling.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
ecdlp_sweep_r.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
ecdlp_tmto.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
hypotheses.tex
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
index_calculus_probe.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
numbers_ecdlp.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
numbers_sha.tex
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
numbers.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
preprocessing.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
scalar_mult_opcount.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|
|
sha_bias.tex
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
sha_collision.tex
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
sha_diffusion.tex
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
sha_preimage_cadical.tex
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
sha_preimage_kissat.tex
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
sha_preimage_spread.tex
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
sha_preimage_z3.tex
|
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis... |
|
|
sig_implementations.tex
|
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft... |
|