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 3 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆40Updated 6 years ago
• khovratovich / Kate
  ☆27Updated 3 years ago
• kariy / starkmint
  ☆13Updated 2 years ago
• adria0 / a0kzg
  Kate-Zaverucha-Goldberg polynomial commitments in rust playground
  ☆13Updated 4 years ago
• iden3 / circom_runtime
  circom runtime
  ☆20Updated last year
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 4 years ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆74Updated 4 months ago
• codex-storage / codex-research
  Codex durability engine research
  ☆36Updated last month
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆36Updated 3 years ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆50Updated 2 years ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated last year
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆27Updated 2 years ago
• reilabs / gnark-lean-extractor
  A tool to extract gnark circuits defined in Go to Lean for formal verification.
  ☆15Updated 7 months ago
• commonprefix / ancestry-prover
  An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.
  ☆17Updated last year
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• kobigurk / privacypass-rs
  Fully-compatible implementation of Privacy Pass in Rust.
  ☆35Updated 5 years ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆42Updated last year
• sedaprotocol / bn254
  ☆17Updated 4 months ago
• lopeetall / caulk
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Updated 3 years ago
• privacy-ethereum / rln
  ☆19Updated 2 years ago
• demox-labs / webgpu-crypto
  ☆41Updated 6 months ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• sigp / milagro_bls
  BLS12-381 cryptography using Apache Milagro
  ☆29Updated last year
• zkp-gravity / 0g
  ☆40Updated 2 years ago