Alternatives and similar repositories for zkml-optimization:

Users that are interested in zkml-optimization are comparing it to the libraries listed below

• Unirep / Unirep
  A Zero-Knowledge Protocol for Provable User Data Management
  ☆99Updated last month
• EtherTW / Terms
  翻譯區塊鏈相關專有名詞
  ☆11Updated 4 months ago
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆59Updated last week
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 8 months ago
• weijiekoh / libkzg
  A minimal KZG polynominal commitment library with a Solidity verifier
  ☆70Updated last year
• voltrevo / summon
  A language for building arithmetic circuits based on TypeScript
  ☆27Updated 3 weeks ago
• Unirep / Unirep-Social
  An anonymous social media platform.
  ☆24Updated last year
• voltrevo / mpc-framework
  Create MPC apps with TypeScript.
  ☆32Updated 3 weeks ago
• SoraSuegami / voice_recovery_circuit
  A circuit to verify the voice recovery process.
  ☆49Updated last year
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated 11 months ago
• privacy-scaling-explorations / nova-by-hand
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆28Updated 9 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• polybase / zk-benchmarks
  ☆42Updated last year
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆60Updated last year
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆48Updated 7 months ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• guberti / witness-encryption-demos
  World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
  ☆33Updated 3 years ago
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆65Updated 6 months ago
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆72Updated 10 months ago
• namnc / circom-2-arithc
  Circom interpreter to arithmetic circuit description
  ☆53Updated 6 months ago
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆109Updated 2 years ago
• 0xPolygonHermez / zisk
  ☆74Updated this week
• ChihChengLiang / poseidon-tornado
  ☆89Updated 3 years ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated 2 years ago
• njofce / zk-chat
  Anonymous chat using RLN and InterRep
  ☆41Updated last year
• philsippl / circom-witness-rs
  ☆61Updated last year
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆29Updated 8 months ago
• cursive-team / jubmoji.quest
  Proving physical interactions with digital signatures
  ☆32Updated 8 months ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆28Updated last year