interactive-proofs

Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.

Rust protocol lab for SNARK building blocks: Sumcheck, Zerocheck, PermCheck, IPA polynomial commitments, fuzzing, release evidence, and visualizer.

An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

A Layer 1 blockchain with deterministic execution through Nix-based reproducible builds and pure functional smart contracts. Byzantine consensus through reproducibility: one execution path, multiple verification proofs. [PoR]

Working through Theorem Proving in Lean4

Personal study notes and write-ups on zero-knowledge proof protocols

Minerva University Bachelor Thesis Project: MIP* = RE

Toying around with the Coq Proof Assistant

sum-check and other Interactive Proof primitives demo

Interactive, pedagogical treatment of the sum-check and GKR protocols, published as a rendered book at tmfreiberg.github.io/sumcheck-gkr-notes. Covers multilinear extensions, arithmetic circuits, wiring predicates, and soundness, with executable examples and step-by-step prover/verifier transcripts.

Toying around with Microsoft Lean 4

Browser-based zero-knowledge proof lab — six exhibits from Ali Baba cave to zk-SNARK. Real Schnorr arithmetic, SHA-256 commitments, transcript replay, and deterministic scenario presets. No framework, no backend.