Lib.rs

› Keywords #public-key #validation #blockchain #ca-certificate

#validity

  1. sigstore-trust-root

    Sigstore trusted root management and parsing

    v0.6.4 11K #sigstore #trusted-root #ca-certificate #trust-root #tuf #validity #tsa #public-key #rekor #logging

  2. check_urls

    Verify the validity of URLs inside your files

    v0.2.6 470 #ci-cd #validity #ci

  3. anoma-rm-risc0

    Anoma Resource Machine Implementation using RISC0 zkVM

    v1.1.1 1.0K #zk-vm #risc0 #resources #transaction #anoma #validity #bonsai #zero-knowledge-proofs

  4. gix-fsck

    Verifies the connectivity and validity of objects in the database

    v0.18.0 260 #gitoxide #gix #git-object #version-control #database #integrity-checks #validity

  5. kirill

    JSON Schema validator

    v0.0.12 #json-schema #json5 #validity #identifying #recursion #trailing-comma #fruit

  6. index_permute

    permuting a slice which elements are not Clone or Copy in Rust

    v0.1.12 430 #permutation #in-place #slice #order #index #validity

  7. yourevalid

    Validation type and trait. For internal use in polyproto-related crates, currently

    v0.2.0-alpha.3 #validation #traits #validity #verified #system #wrapper-type #guarantee

  8. sqry-tree-sitter-support

    Tree-sitter integration helpers for sqry

    v4.8.16 #tree-sitter #tree-sitter-language #validation #sqry #abi #grammar #non-null #dereferencing #validity #version-compatibility

  9. praborrow-lease

    Lease consensus logic (Raft/Paxos). Manages distributed agreement on Sovereign lease validity.

    v1.2.2 #raft #grpc #raft-consensus #prometheus #consensus-algorithm #udp #validity #distributed-lock #paxos #observability

  10. aion-lib-arraymap

    A wrapper around Vec<T> with a freelist. Preserves index validity on mutations without heavy generation counters.

    v0.1.0 #vec #aion #codebase #free-list #module #validity #heavy

  11. geo-validity-check

    Expose a 'Valid' trait to check the validity of a geo-types geometry and report cause(s) of invalidity

    v0.1.0 390 #geo-types #validity #geo

  12. md_check

    Check markdown link validity

    v0.1.1 #markdown #local-file #markdown-link #anchor #validity #command-line-tool

  13. rcssl

    generating X.509 certificates with support for CA, server, client and peer certificate profiles

    v0.2.1 1.1K #certificate #ca-certificate #x509-certificate #profile #peer #ca-x509 #validity

  14. lluvia

    A stripped down Entity Component System that allows for no-nonsense data storage in finite time

    v0.0.2 #ecs #storage #lifetime #no-nonsense #session #time-complexity #stripped #data-table #throw #validity

  15. frame-executive

    FRAME executives engine

    v45.0.1 23K #executive #blockchain #execute #pallet #off-chain #validity

  16. serde_newtype

    Macro for generating newtypes with validity checks for use with serde

    v0.1.2 120 #newtype #macro #generating #generator #validity #serde

  17. validity

    A type safe wrapper for enforcing arbitrary properties at compile time

    v0.3.1 1.8K #compile-time #validation #properties #email #enforcing #type-system #user-email

  18. steroid

    A lightweight framework for dynamic binary instrumentation

    v0.5.0 #binary-instrumentation #memory-mapping #breakpoints #dynamic #ptrace #address-space #process-memory #memory-safe #validity

  19. polkadot-statement-table

    Stores messages other authorities issue about candidates in Polkadot

    v23.0.0 12K #authorities #polkadot #table #candidate #validity #blockchain

  20. salt_atproto_checker

    Check lexica

    v0.1.1 #bluesky #lexicon #checker #validity #nsid #dns #subdomain

  21. light-client

    Client library for Light Protocol

    v0.23.0 1.1K #solana #merkle-tree #compression-account #protocols #mainnet #light-protocols #validity #public-key

  22. light-sdk

    Rust SDK for ZK Compression on Solana

    v0.23.0 2.2K #solana #account-compression #cpi #account-address #light-account #merkle-tree #validity #concurrency #state-tree #rent

  23. cw81

    Definition and types for the CosmWasm-81 interface

    v2.1.0 600 #cosmwasm #cosm-wasm-81 #follow #ecdsa #define #oauth #private-key #contract-owner #secp256k1 #validity

    24. Try searching with DuckDuckGo.

  24. pezkuwi-statement-table

    Stores messages other authorities issue about candidates in Pezkuwi

    v7.0.0 170 #blockchain #pezkuwi #authorities #validity #issue #kurdish #nation #defi #nft #governance-token

  25. rust-kzg-bn254-prover

    offers a set of functions for generating and interacting with bn254 KZG commitments and proofs in rust, with the motivation of supporting fraud and validity proof logic in EigenDA rollup integrations

    v0.1.3 4.1K #proof #kzg #bn254 #commitment #rollup #validity #fraud #eigen-da #motivation #set-of-functions

  26. check_mate

    Check yourself before you wreck yourself

    v0.2.0 #wreck #check #public-key #guarantees #validation #self-signed #type-safety #follow-up #validity

  27. pezframe-executive

    FRAME executives engine

    v28.0.0 500 #executive #transaction #execute #off-chain #worker #pezpallet #blockchain #validity

  28. l_group_formulas

    parsing and encoding l-group (in)equations

    v0.1.0 #l-group #formula #parser #equation #validity #parsing-and-encoding

  29. l_group_validity

    checking validity of l-group (in)equations

    v0.1.0 #validity #l-group #checking #equation

  30. openfga_checker

    OpenFGA model checker, contains code to check the validity of a model

    v0.2.0 #model-checker #open-fga #validity

  31. utf8-cstr

    Type wrappers promising null termination and utf-8 validity. The intersection of std::ffi::CStr and str

    v0.1.6 287K #c-str #utf-8 #termination #intersection #string #validity

  32. truncated_free_groups

    the ball of radius 2 (tiny) or 3 (normal) in a free group

    v0.1.0 #ball #l-group #free #validity #tiny

  33. l_group_cnf

    meets of joins of free group terms

    v0.1.0 #l-group #terms #join #validity #free #meets

  34. rust-kzg-bn254-verifier

    offers a set of functions for verifying KZG commitments and proofs in bn254, with the motivation of supporting fraud and validity proof logic in EigenDA rollup integrations

    v0.1.4 #proof #kzg #batch #offers #commitment #bn254 #rollup #validity #fraud #motivation

  35. rust-kzg-bn254

    offers a set of functions for generating and interacting with bn254 KZG commitments and proofs in rust, with the motivation of supporting fraud and validity proof logic in EigenDA rollup integrations

    v0.2.1 140 #commitment #proof #kzg #bn254 #eigen-da #rollup #validity #motivation #set-of-functions #fraud

  36. rhododendron

    Asynchronously safe BFT protocol, futures-based implementation

    v0.7.0 #bft #agreement #async #node #proposer #conclude #attempt #witness #faulty #validity