argumentcomputer / lurk

Related projects ⓘ

Alternatives and complementary repositories for lurk

• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆27Updated 3 weeks ago
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆48Updated this week
• clvv / rcc
  ☆24Updated last year
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆39Updated last week
• noir-lang / acvm
  ☆47Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• Lagrange-Labs / reckle-trees
  ☆23Updated 7 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆22Updated this week
• sigma0-dev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆28Updated 2 months ago
• arkworks-rs / nimue
  Fiat-Shamir for the masses.
  ☆42Updated last week
• alloy-rs / nybbles
  Efficient nibble-sized (4-bit) byte sequence data structure
  ☆25Updated 5 months ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆21Updated 11 months ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated this week
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆37Updated last year
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆32Updated 2 months ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• halo2-ce / halo2
  ☆28Updated last year
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆38Updated 4 months ago
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆56Updated 5 months ago
• scroll-tech / ceno
  Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆49Updated this week
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆27Updated 2 months ago
• argumentcomputer / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆69Updated last week
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆20Updated this week
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 2 weeks ago
• arkworks-rs / std
  A standard library wrapper for use in the `arkworks` ecosystem
  ☆37Updated 3 weeks ago
• noir-lang / acvm-backend-barretenberg
  ☆39Updated last year