rscrypto

rscrypto fornisce primitive crittografiche pure in Rust, hash crittografici e veloci, hashing delle password e checksum dietro un unico modello di feature.

Non ha dipendenze da C/FFI di produzione, OpenSSL o librerie di sistema. Le feature foglia supportano build ristrette; le feature ombrello compongono superfici più ampie.

Usa una feature foglia per una primitiva, un gruppo per un sottoinsieme di primitive, o full per l'intera superficie del crate. Il backend Rust portatile è sempre presente. SIMD e ASM sono solo acceleratori.

Istantanea dei benchmark pubblicati: media geometrica di 1.59x su runner Linux rispetto ai competitor esterni più veloci, con 4,052 / 6,750 vittorie e 6,101 / 6,750 vittorie o pareggi.

Evidenza locale su macOS Apple Silicon: media geometrica di 1.37x rispetto ai competitor esterni più veloci, con 382 / 774 vittorie e 708 / 774 vittorie o pareggi.

Esecuzioni grezze, metodologia e perdite note si trovano in benchmark_results/OVERVIEW.md.

Grafico: scheda dei benchmark. I valori superiori a 1.00x significano che rscrypto è più veloce dell'implementazione esterna più rapida abbinata.

Perché rscrypto?

• Un unico modello di feature per hash, MAC, KDF, hashing delle password, AEAD, firme, scambio di chiavi, ML-KEM, RSA e checksum.
• Nessuna dipendenza da OpenSSL o C/FFI di produzione.
• Tipi concreti, errori con ambito, chiavi/nonce/tag tipizzati e fallimenti opachi di verifica su tutte le primitive supportate.
• Le implementazioni Rust portatili sono il percorso di riferimento; SIMD e ASM sono acceleratori testati rispetto a quel percorso.
• Build no_std, WASM, server, CLI, embedded e vincolati da audit usano lo stesso modello di feature foglia.
• Le evidenze di validazione pubblica coprono vettori, test differenziali, replay del corpus di fuzz, Miri, equivalenza del backend e gate di rilascio a tempo costante con ambito.

rscrypto è un crate di primitive. Non è uno stack TLS, un toolkit PKI, un key store o un'implementazione di protocollo. Non rivendica la validazione FIPS 140-3, un audit di terze parti, la verifica formale o un comportamento a tempo costante dell'intero crate.

Installazione

Build minima no_std SHA-2:

[dependencies]
rscrypto = { version = "0.7.8", default-features = false, features = ["sha2"] }

Stack completo di primitive con randomicità del sistema operativo abilitata:

[dependencies]
rscrypto = { version = "0.7.8", features = ["full", "getrandom"] }

Usa default-features = false per build no_std. Abilita getrandom solo quando hai bisogno di API che generano sale, chiavi, nonce o entropia per la generazione di chiavi RSA dal sistema operativo.

Avvio rapido

use rscrypto::Sha256;

let one_shot = Sha256::digest(b"hello world");

let mut h = Sha256::new();
h.update(b"hello ");
h.update(b"world");

assert_eq!(h.finalize(), one_shot);

La forma comune dell'API è one-shot quando conveniente e streaming quando necessario.

Flussi di lavoro comuni

Usa docs/types.md quando hai bisogno della mappa completa dei tipi e docs/features.md quando hai bisogno del set di feature più piccolo.

Cosa ottieni

I flag sono suddivisi per uso:

• Primitive foglia: sha2, blake3, aes-gcm, ed25519, x25519, ml-kem, crc32, ecc.
• Famiglie/Gruppi: hashes, checksums, macs, kdfs, password-hashing, aead, signatures, key-exchange.

Inventario completo delle feature: docs/features.md. Inventario pubblico dei tipi: docs/types.md.

Limiti del tempo costante

rscrypto fa solo rivendicazioni di tempo costante limitate al rilascio e con ambito per le operazioni che gestiscono segreti, non per ogni funzione nel crate. ct.toml registra l'insieme candidato di primitive/configurazioni; non crea di per sé una rivendicazione pubblica. Una rivendicazione esiste solo quando il corrispondente rilascio firmato su GitHub include un bundle rscrypto-X.Y.Z-ct-evidence.tar.gz attestato che supera tutti i gate richiesti per quella esatta versione, commit, target, profilo e set di feature.

I possessori a dimensione fissa che contengono segreti non implementano PartialEq o Eq. I loro metodi ct_eq restituiscono un CtDecision opaco; i chiamanti devono esplicitamente consumarlo con declassify() per ottenere un bit ramificabile. Le API di verifica mantengono quel confine interno e restituiscono un singolo Result opaco. Questa è resistenza all'uso improprio al confine dell'API Rust, non una prova riguardante il codice macchina a valle.

Le principali superfici candidate che contengono segreti in ct.toml sono: verifica MAC/tag, forma del fallimento di autenticazione AEAD, moltiplicazione scalare X25519, firma Ed25519 e derivazione della chiave pubblica segreta, firma cieca ECDSA P-256/P-384, generazione di chiavi ML-KEM-512/768/1024, encapsulazione, superfici segrete di decapsulazione, foglie di firma/decifratura privata RSA e confronti selezionati di verifica delle password.

Il parsing pubblico, la generazione di chiavi non elencata, la randomicità del sistema operativo, gli hash grezzi, i checksum, gli hash non crittografici, i percorsi di benchmark e la matematica di verifica a chiave pubblica non sono rivendicazioni generali di tempo costante. Vedi docs/constant-time.md per la rivendicazione esatta e il modello di verifica e docs/compliance.md per i confini di revisione. I rilasci fino alla v0.6.4 non contengono questo bundle e pertanto non portano alcuna rivendicazione di tempo costante legata al rilascio.

Portabilità e accelerazione

rscrypto mantiene il percorso Rust portatile come autorità byte per byte. I kernel ISA vengono selezionati solo quando il target e la CPU in esecuzione li supportano.

Matrice completa delle piattaforme: docs/platforms.md.

Sicurezza

rscrypto fa rivendicazioni di tempo costante con ambito solo quando un rilascio corrispondente pubblica il bundle di evidenze richiesto, mai per ogni API o build. I possessori a dimensione fissa di segreti nominati in docs/secret-ownership.md sovrascrivono i propri byte in drop e mascherano Debug; la rivendicazione non si estende alle copie del chiamante. I fallimenti di verifica usano errori opachi e le aperture AEAD fallite cancellano i buffer di output del chiamante. Gli artefatti di rilascio sono controllati da tag firmati, pubblicati tramite crates.io Trusted Publishing e coperti da attestazioni di provenienza delle build di GitHub.

Non vengono rivendicati audit di terze parti, certificato FIPS 140-3 o prova formale dell'intero crate. Segnala le vulnerabilità tramite GitHub Private Vulnerability Reporting o SECURITY.md, non tramite issue pubbliche.

Documentazione

• Inizia da: docs.rs, examples/, docs/features.md, docs/types.md
• Sicurezza e revisione: SECURITY.md, THREAT_MODEL.md, docs/constant-time.md, docs/compliance.md
• Evidenze: docs/test-vector-coverage.md, docs/platforms.md,

MSRV

Rust 1.91.0.

Il nightly bloccato in rust-toolchain.toml viene usato per Miri, fuzzing e controlli su architetture esotiche.

Licenza

Doppia licenza: Apache-2.0 o MIT, a tua scelta.