Alternatives and similar repositories for lurk-lib

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

• 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 …
  ☆86Updated 4 months ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 5 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• adria0 / a0kzg
  Kate-Zaverucha-Goldberg polynomial commitments in rust playground
  ☆13Updated 3 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 3 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• iden3 / circom_runtime
  circom runtime
  ☆19Updated 9 months ago
• pnyda / zkjson
  JSON parser written in Lurk
  ☆29Updated 2 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• codex-storage / codex-research
  Codex durability engine research
  ☆35Updated 3 months ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• khovratovich / Kate
  ☆27Updated 2 years ago
• kobigurk / privacypass-rs
  Fully-compatible implementation of Privacy Pass in Rust.
  ☆35Updated 5 years ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated last year
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆71Updated 11 months ago
• kariy / starkmint
  ☆13Updated 2 years ago
• sedaprotocol / bn254
  ☆17Updated 3 weeks ago
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 2 years ago
• iden3 / ffiasm-old
  Intel assembly finite field library generator
  ☆12Updated last year
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆35Updated 3 years ago
• zkvalidator / mina-vrf-rs
  ☆37Updated 3 years ago
• EchoAlice / das-playground
  Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay
  ☆16Updated 2 years ago
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆55Updated last month
• lopeetall / caulk
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Updated 3 years ago
• zkp-gravity / 0g
  ☆40Updated 2 years ago
• demox-labs / webgpu-crypto
  ☆40Updated 3 months ago
• clvv / rcc
  ☆24Updated last year
• Lagrange-Labs / reckle-trees
  ☆31Updated last year