Alternatives and similar repositories for safecat:

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

• lurk-lab / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• Lagrange-Labs / reckle-trees
  ☆26Updated last year
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated 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 …
  ☆81Updated 3 weeks ago
• geometryxyz / wgsl-poseidon
  ☆32Updated last year
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆11Updated this week
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 3 years ago
• leonardoalt / powdr-brainfuck
  ZK proofs for Brainfuck execution using powdr
  ☆15Updated 7 months ago
• narodnik / sapvi
  sha256(sha256(preimage)) in zk
  ☆14Updated 3 years ago
• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• noir-lang / noirup
  Installation tooling for Noir
  ☆25Updated 2 months ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 2 months ago
• interep-project / contracts
  🧾 InterRep Solidity smart contracts.
  ☆30Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated this week
• iden3 / circom-witnesscalc
  ☆14Updated last week
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• ChorusOne / celo-light-client
  Celo Light Client (IBC compatible)
  ☆16Updated 3 years ago
• iden3 / circom_runtime
  circom runtime
  ☆20Updated 6 months ago
• jsign / zig-stealth-addresses
  A Zig implementation of Ethereum stealth addresses (ERC-5564)
  ☆33Updated 11 months ago
• kariy / starkmint
  ☆13Updated 2 years ago
• arnaucube / go-bellman-verifier
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Updated 5 years ago
• disperze / wasmx
  Data aggregator for Cosmwasm
  ☆18Updated 2 years ago
• vezenovm / mastermind-noir
  ☆32Updated 2 years ago
• informalsystems / ibc-starknet
  Integration of IBC with Starknet
  ☆19Updated this week
• potuz / rlnc_poc
  ☆11Updated 3 months ago
• danielkroeni / cairo-playground
  ☆20Updated 4 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
• demox-labs / webgpu-crypto
  ☆34Updated this week