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
  ☆448Updated last week
• Sunscreen-tech / Sunscreen
  A compiler for fully homomorphic encryption and zero knowledge proofs
  ☆295Updated last month
• powdr-labs / powdr
  A modular stack for zkVMs, with a focus on productivity, security and performance.
  ☆470Updated this week
• microsoft / Nova
  Nova: High-speed recursive zero-knowledge arguments from folding schemes
  ☆790Updated last week
• arkworks-rs / poly-commit
  A Rust library for polynomial commitments
  ☆400Updated 10 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…
  ☆256Updated this week
• arkworks-rs / groth16
  A Rust implementation of the Groth16 zkSNARK
  ☆309Updated 2 months ago
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆301Updated last year
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆334Updated 2 months ago
• zkcrypto / bls12_381
  Implementation of the BLS12-381 pairing-friendly elliptic curve group
  ☆347Updated 5 months ago
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆221Updated last week
• arkworks-rs / crypto-primitives
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆226Updated 2 months ago
• dusk-network / plonk
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
  ☆606Updated 8 months ago
• zkcrypto / ff
  Traits and utilities for working with finite fields.
  ☆246Updated 5 months ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆310Updated 4 months ago
• privacy-ethereum / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆277Updated last week
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆309Updated 2 years ago
• tlsnotary / tlsn
  Rust implementation of the TLSNotary protocol
  ☆374Updated this week
• arkworks-rs / curves
  Implementations of popular elliptic curves
  ☆309Updated last year
• GuildOfWeavers / distaff
  Zero-knowledge virtual machine written in Rust
  ☆246Updated 2 years ago
• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆238Updated last year
• privacy-ethereum / halo2
  ☆231Updated 3 months 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 …
  ☆145Updated 6 months ago
• andrewmilson / ministark
  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs
  ☆365Updated 10 months ago
• arkworks-rs / marlin
  A Rust library for the Marlin preprocessing zkSNARK
  ☆323Updated last year
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆318Updated 8 months ago
• lambdaclass / cairo-vm
  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…
  ☆556Updated this week
• lurk-lab / neptune
  Rust Poseidon implementation (contact: @porcuquine)
  ☆328Updated 4 months ago
• fluidex / awesome-plonk
  A curated list of awesome things related to plonk proof system
  ☆236Updated last year
• aszepieniec / stark-anatomy
  Tutorial for STARKs with supporting code in python
  ☆226Updated 3 months ago