Lib.rs

rustls-platform-verifier

supports verifying TLS certificates in rustls with the operating system verifier

sct

Certificate transparency SCT verification library

biscuit-auth

an authorization token with decentralized verification and offline attenuation

filepack

file verification utility

google-oauth

Google oauth server-side client

mirai-annotations

Macros that provide source code annotations for MIRAI

subplot

tools for specifying, documenting, and implementing automated acceptance tests for systems and software

kani-verifier

A bit-precise model checker for Rust

fastpasta

CLI for verifying or examining readout data from the ALICE detector

check-if-email-exists

Check if an email address exists without sending any email

sequoia-sqv

OpenPGP signature verification program

webpki

Web PKI X.509 Certificate Verification

libcprover_rust

Rust API for CBMC and assorted CProver tools

rebuilderd-worker

rebuilderd - rebuild worker

crev-data

Scalable, social, Code REView system that we desperately need - data types library

aws-smithy-checksums

Checksum calculation and verification callbacks

openpgp-card-tool-git

Git signing and verification with a focus on OpenPGP cards

jwt

JSON Web Token library

rtlola-cli

A CLI interface for the RTLola interpreter

okta-jwt-verifier

A helper library for working with JWT's for Okta in Rust

rtlola-interpreter

An interpreter for RTLola specifications

mc-attestation-verifier

SGX Enclave Attestation Report Verification

pg_ecdsa_verify

A PostgreSQL extension for ECDSA signature verification

cylinder

high-level cryptographic signing library

route_verification

Parse RPSL in the IRR to verify observed BGP routes

shellfirm

shellfirm will intercept any risky patterns (default or defined by you) and prompt you a small challenge for double verification, kinda like a captcha for your terminal

dkim-milter

Milter for DKIM signing and verification

r2u2_core

R2U2: A stream-based runtime monitor

route_verification_lex

Parse RPSL in the IRR to verify observed BGP routes

secrust

source-level verification using Weakest Precondition calculus

route_verification_parse

Parse RPSL in the IRR to verify observed BGP routes

bonsai-sdk

Bonsai Software Development Kit

mailtester_ninja

MailTester Ninja is packed with essential features designed to enhance your email marketing efforts

identity_verification

Verification data types and functionality for identity.rs

toml-test

Verify Rust TOML parsers

route_verification_as_path_regex

Parse RPSL in the IRR to verify observed BGP routes

bertie

Minimal TLS 1.3 implementation

vcd_io

VCD IO utils

rebuildctl

rebuilderd - rebuildctl client

ssi-verification-methods

Verification methods implementation for ssi

esp-hal-ota

OTA library for esp-hal

rustls-platform-verifier-android

The internal JVM support component of the rustls-platform-verifier crate. You shouldn't depend on this directly.

lfspull

git lfs file pulling implementation in pure rust. Can only pull files / folders and only support token-auth for now.

captcha-rs

Generate verification images dynamically

mc-sgx-dcap-quoteverify

Rust wrappers for the libsgx_dcap_quoteverify library

contracts-try

Design-by-contract attributes

dicom-echoscu

A DICOM C-ECHO command line interface

ratify

signing and verifying files and directories

route_verification_as_rel

Parse RPSL in the IRR to verify observed BGP routes

zk-kit-smt

Sparse Merkle Tree

rebuilderd

independent build verification daemon

contracts

Design-by-contract attributes

lest

A modular approach to a web server. Based on actix-web.

drand-verify

A drand verification library

route_verification_rib_stats

Parse RPSL in the IRR to verify observed BGP routes

rebuilderd-common

rebuilderd - common code

rtlola-frontend

A frontend for the RTLola runtime verification framework

email-verifier

verify email addresses

route_verification_graph

Parse RPSL in the IRR to verify observed BGP routes

ecdsa_verify

ECDSA signature verification

google_auth_verifier

Small library to quickly verify tokens provided by google auth

ssi-jws

JWS for the ssi library

hmac-predicate

Tower predicate HMAC verification of query params

toml-test-data

TOML test cases

idkit

Rust toolkit to interact with the World ID protocol

mikino_api

induction and BMC engine

mittlife_cycles

the mittwald extension signature verifier

jwtk

JWT signing (JWS) and verification, with first class JWK and JWK Set (JWKS) support

libcoerced

serde_json and generic text content matching, verification and coercion

route_verification_ir

Parse RPSL in the IRR to verify observed BGP routes

alice_protocol_reader

Reader library for reading raw binary data from the ALICE detector into a convenient structure for implementing analysis

checksums

making/verifying checksums of directory trees

route_verification_bgpmap

Parse RPSL in the IRR to verify observed BGP routes

route_verification_shared_struct

Parse RPSL in the IRR to verify observed BGP routes

route_verification_common_regex

Parse RPSL in the IRR to verify observed BGP routes

route_verification_io

Parse RPSL in the IRR to verify observed BGP routes

stimmgabel

polyproto reference test implementation used for verifying other implementations of the protocol

toml-test-harness

Cargo test harness for verifying TOML parsers

kontroli

Type checking for the lambda-Pi calculus modulo rewriting

downloader-rs

file downloader for rust

semververfork

Automatic verification of SemVer adhrence in rust library crates

xldenis/creusot

prove your code is correct in an automated fashion

rtlola-parser

A parser for RTLola specifications

sumify

Batch checksum tool for file integrity verification

