stechu

universal-snarks-survey

proof-systems

baby, it is plonk!

circom-hardhat-ts-starter

zk-study-notes

zk study notes

wasm-prover

Acala

Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.

bellperson

zk-SNARK library

ccs-hack

a hack implementation of CCS generic arithmetization

ChainBridge

🌉 Modular Multi-Directional Blockchain Bridge to interact with Multiple Networks; Ethereum, Ethereum Classic, Substrate, based chains.

crypto-primitives

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

derive-pallet-assets-trait-error-2

dolphin-types

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

halo2-lib

Monorepo of halo2 crates

manta-util

Home brewed manta util.

msig-util

Derive Polkadot / Kusama addresses on the CLI.

parachain-projects-info

plonkathon

educational python plonk implementation, based on vitalik's py_plonk

polkadot

Polkadot Node Implementation

poly-commit

A Rust library for polynomial commitments

pylonk

baby plonk is a still plonk, but just a baby

rcc

Rust-C-FFI

rust-in-blockchain

Source code for rib.rs

sp1

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

sponge

Library for cryptographic sponges

stechu

Config files for my GitHub profile.

sumcheck

upa

UPA is the proof aggregation engine built by NEBRA team.

vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits