Alternatives and similar repositories for zktls

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

• iden3 / circom-witnesscalc
  ☆16Updated last week
• javiersuweijie / zkemail-safe
  ☆13Updated last year
• cursive-team / stuff-with-signatures
  Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures
  ☆27Updated last year
• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Updated last year
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆52Updated last year
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆72Updated 2 months ago
• bmorphism / risc0-cosmwasm-example
  CosmWasm + zkVM RISC-V EFI template
  ☆23Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆52Updated last week
• SoraSuegami / iOMaker
  [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf
  ☆35Updated 10 months ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆42Updated 2 weeks ago
• MinaFoundation / Core-Grants
  ☆29Updated last year
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆91Updated 2 years ago
• semaphore-protocol / semaphore-rs
  Semaphore v4 implemented in Rust
  ☆10Updated last month
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• automata-network / multi-prover-avs
  Automata Multi-Prover AVS
  ☆12Updated 7 months ago
• Dstack-TEE / dstack-examples
  examples and utilities of Dstack applications
  ☆18Updated 2 weeks ago
• bandada-infra / bandada
  A system for managing privacy-preserving groups.
  ☆76Updated 5 months ago
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆104Updated 4 months ago
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated last year
• sbellem / qtee
  Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
  ☆44Updated 10 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆73Updated 6 months ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆58Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 2 months ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆28Updated last year
• defi-wonderland / aztec-patterns
  ☆16Updated last year
• reclaimprotocol / zk-symmetric-crypto
  A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
  ☆24Updated last week
• celestiaorg / celestia-zkevm-ibc-demo
  ☆21Updated last month