Alternatives and similar repositories for zktls

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

• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆52Updated last year
• iden3 / circom-witnesscalc
  ☆16Updated 2 weeks ago
• risc0 / risc0-rust-examples
  These RISC Zero examples have been moved to the main risc0/risc0 repository
  ☆55Updated 2 years ago
• javiersuweijie / zkemail-safe
  ☆13Updated last year
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated last year
• bmorphism / risc0-cosmwasm-example
  CosmWasm + zkVM RISC-V EFI template
  ☆23Updated 2 years ago
• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Updated 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
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆73Updated last month
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated last month
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• Dstack-TEE / dstack-examples
  examples and utilities of Dstack applications
  ☆17Updated 2 weeks ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆72Updated 5 months ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated last month
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆91Updated 2 years ago
• pluto / web-prover
  Pluto Web Prover 🦀
  ☆39Updated 4 months ago
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆52Updated last week
• bandada-infra / bandada
  A system for managing privacy-preserving groups.
  ☆77Updated 4 months ago
• noot / schnorr-verify
  super cheap solidity schnorr sig verification using only ecrecover and keccak256
  ☆53Updated 2 years ago
• SoraSuegami / iOMaker
  [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf
  ☆35Updated 10 months ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• demox-labs / webgpu-crypto
  ☆40Updated 3 months ago
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆62Updated 2 years ago
• JofArnold / zkp-learning-in-public
  My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome
  ☆67Updated 3 years ago
• semaphore-protocol / semaphore-rs
  Semaphore v4 implemented in Rust
  ☆10Updated 2 weeks ago
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆23Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆56Updated 8 months ago
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated last year