PoC implementation of the Zellular sequencing protocol

Tutorial for writing constraints in the `arkworks` framework

sudoku game verify by zksnark.

A Trust-minimized Bitcoin Bridge

A Rust implementation of the Groth16 zkSNARK

This repository contains a tutorial on how to build roll_up with Circom

awesome-zkml repository

A zero-knowledge protocol for anonymous interactions.

Audited & minimal JS implementation of elliptic curve cryptography.

Create book from markdown files. Like Gitbook but implemented in Rust

Infinitely Compressible Governance using Recursive SNARKs

A zkRollup DEX & Payment Protocol

ElGamal encryption/decryption Circom2 circuits on the Baby Jubjub curve with TypeScript integration for input handling, testing, and benchmarking.

Polynomials Identity Language

A pure Rust PLONK implementation using arkworks as a backend.

The Halo2 zero-knowledge proving system

📜 A Starter Guide to Build ZK Applications 📜

Bitcoin Light Client on Ethereum

Witness encryption for KZG openings

Noname: a programming language to write zkapps

Rust implementation of the TLSNotary protocol