Alternatives and similar repositories for lurk-lib

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

• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆41Updated 6 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 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
• logos-storage / logos-storage-research
  Codex durability engine research
  ☆36Updated last week
• pnyda / zkjson
  JSON parser written in Lurk
  ☆28Updated 2 years ago
• adria0 / a0kzg
  Kate-Zaverucha-Goldberg polynomial commitments in rust playground
  ☆13Updated 4 years ago
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• narodnik / sapvi
  sha256(sha256(preimage)) in zk
  ☆15Updated 4 years ago
• khovratovich / Kate
  ☆27Updated 3 years ago
• iden3 / circom_runtime
  circom runtime
  ☆20Updated last year
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 4 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆53Updated 3 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆51Updated 2 years 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
• clvv / rcc
  ☆24Updated 2 years ago
• sedaprotocol / bn254
  ☆17Updated 6 months ago
• dvush / cl-evasm
  EVM assembly as an embedded Common Lisp dsl
  ☆21Updated 3 years ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated 2 years ago
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆58Updated 2 months ago
• danielkroeni / cairo-playground
  ☆20Updated 5 years ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆27Updated 2 years ago
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆31Updated 11 months ago
• argotorg / yul-isabelle
  ☆41Updated 3 years ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆35Updated last week
• HastilyConceivedCreatures / safecat
  A CLI tool to for crypto functions
  ☆13Updated last year
• cronokirby / seed-split
  Splitting seed phrases into shares
  ☆65Updated 3 years ago