Ak36's repositories
cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
ff
Traits and utilities for working with finite fields.
group
Elliptic curve group traits and utilities.
halo2-lib
Monorepo of halo2 crates
jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
Lasso
The lookup singularity. Based on Spartan; built on Arkworks.
Nova
Nova: High-speed recursive arguments from folding schemes
NYUBlockchainLab.github.io
Landing page for NYU student club Blockchain Lab @ NYU.
pasta_curves
Rust implementation for zcash/pasta
poseidon-circuit
Poseidon hash circuit
rapidsnark
fast zksnark prover
sonobe
Experimental folding schemes library
sumcheck
linear-time sumcheck protocol for multilinear polynomials and related addends
xv6-public
xv6 OS
zk-email-verify
Verify emails with the same trust assumption as the email domain i.e. without trusting our server (because it doesnt exist)
zk-odst
A halo2 implementation of the BLAKE2f hashing algorithm ✳️