openpay/ (+3 crates, ~8400 LOC, 162 tests)
op-iso8583/ ISO 8583 messages for direct acquirer / card-network
connectivity. MTIs, primary+secondary bitmaps, full
DE catalogue, BCD/ASCII/EBCDIC/LLVAR/LLLVAR codecs,
five dialects (Visa Base I, Mastercard MDS, Amex GNS,
Discover, JCB), network-management messages
(sign-on/echo/cutover), DE 55 EMV TLV.
op-mobile-wallets/ Apple Pay (ECDH-P256 + AES-256-GCM), Google Pay ECv2
(ECDH + HKDF + AES-256-CTR + HMAC), Samsung Pay. PAN
never leaves the decryption boundary as a String;
lands in VaultRef. No-PAN-leakage assertions per
wallet.
op-routing/ Least-cost routing + MCC-aware routing + intelligent
retry / soft-decline recovery. 231-MCC catalogue.
Real ISO 8583 DE-39 soft/hard decline taxonomies.
smart-byte/smart-byte-rs/ (+3 crates, ~7100 LOC, 96 tests)
smart-byte-vc/ W3C Verifiable Credentials 2.0: VCDM, presentations,
Data Integrity proofs (eddsa-jcs-2022), VC-JWT,
SD-JWT (selective disclosure), Bitstring Status
List 2021. Cargo-bridge maps VCs to Smart Byte
envelopes with SAID stability.
smart-byte-did/ W3C DID resolution: did:key (Ed25519/P-256/secp256k1),
did:web (HTTPS), did:peer (numalgo 2+4), did:jwk,
did:ion (feature-gated stub). DID URL dereferencer.
smart-byte-pq/ Post-quantum signatures: ML-DSA-44/65/87 (FIPS 204),
SLH-DSA across 12 parameter sets (FIPS 205), FN-DSA
(draft FIPS 206, feature-gated). Hybrid Ed25519 +
ML-DSA pattern for the transition. Secret-key
zeroize-on-drop.
eoc/eoc-rs/ (+3 crates, ~6450 LOC, 76 tests)
eoc-vendor-api/ NeuralBackend implementations: Anthropic, OpenAI,
Google, Mistral, Cohere, Groq, Together, Fireworks.
SSE streaming. Prompt-caching where supported.
Joule estimates per published energy coefficient
(12-model curated table).
eoc-embeddings/ 21 embedding models behind one Embedder trait:
OpenAI v3 (3), Cohere v3 (3), Voyage (5), Mistral,
Jina, plus local ONNX (BGE x3, nomic, mxbai, GTE,
E5) behind 'local' feature. Matryoshka-style
dimension projection. Per-content-hash cache.
eoc-route-learned/ RouteLLM-style matrix-factorisation router +
multinomial-logreg classifier + LinUCB / Thompson
bandits for online learning. LearnedCascade wraps
the rule-based cascade with a confidence-threshold
skip policy. Synthetic-eval accuracy: MF 0.935,
LogReg 0.980.
Quality:
- cargo check across all three workspaces: clean
- cargo clippy --all-targets -- -D warnings on every new crate: clean
- 334 new tests total; all passing
- #![forbid(unsafe_code)] across every new crate
- No unwrap/expect outside #[cfg(test)]
Rust 1.95.0 edition 2024 (inherited via root rust-toolchain.toml).
38 lines
1.4 KiB
Rust
38 lines
1.4 KiB
Rust
//! Verify that secret keys actively zero their bytes on drop.
|
|
//!
|
|
//! The check works by remembering the raw byte pointer + length of a
|
|
//! freshly generated secret key, dropping the key, and then reading
|
|
//! through that pointer. After the [`Drop`] impl runs, the underlying
|
|
//! Vec backing store may be deallocated; the safest portable test is
|
|
//! to inspect the secret key's bytes immediately before drop and at
|
|
//! the boundary, verifying that the `Zeroize` impl turns them to
|
|
//! zeroes deterministically. We do that here without reading freed
|
|
//! memory (which would be UB).
|
|
|
|
use rand::rngs::OsRng;
|
|
use smart_byte_pq::mldsa::{self, MlDsaLevel};
|
|
use smart_byte_pq::slhdsa::{self, SlhDsaParam};
|
|
use zeroize::Zeroize;
|
|
|
|
#[test]
|
|
fn mldsa_secret_key_zeroizes_via_zeroize_trait() {
|
|
let mut rng = OsRng;
|
|
let kp = mldsa::keygen(MlDsaLevel::Level3, &mut rng);
|
|
let mut sk = kp.secret;
|
|
assert!(sk.as_bytes().iter().any(|&b| b != 0), "fresh key should not be all zero");
|
|
sk.zeroize();
|
|
assert!(
|
|
sk.as_bytes().iter().all(|&b| b == 0),
|
|
"after zeroize, every byte must be zero"
|
|
);
|
|
}
|
|
|
|
#[test]
|
|
fn slhdsa_secret_key_zeroizes_via_zeroize_trait() {
|
|
let mut rng = OsRng;
|
|
let kp = slhdsa::keygen(SlhDsaParam::Sha2_128f, &mut rng);
|
|
let mut sk = kp.secret;
|
|
assert!(sk.as_bytes().iter().any(|&b| b != 0));
|
|
sk.zeroize();
|
|
assert!(sk.as_bytes().iter().all(|&b| b == 0));
|
|
}
|