huitseeker

arecibo

awesome-folding

A curated list of zero-knowledge folding schemes

dotfiles

My dotfiles. Caveat emptor.

elsa

Append-only collections for Rust where borrows to entries can outlive insertions

Lasso

The lookup singularity. Based on Spartan; built on Arkworks.

rayon-scan

A parallel prefix scan function for ParallelIterator

abomonation_derive

A macros 1.1 #[derive(Abomonation)] implementation for the abomonation crate

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

bellpepper

SNARK Circuit library

bellpepper-gadgets

A library of gadgets compatible with bellpepper and bellperson

bellperson

zk-SNARK library

blstrs

ci-workflows

GitHub Actions workflows and templates for use in Lurk repos

circom-scotia

ec-gpu

OpenCL code generator for finite-field arithmetic over arbitrary prime fields

grumpkin-msm

halo2

halo2curves

lurk-rs

neptune

Rust Poseidon implementation.

Nova

Nova: Recursive SNARKs without trusted setup

nova-bench

A collection of comparison-benchmarks for Nova & related Proving systems

Nova-Scotia

Middleware to compile Circom circuits to Nova prover

pasta-msm

pasta_curves

Rust implementation for zcash/pasta

Plonky3

A toolkit for polynomial IOPs (PIOPs)

ribbot

Script for querying merged PRs, open issues, and closed issues from config repos.

solidity-verifier

Solidity implementation of Nova proving system verifier

sp1

A performant, 100% open-source, contributor-friendly zkVM.

user-manual