zkFHE / FHE-in-TEE

Related projects ⓘ

Alternatives and complementary repositories for FHE-in-TEE

• lattice-dogs / labrador
  ☆23Updated 2 months ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆110Updated 8 months ago
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆23Updated last year
• kevaundray / plookup
  ☆37Updated 2 years ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆42Updated 2 weeks ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆34Updated 11 months ago
• Janmajayamall / bfv
  ☆26Updated 9 months ago
• gbotrel / zprize-mobile-harness
  ☆19Updated 2 years ago
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆79Updated last year
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆56Updated 7 months ago
• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆30Updated last year
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆56Updated last year
• avras / nova-sha256
  Nova-based SHA256 benchmarks
  ☆30Updated 7 months ago
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆29Updated last month
• scroll-tech / ceno
  Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆54Updated this week
• obliviouslabs / oram
  Oblivious key-value store based on Circuit ORAM
  ☆13Updated 4 months ago
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆74Updated 2 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆71Updated 6 months ago
• privacy-scaling-explorations / greco
  ☆71Updated 3 months ago
• tangle-network / zk-SaaS
  zkSNARKs as a service using secure multi-party computation.
  ☆29Updated 10 months ago
• SNUCP / celpc
  Rust Code for CELPC
  ☆13Updated 5 months ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆111Updated 8 months ago
• conroi / lcpc
  polynomial commitments from linear codes
  ☆37Updated last year
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆25Updated last year
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆64Updated 5 months ago
• geometryxyz / protostar
  ☆49Updated last year
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆48Updated 3 weeks ago
• rozbb / zkcreds-rs
  ☆57Updated 2 years ago
• sunblaze-ucb / Orion
  ☆23Updated 2 years ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year