Alternatives and similar repositories for zkml-optimization:

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

• EtherTW / Terms
  翻譯區塊鏈相關專有名詞
  ☆11Updated 4 months ago
• Unirep / Unirep
  A Zero-Knowledge Protocol for Provable User Data Management
  ☆99Updated 2 months ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated last year
• cursive-team / jubmoji.quest
  Proving physical interactions with digital signatures
  ☆32Updated 8 months ago
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆59Updated last month
• zkemail / proof-of-twitter
  Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.
  ☆45Updated 2 months ago
• privacy-scaling-explorations / zkvm-ideas
  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team
  ☆37Updated 2 years ago
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆34Updated 2 years ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• privacy-scaling-explorations / nova-ml
  ☆24Updated last year
• lurk-lab / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆61Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 9 months ago
• zkspecs / zkspecs
  ☆21Updated last month
• SoraSuegami / iOMaker
  [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf
  ☆28Updated 6 months ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆33Updated 2 years ago
• SoraSuegami / voice_recovery_circuit
  A circuit to verify the voice recovery process.
  ☆49Updated 2 years ago
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆50Updated 8 months ago
• Janmajayamall / fhe-auction
  ☆18Updated last year
• ingonyama-zk / icicle-snark
  Groth16 over ICICLE
  ☆25Updated this week
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated last year
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆35Updated 2 years ago
• geometryxyz / technical_notes
  A collection of technical notes from the Geometry research team.
  ☆47Updated 2 years ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated last year
• jeong0982 / gkr
  zero knowledge proof aggregator for general circuit
  ☆72Updated 11 months ago
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆79Updated 3 years ago
• Janmajayamall / bfv
  ☆26Updated last year
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆109Updated 2 years ago
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Updated last year
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 2 years ago