frame-metadata-hash-extension cargo 0.17.0 clean FRAME signed extension for verifying the metadata hash 898K 4d ago yubikey cargo 0.9.0-rc.0 clean Pure Rust cross-platform host-side driver for YubiKey devices from Yubico with support for hardware-backed public-key decryption and digital signatures using… 494K 5d ago dcap-qvl cargo 0.6.6 clean This crate implements the quote verification logic for DCAP (Data Center Attestation Primitives) in pure Rust. 445K 3d ago vstd cargo 0.0.0-2026-10-11-0230 clean Verus Standard Library: Useful specifications and lemmas for verifying Rust code 431K 14h ago libcrux-ed25519 cargo 0.0.10 clean Formally verified ed25519 signature library 342K 4d ago cosmwasm-check cargo 2.2.11 8 vulnerabilities 8 A CLI tool for verifying CosmWasm smart contracts 196K 2d ago trust-tasks-rs cargo not built 0.29.0 did not build Reference Rust library for the Trust Tasks framework — transport-agnostic, JSON-based descriptions of verifiable work between parties. 78K 1h ago gix-fsck cargo not built 0.27.0 did not build Verifies the connectivity and validity of objects in the database 71K 3d ago libcrux cargo 0.0.6 clean The Formally Verified Cryptography Library 70K 4d ago vta-sdk cargo 0.63.3 clean 0.65.1 did not build SDK for Verifiable Trust Agents operating in Verifiable Trust Communities 55K 5d ago affinidi-oid4vc-core cargo 0.1.10 clean Shared types for the OpenID for Verifiable Credentials (OID4VC) protocol family. 48K 2h ago affinidi-openid4vp cargo 0.1.4 clean OpenID for Verifiable Presentations (OpenID4VP) implementation. 47K 2h ago trust-tasks-proof cargo not built 0.29.0 did not build Pluggable ProofVerifier implementations for the Trust Tasks framework. Backends are gated by Cargo features; ships with an Affinidi Data Integrity backend… 43K 1h ago trust-tasks-capability-client cargo not built 0.29.0 did not build Client-side wire helpers for the capability Trust Task families (governance/capability/*, git-trust/*): document builders, envelope parsing, reply… 34K 1h ago packslip cargo 1.7.0 clean A vendor-neutral signed release manifest: what shipped, and how to verify it 33K 1h ago miden-tx-batch cargo 0.17.1 clean Miden blockchain transaction batch executor, prover, and verifier 31K 5d ago trust-tasks-didcomm cargo not built 0.29.0 did not build DIDComm v2.1 transport binding for the Trust Tasks framework, built on affinidi-messaging-didcomm. Provides pack/unpack helpers and a TransportHandler that… 27K 1h ago furiosa-opt-lower-types cargo not built 0.9.0 did not build Shared StableAbi types for the furiosa-opt lowering engines, crossing the verifier FFI boundary. 23K 4d ago yarig cargo 0.26.0 clean A register interface generator 19K 1d ago mhost cargo 0.12.1 2 vulnerabilities 2 Fast, async DNS lookup library and CLI -- modern dig/host replacement with parallel multi-server queries, DoH, DoT, subdomain discovery, and zone verification 18K 2d ago aitp-tct cargo 0.13.2 clean Trust Context Token (TCT) issuance and verification for AITP 13K 2d ago aitp-manifest cargo 0.13.2 clean Agent Manifest issuance and verification for AITP 13K 2d ago mockforge-contracts cargo 0.3.232 clean Contract testing, drift detection, and incident management for MockForge 13K 1d ago foundation-firmware cargo 0.3.0 2 vulnerabilities 2 Foundation Devices, Inc. Passport Firmware image parser.This provides a command-line tool to verify the signatures of a Passportfirmware and also a `#[no_std]`… 13K 3d ago par2-rs cargo 0.10.8 clean PAR2 parity verification and repair 13K 3d ago greentic-mcp-exec cargo 1.2.0-dev.38037747582 11 vulnerabilities 11 Greentic executor for running wasix:mcp-compatible WebAssembly components with policy-driven verification and sandboxing. 12K 1d ago rapx cargo not built 0.7.58 did not build A static analysis platform for Rust program analysis and verification 12K 8h ago vti-secrets cargo not built 0.14.0 did not build Pluggable secret-store backends + integration onboarding flow for Verifiable Trust Infrastructure 11K 3h ago systemprompt-database cargo not built 0.65.0 did not build PostgreSQL infrastructure for systemprompt.io AI governance. SQLx-backed pool, generic repository traits, and compile-time query verification. Part of the… 10K 2d ago vta-service cargo not built 0.57.0 did not build Service for Verifiable Trust Agents operating in Verifiable Trust Communities 9.8K 55m ago 