TrustworthyComputing / Zilch

Related projects ⓘ

Alternatives and complementary repositories for Zilch

• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆125Updated last year
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆63Updated 4 months ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆89Updated 3 years ago
• rozbb / zkcreds-rs
  ☆57Updated 2 years ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆111Updated 8 months ago
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆41Updated last year
• lovesh / bulletproofs-r1cs-gadgets
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆84Updated last year
• 0xPolygonZero / plonky
  Recursive SNARKs based on Plonk and Halo
  ☆112Updated 3 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• caulk-crypto / caulk
  ☆111Updated 9 months ago
• hashcloak / stoffelMPC
  ☆40Updated 10 months ago
• iden3 / rapidsnark-old
  fast zksnark prover
  ☆119Updated 11 months ago
• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆230Updated 5 months ago
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆37Updated 4 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆71Updated 7 months ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆76Updated 10 months ago
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 5 years ago
• akosba / xjsnark
  A high-level framework for developing efficient zk-SNARK circuits
  ☆184Updated last year
• rdi-berkeley / zkp-course-lecture3-code
  ☆60Updated last year
• yi-sun / circom-pairing
  ☆192Updated 11 months ago
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆77Updated 2 years ago
• zkpstandard / zkreference
  The official repository hosting the ZKProof Community Reference & Proposals documents.
  ☆102Updated 2 years ago
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated last year
• fluidex / plonkit
  A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
  ☆158Updated last year
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆79Updated last year
• ZKProofs / ZKProofs.github.io
  ZKProofs website
  ☆89Updated last year
• scipr-lab / libiop
  C++ library for IOP-based zkSNARKs
  ☆148Updated 10 months ago
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 2 years ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆98Updated 7 months ago
• GuildOfWeavers / genSTARK
  A library for generating zk-STARKs.
  ☆144Updated 2 years ago
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆120Updated 10 months ago