spb/wp34_uqo

Public

Name	Last commit	Updated
..
bias_test.py	WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...	yesterday
cluster_driver.py	WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...	yesterday
cnf_sha256.py	WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...	yesterday
collision_sat.py	WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...	yesterday
common.py	WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...	yesterday
diffusion.py	WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...	yesterday
local_collision.py	WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...	yesterday
make_summary.py	WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...	yesterday
preimage_sat.py	WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...	yesterday
README.md	WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...	yesterday
run_cluster.sh	WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...	yesterday
solvers.py	WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...	yesterday

Clone wp34_uqo