zama-ai / fhevm-evmos

Related projects ⓘ

Alternatives and complementary repositories for fhevm-evmos

• zama-ai / fhevmjs
  A dapp SDK for the fhEVM ecosystem
  ☆24Updated this week
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆78Updated 2 years ago
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆79Updated last year
• hashcloak / stoffelMPC
  ☆41Updated 11 months ago
• privacy-scaling-explorations / multifolding-poc
  A PoC repo for a HyperNova impl
  ☆83Updated last year
• cronokirby / cait-sith
  Threshold ECDSA via Triples
  ☆73Updated 7 months ago
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆36Updated last year
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆56Updated 4 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• weijiekoh / libkzg
  A minimal KZG polynominal commitment library with a Solidity verifier
  ☆69Updated last year
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated 11 months ago
• privacy-scaling-explorations / maze
  Multi proof Aggregation for Zk SNARK on Ethereum
  ☆61Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated this week
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆57Updated 7 months ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated 9 months ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆110Updated 8 months ago
• zkp-application / circom-rsa-verify
  Zero Knowledge Proof for RSA
  ☆52Updated last year
• aragonzkresearch / noir-trie-proofs
  ☆60Updated 4 months ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆32Updated 2 years ago
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆34Updated 2 years ago
• barryWhiteHat / plonk_tutorial
  ☆78Updated 4 years ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆21Updated 4 months 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…
  ☆79Updated 2 weeks ago
• celer-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆82Updated last year
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆84Updated 2 years ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆99Updated 7 months ago
• projectsophon / hardhat-circom
  Hardhat plugin to integrate Circom and SnarkJS into your build process.
  ☆116Updated last year