saymrwulf/anza-cryptography-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/anza-cryptography-source.git synced 2026-09-04 20:24:04 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Patched source for Aeneas/Charon formal verification transpilation
26 commits 11 branches 0 tags 733 KiB
Rust 99.4%
Shell 0.5%
Find a file
zz-sol c41adab68f
Validate SPKI OID/bytes and add pkcs8 tests (#43) 
Add strict SPKI validation and tests for PKCS#8 public keys. Introduce OID and ALGORITHM_ID constants and refactor SPKI parsing into verification_key_bytes_from_spki which verifies the algorithm OID, parameters, and key byte length/format, returning appropriate pkcs8::spki::Error values. Update TryFrom/EncodePublicKey/DecodePublicKey implementations to use the new helper and to propagate/mapping errors correctly. Add two tests (behind the pkcs8 feature) to assert rejection of SPKI docs with the wrong algorithm OID and with malformed key bytes.
2026-06-10 06:44:35 -04:00
.github ci: add dependabot.yml (#23) 2026-06-05 10:23:47 +08:00
curve25519 Validate SPKI OID/bytes and add pkcs8 tests (#43) 2026-06-10 06:44:35 -04:00
experimental/ed25519-pokos Add workspace.package information and do minor clean-up (#14) 2026-04-26 10:11:05 +09:00
scripts [chore] ci for crate release (#7) 2026-04-15 08:44:33 -04:00
syscall [solana-bn254-syscall] Add solana-bn254-syscall crate (#13) 2026-05-19 08:56:06 +09:00
.gitattributes Skeleton for cryptography repo (#1) 2026-03-07 15:52:28 -05:00
.gitignore Skeleton for cryptography repo (#1) 2026-03-07 15:52:28 -05:00
Cargo.lock [ed25519] downgrade rand_core (#21) 2026-05-18 21:50:26 -04:00
Cargo.toml [ed25519] downgrade rand_core (#21) 2026-05-18 21:50:26 -04:00