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
• commonprefix / ancestry-prover
  An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.
  ☆16Updated 8 months ago
• lurk-lab / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated last year
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 3 weeks ago
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated last year
• demox-labs / webgpu-crypto
  ☆35Updated 3 weeks ago
• Lagrange-Labs / reckle-trees
  ☆29Updated last year
• noir-lang / acvm-backend-barretenberg
  ☆39Updated last year
• noir-lang / noirup
  Installation tooling for Noir
  ☆25Updated 2 months ago
• bmorphism / risc0-cosmwasm-example
  CosmWasm + zkVM RISC-V EFI template
  ☆22Updated 2 years ago
• geometryxyz / wgsl-poseidon
  ☆32Updated last year
• celestiaorg / celestia-node-client-rs
  🦀 celestia-node REST client in Rust.
  ☆18Updated 2 years ago
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆10Updated 3 weeks ago
• jsign / zig-stealth-addresses
  A Zig implementation of Ethereum stealth addresses (ERC-5564)
  ☆33Updated last year
• vezenovm / mastermind-noir
  ☆32Updated 2 years ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated 2 months ago
• 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 …
  ☆83Updated last month
• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Updated last year
• SuccinctPaul / awesome-zk-verifier
  ☆16Updated 2 months ago
• danielkroeni / cairo-playground
  ☆20Updated 4 years ago
• narodnik / sapvi
  sha256(sha256(preimage)) in zk
  ☆14Updated 4 years ago
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• 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
• phantomzone-org / obfustopia
  We're living in Obfustopia
  ☆26Updated 4 months ago
• Gaon3 / ethers-literal
  ☆14Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• 0xPolygonID / witnesscalc
  cpp witness calculator for mobile and desktop for iden3 circuits
  ☆15Updated last week
• celestiaorg / protobuf3-solidity-lib
  Codec library for protobuf3 in Solidity
  ☆16Updated last year
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 3 years ago
• arnaucube / evm-rs
  Ethereum Virtual Machine implementation from scratch in Rust
  ☆26Updated 3 years ago