skyauth-0.2.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

skyauth 0.2.0

High-assurance, formally verified OAuth 2.1 and RFC 9449 DPoP authentication engine for the AT Protocol (Bluesky)

Crate
Source
Builds
Feature flags

..
e2e_harness
dpop_rfc9449_vectors.rs
formal_verification_tests.rs
framework_integration_tests.rs
identity_discovery_ssrf_tests.rs
m2_challenger_ssrf_dns_stress_tests.rs
m3_challenger_auto_nonce_and_par_stress_tests.rs
m3_challenger_token_rotation_stress_tests.rs
m4_adversarial_challenge_tests.rs
m4_challenger_sharded_store_stress_tests.rs
m5_challenger_ast_and_roundtrip_stress_tests.rs
m5_challenger_spec_drift_stress_tests.rs
m6_challenger_anti_vacuity_and_concurrency_stress_tests.rs
m6_challenger_formal_verification_and_race_stress_tests.rs
m7_challenger2_e2e_fuzzing_and_concurrency_stress_tests.rs
par_and_token_exchange_tests.rs
pkce_rfc7636_vectors.rs
schema_compliance_tests.rs
secret_redaction_and_zeroization_tests.rs
sharded_store_tests.rs
tier1_feature_tests.rs
tier2_boundary_tests.rs
tier3_pairwise_tests.rs
tier4_workload_tests.rs
tier5_adversarial_tests.rs