ghostkey_lib

working with Freenet's Ghost Keys

rtlola-reporting

An error reporting crate for RTLola-related crates

rtlola-hir

A high-level intermediate representation for RTLola specifications

mikino

induction and BMC engine

hashverify

Computes hash verification code that used in SMHasher

route_verification_bgp

Parse RPSL in the IRR to verify observed BGP routes

veriwasm

A safety verifier for native-compiled WebAssembly code

prusti-contracts

Tools for specifying contracts with Prusti

kzg-commitment

perform KZG polynomial commitment scheme

atlas-entity-verifier

Verify referential integrity of Apache Atlas Entities

kocheck

Type checker for the lambda-Pi calculus modulo rewriting

lincheck

A linearizability checker for concurrent data structures

prusti-std

External specifications for items in std for Prusti

appattest-rs

module for validating Apple App Attestations and Assertions

parside

Parser for Composable Event Streaming Representation (CESR)

safepkt-backend

A backend to run static analysis tools against rust-based programs

nnv-rs

Verification and Statistics on Deep Neural Networks

rtlola-io-plugins

Input and ouput plugins to be used in the various frontends of the interpreter

verkle-tree

Verkle Trees, a powerful upgrade to Merkle Trees that offers improved efficiency and reduced proof sizes. This crate provides a robust, performant, and easy-to-use library for creating…

sv_sim

SystemVerilog simulation tool written in rust

cyl

high-level cryptographic signing CLI tool

basic-jwt

Basic JWT signing and verification library

inventorize

A command-line file integrity verification tool

bitcoinconsensus

Bitcoin's libbitcoinconsensus with Rust binding

fwsig

A specification (and tools) for firmware signing / verification

briteverify-rs

Rust client library for the BriteVerify API Suite

flakebi-ring

A fork of ring to make some private functionality public

siwe

EIP-4361: Sign In With Ethereum

rustproof

Compiler plugin to generate verification conditions from Rust code

intel-tee-quote-verification-rs

Intel(R) TEE Quote Verification Rust Library

standardwebhooks

creating and verifying webhook signatures

recaptcha

response verification

blake3_merkle

blake3 merkle tree

nzcp

NZ COVID verification, New Zealand's proof of COVID-19 vaccination solution

dax_fetcher_http

HTTP proof fetcher for dax-rs

dax_service_forgejo

Forgejo service definition for dax-rs

phone-number-verifier

phone number verification library for rust

dax

Decentralized online identity verification for Rust

dax_verifier

Identity verification logic for dax-rs

ckb-verification

The CKB verification

verify-cli

A cli tool for getting multiple hashes of a file for quick verification

ckb-pow

PoW verification engines for CKB

net-token-verifier

defines core traits and structures for fusion auth token verifications in the net-stalker project

chia-bls

BLS signature, verification and aggregation functions for the Chia blockchain

solana-verify

A CLI tool for building verifiable Solana programs

bip322

Implements BIP322 generic message signing and verification

creusot-contracts-proc

Proc macro crate for creusot-contracts

dlc

Creation, signing and verification of Discreet Log Contracts (DLC) transactions

ssi-verification-methods-core

Core traits and types for verification methods in ssi

jls

JSON Licensing Scheme for issuing and/or verifying licenses

zerobounce

Email Verification Library for Rust

creusot-contracts-dummy

Dummy proc macros for creusot-contracts

ethereum-verify

Ethereum Cryptographic verification utility functions

eth-rlp-verify

Ethereum block header verification across multiple eras using RLP encoding and Keccak256 hashing

verifier

Macros that provide common software verifier primitives

rotkeappchen

generating stateless and rotating verification codes

bip322-rs

Implements BIP322 generic message signing and verification

bundy

data signing and verification library

aqua-verifier

Aqua protocol library to sign, witness , and verify aqua chains

solana-ed25519-sha512

An optimized SHA-512 implementation for onchain Solana Ed25519 verification

vcg

manipulating verification conditions

hax-lib-macros

Hax-specific proc-macros for Rust programs

owi

Bindings to the Owi symbolic runtime

progpow_verifier

ProgPoW for Ethereum mining verification, based on go-ethereum

captcha_rust

Dynamically generate verification code pictures

reclaim-rust-sdk

SDK for Reclaim Protocol

terrars-hectorj-googlesiteverification

Pre-generated Terrars Google Site Verification bindings

intel-tee-quote-verification-sys

Intel(R) TEE Quote Verification Rust Library

teepot-tee-quote-verification-rs

Fork of intel-tee-quote-verification-rs

saa-custom

Custom credentials built on top of curves and their verification logic for smart account auth

oz_merkle_rs

A lightweight Merkle tree implementation designed to seamlessly integrate with OpenZeppelin contracts for proof verification

ckb-verification-contextual

The CKB verification contextual

groth16-solana

groth16 verification with solana alt_bn128 syscalls

ckb-verification-traits

The CKB verification traits

saa-auth

Custom credentials built on top of curves and their verification logic for smart account auth

ddk-dlc

Creation, signing and verification of Discreet Log Contracts (DLC) transactions

snitch

Intrusion detection and file integrity verification

rustproof-libsmt

Rust bindings for z3 as utilized by RustProof

arc-fmt

telegram-login

verification of Telegram Login requests

yubi_opt

An easy to use Yubico OTPs implementation

prusti-contracts-proc-macros

Internal proc-macro Prusti crate