zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…

A collection of exercices to teach yourself Substrate

This is the markdown for the ZK Book

The Halo2 zero-knowledge proving system

Python implementation of ECC pairing and bn_128 and bls12_381 curve operations

Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.

A library implementing the Optrand-based publicly verifiable secret sharing (PVSS) scheme that lies at the heart of GRandLine. Written purely in Rust.

Reference implementation of the GRandLine distributed randomness beacon protocol.

zk-SNARK library.

A go implementation of Publicly Verifiable Secret Sharing (PVSS).

An MPS Converter.

A toy search engine.

Example code for Fluent Python, 2nd edition (O'Reilly 2022)

Compile latex files and release PDF output using Github Actions