interactive-proofs

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

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

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

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

Toying around with the Coq Proof Assistant

Minerva University Bachelor Thesis Project: MIP* = RE

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.