Alternatives and similar repositories for awesome-fhe-blockchain

Users that are interested in awesome-fhe-blockchain are comparing it to the libraries listed below

• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆86Updated 2 years ago
• zkemail / zk-regex
  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…
  ☆102Updated 2 months ago
• privacy-ethereum / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆113Updated last year
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆97Updated 2 months ago
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆55Updated 9 months ago
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆87Updated 2 weeks ago
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆181Updated last year
• microbecode / zk-languages
  Introduction to various ZK languages
  ☆89Updated 4 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆126Updated last week
• boundless-xyz / risc0-foundry-template
  Template for integrating RISC Zero and Ethereum using Foundry
  ☆140Updated 7 months ago
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 3 years ago
• geometryxyz / mental-poker
  A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle
  ☆117Updated 11 months ago
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆134Updated last year
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆114Updated last year
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆139Updated 7 months ago
• phantomzone-org / phantom-zone
  ☆132Updated last year
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆104Updated 2 years ago
• risc0 / demos
  ☆61Updated 2 weeks ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆209Updated this week
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆102Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆150Updated this week
• succinctlabs / gnark-plonky2-verifier
  ☆106Updated last year
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆245Updated last year
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆118Updated this week
• chainwayxyz / bitvm-zk-verifier
  BitVM Groth16 Verifier Toolkit - WIP
  ☆80Updated last year
• erhant / circomkit
  A testing & development environment for Circom.
  ☆117Updated 5 months ago
• privacy-ethereum / greco
  ☆81Updated last year
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆112Updated 2 years ago
• privacy-ethereum / chiquito
  DSL for Halo2 circuits
  ☆188Updated last year