Alternatives and similar repositories for lurk-lib:

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

• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆15Updated 4 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 3 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 2 years ago
• AztecProtocol / ignition-verification
  Repository to verify contributions to the AZTEC Ignition ceremony
  ☆15Updated last year
• iden3 / circom_runtime
  circom runtime
  ☆20Updated 4 months ago
• dvush / cl-evasm
  EVM assembly as an embedded Common Lisp dsl
  ☆21Updated 2 years ago
• ChihChengLiang / modexp
  ☆12Updated 4 years ago
• tse-group / goldfish-experiments
  Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"
  ☆13Updated last year
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆21Updated last year
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆37Updated 5 years ago
• iden3 / ffiasm-old
  Intel assembly finite field library generator
  ☆12Updated last year
• axic / zkoisc
  Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.
  ☆13Updated 3 years 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 …
  ☆67Updated this week
• halo2-ce / halo2
  ☆28Updated 2 years ago
• siraben / evm-assembler
  No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)
  ☆13Updated last year
• roynalnaruto / range_proof
  PoC implementation of polynomial commitment scheme based Range Proofs
  ☆12Updated last year
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated 7 months ago
• kobigurk / darkforeset-planet-finder
  ☆10Updated 4 years ago
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated last year
• privacy-scaling-explorations / rln
  ☆18Updated 2 years ago
• khovratovich / Kate
  ☆26Updated 2 years ago
• kariy / starkmint
  ☆13Updated last year
• rust-blockchain / verkle
  ☆14Updated 3 years ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 2 weeks ago
• hyperproofs / hyperproofs-go
  ☆22Updated 2 months ago
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• arnaucube / go-bellman-verifier
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Updated 4 years ago