Alternatives and similar repositories for lurk-lib

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

• 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
• pnyda / zkjson
  JSON parser written in Lurk
  ☆28Updated 2 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 3 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆41Updated 6 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 4 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• narodnik / sapvi
  sha256(sha256(preimage)) in zk
  ☆15Updated 4 years ago
• iden3 / circom_runtime
  circom runtime
  ☆20Updated last year
• adria0 / a0kzg
  Kate-Zaverucha-Goldberg polynomial commitments in rust playground
  ☆13Updated 4 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• khovratovich / Kate
  ☆27Updated 3 years ago
• kariy / starkmint
  ☆13Updated 2 years ago
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• logos-storage / logos-storage-research
  Codex durability engine research
  ☆36Updated 2 months ago
• HastilyConceivedCreatures / safecat
  A CLI tool to for crypto functions
  ☆13Updated 11 months ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated last year
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆36Updated 3 years ago
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆57Updated 3 weeks ago
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 3 years ago
• reilabs / gnark-lean-extractor
  A tool to extract gnark circuits defined in Go to Lean for formal verification.
  ☆15Updated 8 months ago
• zkvalidator / mina-vrf-rs
  ☆38Updated 4 years ago
• InternetMaximalism / verkle-tree
  Rust implementation for Verkle tree.
  ☆15Updated 3 years ago
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆63Updated last week
• commonprefix / ancestry-prover
  An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.
  ☆17Updated last year
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆41Updated last year
• sedaprotocol / bn254
  ☆17Updated 5 months ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• zkp-gravity / 0g
  ☆40Updated 2 years ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆38Updated 2 years ago