octet-attest-verify cargo 2.5.0 clean Offline verification of mobile device-attestation evidence carried on an Octet LocationProof: Apple App Attest (attestation object + assertion, against Apple's… 281 3d ago frost-verify cargo 0.1.23 clean Verifiable shell configuration loading for frost/zsh 201 4d ago crabka-verified cargo 0.4.1 clean Formally verified pure kernels (Creusot) shared by Crabka's consensus and log crates 179 4d ago driftbrake-core cargo 0.2.0 clean Chain-agnostic trait boundaries for driftbrake: ProfitDecoder, RealizedProfitDecoder, HaltPolicy, SimEngine. Zero dependency on REVM or alloy — see… 163 2d ago wickra-verify-core cargo 0.2.0 clean Deterministic core of wickra-verify: recompute a claimed backtest report and confirm or refute it field by field. 156 5d ago privatecrates-verify cargo 0.2.10 clean Verifies everything PrivateCrates wrote to a storage repository: append-only index, immutable releases and GitHub-signed provenance. 94 1d ago owl-dl-verify cargo 0.4.37 clean Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of… 85 1d ago driftbrake-reconcile cargo 0.2.0 clean The default HaltPolicy: the dual-guard reconciliation mechanism ('phantom-guard') — fast guard + slow guard. See docs/whitepaper.md. 81 1d ago wickra-verify-cli cargo 0.2.0 clean Reference command-line verifier over wickra-verify-core: recompute a claimed backtest report and confirm or refute it, exiting non-zero on a refuted claim for… 70 5d ago intyga-verify cargo 2.0.0 clean Offline verifier for INTYGA approval receipts (ES256 + WebAuthn) — no INTYGA secret, no network 58 3h ago stellar-consensus-verifier cargo 1.0.1 clean Stellar SCP consensus verification, with no I/O and no network stack 47 2d ago alexandria-verify cargo not built 0.4.0 did not build Alexandria credential verification — W3C VCs, did:key, JCS canonicalization, detached Ed25519 JWS 46 18h ago krabka-verified cargo 1.0.2 clean Formally verified pure kernels (Creusot) shared by Krabka crates 24 10h ago driftbrake-journal cargo 0.2.0 clean Crash-resilient binary Write-Ahead Log (WAL) persistence for ReconcileHistory in driftbrake. 13 1d ago mil_verify cargo 0.5.0 clean Spec inspection, deterministic protobuf diff, and a conformance battery for MIL graphs — with planted controls. 11 21h ago vitrify cargo 0.1.0 clean Turn a SPARQL retrieval into a durable local file 10 2d ago warrant-verify cargo 0.9.0 clean Independent, dependency-free Rust implementation of the Warrant decision-record format: canonical WarrantIDs, Ed25519 signatures, ski@v1 re-execution, and… 9 1d ago esuiss-access-verify cargo 0.0.0 clean Reserved for Access by Suiss. The first release is published from https://github.com/e-suiss/access. 8 22h ago griffin-rs cargo 0.0.0 clean Name reserved for the Griffin web framework. 8 6d ago libcrux-hacl-rs cargo 0.0.6 clean Formally verified Rust code extracted from HACL* - helper library 3M 4d ago libcrux-sha2 cargo 0.0.9 clean Formally verified SHA2 hash library 3M 4d ago libcrux-p256 cargo 0.0.9 clean Formally verified P-256 implementation 3M 4d ago libcrux-chacha20poly1305 cargo 0.0.10 clean Formally verified ChaCha20-Poly1305 AEAD library 2M 4d ago libcrux-poly1305 cargo 0.0.7 clean Formally verified Poly1305 MAC library 2M 4d ago libcrux-curve25519 cargo 0.0.9 clean Formally verified curve25519 ECDH library 2M 4d ago hpke-rs-libcrux cargo 0.8.0 clean Crypto backend for HPKE using formally verified code from libcrux. 2M 4d ago libcrux-aead cargo 0.0.10 clean Formally verified AEAD library 2M 4d ago p3-uni-stark cargo 0.9.0-rc.1 clean A minimal univariate STARK framework providing core components for proof generation and verification. 2M 12h ago svix cargo 2.8.0 clean Svix webhooks API client and webhook verification library 1M 2d ago chia-bls cargo 0.51.0 clean BLS signature, verification and aggregation functions for the Chia blockchain 1M 2d ago 