reticulum-ref/C6-Reticulum-ASM
1
0
Fork 0
mirror of https://github.com/ratspeak/C6-Reticulum-ASM synced 2026-08-12 18:07:18 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
C6-Reticulum-ASM/proofs/crypto
History
Exact
DeFiDude 918a7ee2b6 x25519_field_pack: add Binsec CT proof
2026-05-03 01:29:23 -06:00
..
aes milestone-2: production HMAC-DRBG-SHA-256 RNG + Tier B ct proofs; close milestone 2026-05-02 23:51:41 -06:00
ed25519 ed25519 high-level: Tier A Cryptol+SAW (scalarmult bit-pattern KATs, compress(B) RFC vector, decompress(B) round-trip, field_pow_p5d8 boundary identities) + retarget broken @tests links to existing transitive coverage 2026-05-02 20:52:57 -06:00
hkdf hmac_sha256 + hkdf_extract/expand verified (RFC 4231 + RFC 5869 KATs under ADR-0009) 2026-05-02 11:01:12 -06:00
hmac hmac_sha256 + hkdf_extract/expand verified (RFC 4231 + RFC 5869 KATs under ADR-0009) 2026-05-02 11:01:12 -06:00
rng milestone-2: production HMAC-DRBG-SHA-256 RNG + Tier B ct proofs; close milestone 2026-05-02 23:51:41 -06:00
sha256 milestone-2: production HMAC-DRBG-SHA-256 RNG + Tier B ct proofs; close milestone 2026-05-02 23:51:41 -06:00
sha512 sha512 family: Tier A Cryptol+SAW (FIPS 180-4 §C.1 + §C.2 KATs symbolic, K-table + ROTR/ch/maj algebraic, both padding paths) 2026-05-02 20:30:13 -06:00
x25519 x25519_field_pack: add Binsec CT proof 2026-05-03 01:29:23 -06:00