Alternatives and similar repositories for libsignal-protocol-wasm-fstar

Users that are interested in libsignal-protocol-wasm-fstar are comparing it to the libraries listed below

• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆245Updated last year
• snipsco / rust-paillier
  A pure-Rust implementation of the Paillier encryption scheme
  ☆82Updated 7 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆82Updated this week
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• GaloisInc / ocelot
  Oblivious transfer library for rust
  ☆11Updated 5 years ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆31Updated last year
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• awslabs / s2n-bignum
  ☆180Updated this week
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated 3 months ago
• isec-tugraz / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆81Updated 3 years ago
• PLSysSec / ct-wasm
  Constant-Time WebAssembly
  ☆24Updated 6 years ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆56Updated last year
• GaloisInc / scuttlebutt
  Multi-party computation utilities toolkit for rust
  ☆16Updated 5 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆43Updated 6 years ago
• cryspen / hpke-rs
  Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
  ☆40Updated 2 months ago
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆28Updated last year
• signalapp / poksho
  ☆10Updated 3 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆26Updated last year
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆159Updated this week
• novifinancial / LibraChain
  A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
  ☆26Updated 5 years ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆57Updated 2 months ago
• trailofbits / reverie
  An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
  ☆61Updated 2 years ago
• formosa-crypto / libjade
  Crypto library
  ☆66Updated this week
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 6 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆62Updated 4 years ago
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆76Updated 5 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 6 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago