Skip to content
SPB Git
Repositories
Activity
API
Search repositories, files, commits…
⌘K
spboucher.ai
spb
/
wp34_uqo
Public
2
commits
1
branches
0
releases
4.6 MB
on disk
main
default branch
yesterday
last push
Python
46.1%
TeX
32.4%
Rust
21%
Code
Commits
2
Branches
1
Releases
0
Insights
Branch or tag
main (default)
wp34_uqo
figures
Files
History
Clone
Name
Last commit
Updated
..
ec_geometry.pdf
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
ecdlp_constants.pdf
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
ecdlp_endomorphism.pdf
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
ecdlp_parallel.pdf
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
ecdlp_scaling.pdf
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
ecdlp_sweep_r.pdf
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
ecdlp_tmto.pdf
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
make_sha256_figures.py
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
yesterday
make_sig_figures.py
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
sha256_bias.pdf
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
yesterday
sha256_collision_scaling.pdf
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
yesterday
sha256_diffusion.pdf
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
yesterday
sha256_local_collision.pdf
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
yesterday
sha256_sat_scaling.pdf
WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
yesterday
sig_batch_verification.pdf
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
sig_implementations.pdf
WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
yesterday
Clone wp34_uqo
HTTPS
Copy
Anonymous clone and fetch. Pushing requires the owner's personal access token.
spbgit CLI
Copy
ZIP
tar.gz
snapshot of
main
Files ·
main
Menu
Home
Repositories
Activity
Commit calendar
Search
JSON API
Atom feed
spboucher.ai
contact@spboucher.ai
Theme
System
Light
Dark
Midnight
System
Light
Dark
Midnight
All
Repos
Files
Commits
Branches