Alternatives and similar repositories for zk-language-comparison

Users that are interested in zk-language-comparison are comparing it to the libraries listed below

• arkworks-rs / dpc
  A library for decentralized private computation
  ☆19Updated 3 years ago
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated 2 years ago
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆23Updated 2 years ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆37Updated last week
• arkworks-rs / gm17
  A Rust library for the preprocessing zkSNARK of Groth and Maller
  ☆11Updated 6 months ago
• cfrg / draft-irtf-cfrg-bls-signature
  ☆32Updated 2 years ago
• SuccinctPaul / awesome-zk-verifier
  ☆16Updated 2 months ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• arkworks-rs / ivls
  Implementation of incrementally verifiable ledger system
  ☆17Updated 4 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆42Updated 9 months ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆13Updated 2 years ago
• zkMIPS / zkMIPS
  zkMIPS 1.0: An open-source, simple, stable, and universal zkVM on MIPS32r2.
  ☆14Updated this week
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆31Updated this week
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated 2 years ago
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆18Updated last year
• Pi-Squared-Inc / proof-checker-public
  ☆20Updated 9 months ago
• kobigurk / privacypass-rs
  Fully-compatible implementation of Privacy Pass in Rust.
  ☆35Updated 5 years ago
• unbalancedparentheses / cryptography_in_rust_for_hackers
  Cryptography In Rust For Hackers
  ☆21Updated last year
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated this week
• Lagrange-Labs / reckle-trees
  ☆28Updated last year
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆84Updated last month
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 3 months ago
• succinctlabs / zkvm-perf
  ☆24Updated 3 months ago
• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆12Updated last week
• iden3 / wasmcurves
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Updated last year
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Updated 2 years ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆15Updated 5 years ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 8 months ago
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆33Updated 5 months ago