Alternatives and similar repositories for lurk-beta

Users that are interested in lurk-beta are comparing it to the libraries listed below

• o1-labs / proof-systems
  The proof systems used by Mina
  ☆445Updated this week
• Sunscreen-tech / Sunscreen
  A compiler for fully homomorphic encryption and zero knowledge proofs
  ☆294Updated last month
• arkworks-rs / poly-commit
  A Rust library for polynomial commitments
  ☆395Updated 8 months ago
• TritonVM / triton-vm
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆257Updated last week
• powdr-labs / powdr
  A modular stack for zkVMs, with a focus on productivity, security and performance.
  ☆467Updated this week
• microsoft / Nova
  Nova: High-speed recursive zero-knowledge arguments from folding schemes
  ☆778Updated 2 weeks ago
• 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 …
  ☆111Updated 4 months ago
• arkworks-rs / groth16
  A Rust implementation of the Groth16 zkSNARK
  ☆303Updated 2 weeks ago
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆331Updated 3 weeks ago
• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆238Updated last year
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆218Updated last week
• arkworks-rs / crypto-primitives
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆225Updated last month
• o1-labs / mina-rust
  The Mina Rust node is an implementation in Rust of the Mina Protocol
  ☆108Updated last week
• zkcrypto / bls12_381
  Implementation of the BLS12-381 pairing-friendly elliptic curve group
  ☆344Updated 4 months ago
• privacy-scaling-explorations / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆271Updated this week
• andrewmilson / ministark
  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs
  ☆365Updated 9 months ago
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆310Updated last year
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆308Updated 2 months ago
• arkworks-rs / r1cs-std
  R1CS constraints for bits, fields, and elliptic curves
  ☆178Updated last month
• GuildOfWeavers / distaff
  Zero-knowledge virtual machine written in Rust
  ☆247Updated 2 years ago
• arkworks-rs / marlin
  A Rust library for the Marlin preprocessing zkSNARK
  ☆323Updated last year
• arkworks-rs / curves
  Implementations of popular elliptic curves
  ☆308Updated last year
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆300Updated last year
• zkcrypto / ff
  Traits and utilities for working with finite fields.
  ☆247Updated 4 months ago
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆315Updated 7 months ago
• 0xMiden / miden-vm
  STARK-based virtual machine
  ☆685Updated this week
• dusk-network / Poseidon252
  Reference implementation for the Poseidon Snark-friendly Hash algorithm.
  ☆217Updated 6 months ago
• dusk-network / plonk
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
  ☆600Updated 6 months ago
• tlsnotary / tlsn
  Rust implementation of the TLSNotary protocol
  ☆358Updated last week
• aszepieniec / stark-anatomy
  Tutorial for STARKs with supporting code in python
  ☆224Updated 2 months ago