Alternatives and similar repositories for kintsugi

Users that are interested in kintsugi are comparing it to the libraries listed below

• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆244Updated last year
• cryspen / hax
  A Rust verification tool
  ☆277Updated last week
• timmclean / rust-timing-shield
  Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/
  ☆55Updated last year
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆152Updated this week
• cryspen / hpke-rs
  Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
  ☆38Updated last month
• sine-fdn / tandem
  A maliciously secure two-party computation engine which is embeddable and accessible
  ☆189Updated this week
• awslabs / mls-rs
  An implementation of Messaging Layer Security (RFC 9420)
  ☆162Updated last week
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 5 years ago
• mlswg / mls-federation
  ☆17Updated 4 months ago
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆124Updated 2 months ago
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆18Updated 3 months ago
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated last year
• rozbb / snarkblock
  A scalable anonymous blocklisting scheme
  ☆12Updated last year
• mlswg / mls-architecture
  MLS architecture
  ☆74Updated 4 months ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆30Updated 10 months ago
• franziskuskiefer / evercrypt-rust
  Rust bindings for HACL & Evercrypt
  ☆29Updated 3 months ago
• divviup / libprio-rs
  Implementation of Prio in Rust.
  ☆112Updated this week
• ucan-wg / rs-ucan
  Rust implementation of UCAN
  ☆71Updated 2 weeks ago
• isislovecruft / frost-dalek
  An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group
  ☆69Updated 3 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆26Updated last year
• warptools / warpforge
  a build tool -- based on "hashes go in, hashes come out" and hermetic, containerized environments for every step.
  ☆47Updated last year
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆43Updated 4 months ago
• mikelodder7 / vsss-rs
  Verifiable Secret Sharing Schemes
  ☆85Updated 5 months ago
• Election-Tech-Initiative / electionguard-verifier
  The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…
  ☆43Updated 3 years ago
• cloudpeers / tlfs
  The Local-First SDK
  ☆65Updated 3 years ago
• jedisct1 / rust-ed25519-compact
  Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.
  ☆128Updated 7 months ago
• informalsystems / modelator
  Model-based testing tool
  ☆60Updated 4 months ago
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆56Updated last month
• rozbb / dudect-bencher
  An implementation of the DudeCT constant-time function tester
  ☆22Updated last year
• RustCrypto / PAKEs
  Password-Authenticated Key Agreement protocols
  ☆109Updated 3 months ago