Alternatives and similar repositories for electionguard-verifier

Users that are interested in electionguard-verifier are comparing it to the libraries listed below

• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated 6 months ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 7 years ago
• iqlusioninc / usbarmory.rs
  Bare metal Rust support for USB armory MkII devices
  ☆60Updated 5 years ago
• iqlusioninc / veriform
  Security-oriented protobuf-like serialization format with "Merkleized" content hashing support
  ☆120Updated 2 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆23Updated 5 years ago
• rust-secure-code / cargo-repro
  Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow
  ☆59Updated 4 years ago
• RustCrypto / PAKEs
  Password-Authenticated Key Agreement protocols
  ☆113Updated this week
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• fitzgen / intrusive_splay_tree
  An intrusive splay tree implementation that is no-std compatible and free from allocation and moves
  ☆67Updated 7 months ago
• jjyr / restricted-sparse-merkle-tree
  An optimized sparse merkle tree.
  ☆49Updated 4 years ago
• iqlusioninc / synchronicity
  Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus
  ☆92Updated 5 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• rozbb / strobe-rs
  A Rust implementation of the Strobe protocol framework
  ☆27Updated 3 weeks ago
• snipsco / rust-paillier
  A pure-Rust implementation of the Paillier encryption scheme
  ☆81Updated 7 years ago
• praezi / rust
  RustPräzi: Representing crates.io as a call-based dependency network
  ☆82Updated 6 years ago
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• cryptocorrosion / cryptocorrosion
  Performance crypto in pure Rust
  ☆55Updated 3 weeks ago
• mimoo / cargo-dephell
  Cargo dephell analyzes the third-party dependencies of a Rust workspace
  ☆48Updated 2 years ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆30Updated 7 months ago
• jsanders / rust-bignum
  Bignum bindings for rust backed by GMP
  ☆16Updated 8 years ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• bluejekyll / vermilionrc
  A safe and reliable process manager
  ☆43Updated 5 years ago
• salmans / rusty-razor
  Razor is a tool for constructing finite models for first-order theories
  ☆55Updated 2 years ago
• tomaka / futures-diagnose
  Wraps around a futures::Spawn and adds diagnostics to it
  ☆32Updated 5 years ago
• klutzy / nadeko
  [INACTIVE] const-time Rust experiment
  ☆97Updated 10 years ago
• facebookarchive / Rust-SMT-LIB-API
  An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.
  ☆36Updated 5 years ago
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 6 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 10 months ago
• rustls / sct.rs
  Certificate transparency SCT verification library in rust
  ☆53Updated 3 weeks ago
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆56Updated 2 years ago