cryptopunkchina Goto Github PK

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

cryptocode

LaTeX package for typesetting pseudocode and cryptographic games

curve_experiments

Experimental repo to play with elliptic curves

distaff

Zero-knowledge virtual machine written in Rust

gnark-crypto

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

hades252

Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.

halo2

hash

A collection of algebraic hash functions written in Rust.

ingopedia

A curated list of ZK resources and links.

kzg-poly-commit

Polynomial Commitments using type-3 pairings

libsnark

C++ library for zkSNARKs

marlin

A Rust library for the Marlin preprocessing zkSNARK

miden

STARK-based virtual machine

plonk

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

plonk-zk-garage

A pure Rust PLONK implementation using arkworks as a backend.

plonky2

poly-commit

A Rust library for polynomial commitments

r1csfile

r1cs file format parser

rescue-poseidon

Rescue and Poseidon hash function implementations

research

rusk-vm

The Dusk Rust WASM VM implementation

stark-anatomy

Tutorial for STARKs with supporting code in python

stark_py

A python implementation of a STARK that proves a Fibonacci sequence.

winterfell

A STARK prover and verifier for arbitrary computations

zkevm-circuits

zkevm-specs

zkhack-there-is-something-in-the-air