General Cleanup of Crypto Builtins - #308

Merged

Eduardogbg merged 10 commits into

mainfrom

edu/crypto-cleanup

Jun 19, 2026

Commits on Jun 19, 2026

Extract shared 32-bit word utilities for the hash family
Eduardogbg
committed
b4302b5
Deduplicate ECDSA verification across the secp curves
Eduardogbg
committed
1bf1940
Move ECDSA test vectors into the Tests lib
Eduardogbg
committed
dbf7930
De-duplicate SHA-256 FIPS vectors into the Tests lib
Eduardogbg
committed
bfdfc9a
Switch Keccak-f[1600] test vectors to native_decide
Eduardogbg
committed
81b57db
Rename Builtin/Crypto/Hash.lean to Poseidon2.lean
Eduardogbg
committed
1b413b6
Tidy crypto builtin and module docs
Eduardogbg
committed
a4f1d78
Make one-off generators in-place updaters under scripts/gen/
Eduardogbg
committed
eb8fd67
stdlib/Hash: make blake3_builtin_spec public
Eduardogbg
committed
b770bbe
Clean up Bn254 field-math lint warnings
Eduardogbg
committed
2f61054