Beast code in Giters

NP Labs's repositories

gkr_tutorial

Language:Rust12 10

poly-commit

A Rust library for polynomial commitments

Language:RustApache-2.04 2 10

aurora

Language:RustApache-2.0300

take-vs-clone-bench

Language:Rust3 10

ligero

Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.

Language:CircomApache-2.0200

circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

Language:RustApache-2.0102

halo2-playground

Language:Rust100

Lasso

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

Language:RustMIT100

zkGit

Research project exploring zero-knowledge git protocol

100

crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

Language:RustApache-2.0000

halo2-scaffold

Basic scaffolding for setting up and writing a Halo2 ZK circuit

Language:Rust000

snark-verifier

Language:RustApache-2.0000

tract

Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference

Language:RustNOASSERTION000

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

Language:RustApache-2.0010

curves

Implementations of popular elliptic curves

Language:RustApache-2.0000

halo2-lib

Monorepo of halo2 crates

Language:RustMIT000

jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

Language:RustMIT000

plonky2

Language:RustApache-2.0000

poseidon-circuit

Poseidon hash circuit

Language:RustApache-2.0000

secret-poly-commit

Not so secret anymore

Language:RustApache-2.0000

Spartan2

High-speed zkSNARKs

Language:RustMIT000

zk_evm

Language:RustApache-2.0000

zkML-tradeoffs

zkML: Trade-offs in accuracy vs. proving cost

Language:Jupyter Notebook000