Alternatives and similar repositories for zk-language-comparison:

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

• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆37Updated 3 weeks ago
• succinctlabs / zkvm-perf
  ☆24Updated 3 months ago
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆19Updated 3 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆66Updated 2 years ago
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆23Updated 2 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• nulltea / tss-libp2p
  Rust-libp2p transport for {t,n}-threshold signature schemes
  ☆33Updated 2 years ago
• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆11Updated 3 weeks ago
• thibmeu / tlock-rs
  Rust encryption library for practical time-lock encryption.
  ☆29Updated 9 months ago
• Pi-Squared-Inc / proof-checker-public
  ☆20Updated 9 months ago
• Lagrange-Labs / reckle-trees
  ☆26Updated last year
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated last month
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated 2 years ago
• clvv / rcc
  ☆24Updated last year
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆30Updated this week
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆81Updated 3 weeks ago
• Lagrange-Labs / mapreduce-plonky2
  ☆19Updated this week
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆15Updated 5 years ago
• zama-ai / fhevm-go
  fhevm-go is an open-source library used to easily integrate the fhEVM into an EVM-compatible blockchain.
  ☆25Updated 7 months ago
• chainwayxyz / risc0-to-bitvm2
  ☆17Updated 2 weeks ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated this week
• hknio / wasmcov
  Automated coverage analysis of WASM executables on embedded and other constrained environments
  ☆29Updated 8 months ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated last week
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 10 months ago
• zhenfeizhang / squirrel
  Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices
  ☆24Updated last year
• Consensys / corset
  ☆19Updated 2 weeks ago
• lita-xyz / rust-examples
  ☆17Updated 4 months ago
• Layr-Labs / rust-kzg-bn254
  ☆14Updated last week
• unbalancedparentheses / cryptography_in_rust_for_hackers
  Cryptography In Rust For Hackers
  ☆21Updated last year