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
  ☆459Updated last week
• Sunscreen-tech / Sunscreen
  A compiler for fully homomorphic encryption and zero knowledge proofs
  ☆299Updated 5 months ago
• powdr-labs / powdr
  Performance and security acceleration for zkVMs.
  ☆479Updated this week
• microsoft / Nova
  Nova: High-speed recursive zero-knowledge arguments from folding schemes
  ☆815Updated this week
• arkworks-rs / poly-commit
  A Rust library for polynomial commitments
  ☆425Updated last year
• arkworks-rs / groth16
  A Rust implementation of the Groth16 zkSNARK
  ☆329Updated 5 months ago
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆229Updated 3 weeks ago
• andrewmilson / ministark
  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs
  ☆374Updated last year
• TritonVM / triton-vm
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆272Updated last week
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆338Updated 6 months ago
• dusk-network / plonk
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
  ☆624Updated last week
• privacy-ethereum / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆284Updated last week
• lambdaclass / cairo-vm
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆570Updated this week
• GuildOfWeavers / distaff
  Zero-knowledge virtual machine written in Rust
  ☆246Updated 2 years ago
• nalinbhardwaj / zordle
  Wordle, but with ZK proofs!
  ☆224Updated 3 years ago
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆314Updated 2 years ago
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆326Updated last year
• arkworks-rs / crypto-primitives
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆234Updated 6 months ago
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆306Updated last year
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆148Updated last year
• zkcrypto / ff
  Traits and utilities for working with finite fields.
  ☆254Updated 9 months ago
• tlsnotary / tlsn
  Rust implementation of the TLSNotary protocol
  ☆393Updated this week
• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆241Updated last year
• zkcrypto / bls12_381
  Implementation of the BLS12-381 pairing-friendly elliptic curve group
  ☆361Updated 9 months ago
• noir-lang / noir
  Noir is a domain specific language for zero knowledge proofs
  ☆1,289Updated 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 …
  ☆156Updated 9 months ago
• fluidex / awesome-plonk
  A curated list of awesome things related to plonk proof system
  ☆239Updated last year
• dusk-network / Poseidon252
  Reference implementation for the Poseidon Snark-friendly Hash algorithm.
  ☆218Updated last week
• aszepieniec / stark-anatomy
  Tutorial for STARKs with supporting code in python
  ☆235Updated 7 months ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆311Updated this week