Alternatives and similar repositories for safecat:

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

• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• lurk-lab / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated 10 months ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 3 years ago
• Lagrange-Labs / reckle-trees
  ☆24Updated 10 months ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆38Updated last year
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆58Updated this week
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated last year
• celo-org / plumo-prover
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Updated 3 years ago
• SuccinctPaul / awesome-zk-verifier
  ☆12Updated last month
• geometryxyz / wgsl-poseidon
  ☆32Updated last year
• gausslabs / obfustopia
  We're living in Obfustopia
  ☆20Updated 3 weeks ago
• lopeetall / caulk
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Updated 2 years ago
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated last year
• vezenovm / mastermind-noir
  ☆32Updated 2 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• arnaucube / go-bellman-verifier
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Updated 4 years ago
• yondonfu / sol-baby-jubjub
  Solidity implementation of the baby jubjub curve
  ☆22Updated 9 months ago
• risc0 / battleship-example
  A battleship game using ZKPs
  ☆43Updated last year
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆33Updated last month
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆27Updated this week
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 4 months ago
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Updated last year
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• iden3 / circom_runtime
  circom runtime
  ☆20Updated 3 months ago
• halo2-ce / halo2
  ☆28Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• hyperproofs / hyperproofs-go
  ☆22Updated last month
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 3 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago