Alternatives and similar repositories for zk-language-comparison:

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

• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆22Updated last year
• succinctlabs / zkvm-perf
  ☆19Updated 3 months ago
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆19Updated 3 years ago
• sedaprotocol / bn254
  ☆15Updated 7 months ago
• celestiaorg / bittwister
  Bit Twister: A CLI tool for precise network traffic shaping. Simulate latency, bandwith limitation, drop packets, impose jitter with ease…
  ☆16Updated last year
• flashbots / contender
  run highly configurable benchmarks for EVM-based execution nodes over JSON-RPC
  ☆47Updated this week
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated 2 years ago
• arkworks-rs / nonnative
  R1CS constraints for non-native field arithmetic
  ☆20Updated 3 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆18Updated 9 months ago
• arkworks-rs / ivls
  Implementation of incrementally verifiable ledger system
  ☆17Updated 3 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated 6 months ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆34Updated 9 months ago
• arkworks-rs / ldt
  An `arkworks` library for low-degree testing
  ☆21Updated 4 months ago
• Wassasin / ibe
  Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve
  ☆20Updated 3 years ago
• zhenfeizhang / squirrel
  Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices
  ☆24Updated last year
• asonnino / fraudproofs-prototype
  Prototype of fraud proofs.
  ☆12Updated 2 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 5 months ago
• recmo / zkp-u256
  Rust 256-bit unsigned integers.
  ☆9Updated last year
• arkworks-rs / gm17
  A Rust library for the preprocessing zkSNARK of Groth and Maller
  ☆10Updated 2 months ago
• kevaundray / plookup
  ☆37Updated 2 years ago
• morgana-proofs / GKR-MSM
  ☆12Updated 3 weeks ago
• AztecProtocol / plonk-with-lookups
  ☆18Updated 4 years ago
• alinush / libvectcom
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Updated 4 years ago
• sigp / metastruct
  Abstractions for iterating and mapping over struct fields
  ☆15Updated last month
• matter-labs / zksync-crypto-gpu
  GPU-acceselerated cryptography libraries for ZKsync
  ☆15Updated this week
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• unbalancedparentheses / cryptography_in_rust_for_hackers
  Cryptography In Rust For Hackers
  ☆20Updated 10 months ago