📜 A Starter Guide to Build ZK Applications 📜

A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.

Tic-Tac-Toe implementation in Leo (Aleo zk programming language) — learning repo.

Implementation of a smart contract responsible for keeping track of redactable blockchain modification

This project implements the proof-of-concept of blockchain-based federated learning system with zero-knowledge proofs for model aggregation verification. MSc thesis in CS University of Tartu.

Build ZK Applications - A transparent & shielded custom token in Leo.

Anonymous community bounties for AI agents. Midnight ZK proofs + Masumi settlement + Cardano finality.

Examples for Quorum

Benchy is a zk benchmarks harness.

Conceptual research repository for privacy-preserving, outcome-based incentives in neuro-rehabilitation using ZK proofs.

Simple circom boilerplate

Claude Code skill: verify custom Groth16/SNARK proofs on-chain on Solana (groth16-solana / alt_bn128). For the Solana AI Kit. MIT.

Docker Compose for PrivMX Bridge.

Production-ready Bash installer that deploys a complete Traefik + Nextcloud + Paperless + n8n stack with healthchecks, SFTP, backups & secure defaults.

Lab for intention-driven zero-knowledge DSL targeting Plutus (Groth16, BBS+, Halo2)

Reference implementation of the Pinccohio zk proof system

ssh port forwarding + easy - dependencies = ssh-tunnel simple management tool ✨

Hybrid Metal proving lane for RISC Zero on Apple Silicon: generic STARK ops on the GPU, circuit kernels on CPU. 1.70x measured on both benchmark workloads; receipts verify with the stock verifier.