Alternatives and similar repositories for safecat

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

• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• pnyda / zkjson
  JSON parser written in Lurk
  ☆28Updated 2 years ago
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆27Updated 8 months ago
• iden3 / circom-witnesscalc
  ☆18Updated last week
• bmorphism / risc0-cosmwasm-example
  CosmWasm + zkVM RISC-V EFI template
  ☆23Updated 2 years ago
• demox-labs / webgpu-crypto
  ☆40Updated 4 months ago
• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Updated last year
• lurk-lab / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated last year
• zkp-gravity / 0g
  ☆40Updated 2 years ago
• commonprefix / ancestry-prover
  An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.
  ☆17Updated last year
• vezenovm / mastermind-noir
  ☆32Updated 2 years ago
• entropyxyz / programs
  Source, toolchain, and examples for using programs on Entropy
  ☆20Updated 6 months ago
• geometryxyz / wgsl-poseidon
  ☆33Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• iden3 / circom_runtime
  circom runtime
  ☆20Updated 11 months ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆39Updated 2 years ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated 2 months ago
• timewave-computer / valence-protocol
  A trust-minimized cross-chain execution environment.
  ☆15Updated 2 weeks ago
• risc0 / risc0-rust-examples
  These RISC Zero examples have been moved to the main risc0/risc0 repository
  ☆55Updated 2 years ago
• adria0 / a0kzg
  Kate-Zaverucha-Goldberg polynomial commitments in rust playground
  ☆13Updated 4 years ago
• factorgroup / nightmarket
  ☆47Updated 3 years ago
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated 9 months ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 3 months ago
• lopeetall / caulk
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Updated 3 years ago
• noir-lang / noirup
  Installation tooling for Noir
  ☆30Updated 3 months ago
• privacy-ethereum / zkID
  zkID is a team committed to advancing ZKP standards and driving privacy-focused solutions in digital identity.
  ☆17Updated last week
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆52Updated last week
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated last year
• kobigurk / phase2-bn254
  ☆72Updated last year