succinctpaul Goto Github PK

a-possible-zkstack-docker-config

arnaucube-math-notes

Notes, code and documents done while reading books and papers.

awesome-zk-verifier

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

binius

A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)

bitvm

BitVM: Smarter Bitcoin Contracts

bitvmx-cpu

blockscout-rs

bls12_381

Implementation of the BLS12-381 pairing-friendly elliptic curve group

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

ccs-hack

a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness

circom

zkSnark circuit compiler

curv

Rust language general purpose elliptic curve cryptography.

dubbo-rust

Apache Dubbo Rust implementation

ec-gpu

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

eigen-prover

Eigen zkVM's Proving Pipeline and StateDB

eigen-zkvm

A zkVM basing on layered proof system

emacs.d

An Emacs configuration bundle with batteries included

era-boojum

Boojum, the scariest SNARK implementation.

era-contracts

Smart Contract Submodule For zkSync Era

era-zkevm_test_harness

Compare in-circuit and out-of-circuit VMs

ethstorage-grant

expander-rs

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

go

The Go programming language

groth16

A Rust implementation of the Groth16 zkSNARK

halo2

halo2curves

halo2ools

Halo2 tools

halo2wrong