emmaguo13 / nozee

Related projects ⓘ

Alternatives and complementary repositories for nozee

• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆16Updated 6 months ago
• cursive-team / stuff-with-signatures
  Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures
  ☆22Updated 9 months ago
• enricobottazzi / designated-verifier-proof
  Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …
  ☆40Updated last year
• gausslabs / phantom-zone
  ☆75Updated 2 weeks ago
• jbaylina / nova-circom-verifier
  Nova Verifier in Circom so it can be verified onChain
  ☆58Updated last year
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆40Updated 2 months ago
• zero-savvy / vimz
  ZK proofs for image authenticity
  ☆29Updated 2 weeks ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 6 months ago
• 0xturboblitz / totem
  Behold the almighty 🗿totem🗿
  ☆17Updated last month
• icemelon / halo2-examples
  Include halo2 example circuits
  ☆83Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆62Updated 4 months ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 11 months ago
• aragonzkresearch / noir-trie-proofs
  ☆60Updated 3 months ago
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆48Updated last week
• 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 this week
• yi-sun / zk-attestor
  ☆130Updated 2 years ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 2 years ago
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 2 years ago
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆36Updated 6 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• axiom-crypto / axiom-eth
  ☆93Updated 2 months ago
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆79Updated last year
• personaelabs / heyanoun
  nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)
  ☆17Updated 11 months ago
• colinnielsen / ecrecover-noir
  A Noir circuit that mimics Solidity's ecrecover
  ☆43Updated 9 months ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆72Updated 3 weeks ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆49Updated 3 weeks ago
• erhant / circomkit
  A testing & development environment for Circom.
  ☆100Updated 2 weeks ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated 10 months ago