zk-ml / uchikoma

Related projects: ⓘ

• zk-ml / tachikoma
  neural network inference standard for zero-knowledge-proof systems
  ☆33Updated 11 months ago
• axiom-crypto / axiom-apps
  ☆33Updated last year
• manuj-mishra / zkdiffpriv
  Zero knowledge proofs of differential privacy mechanisms
  ☆20Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆62Updated 2 months ago
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆36Updated 5 months ago
• emilianobonassi / zkml-community-calls
  notes for community call for ZKML Community
  ☆19Updated last year
• Lev-Stambler / bulletproof-cairo
  ☆39Updated last year
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• DelphinusLab / zkWasm-host-circuits
  ☆22Updated 2 weeks ago
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆48Updated 2 years ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 9 months ago
• HerodotusDev / herodotus-eth-starknet
  ☆35Updated last year
• DanTehrani / storyform
  ☆18Updated last year
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated last year
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆76Updated last year
• blockhackersio / zrclib
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆12Updated 11 months ago
• succinctlabs / sp1-contracts
  Verifier contracts for onchain verification of SP1.
  ☆55Updated this week
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆36Updated last month
• ethereum / kzg-ceremony-sequencer
  ☆83Updated 11 months ago
• zk-pin / pin
  Trust-minimized commitment pools with zkSNARKs
  ☆40Updated last year
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆47Updated 5 months ago
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆23Updated 7 months ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated last week
• geometryresearch / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆47Updated 2 years ago
• AztecProtocol / aztec3-circuits
  Circuit infrastructure for Aztec 3.0
  ☆12Updated last year
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆45Updated last year
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆48Updated this week
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year