Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
-
Updated
Aug 2, 2025 - Rust
#
interactive-proofs
Here are 11 public repositories matching this topic...
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
cryptography wikipedia zero-knowledge zksnark nizk verifiable-computation zkp verifiable-computing plonk zero-knowledge-proof groth16 interactive-proofs
-
Updated
Feb 22, 2023
Rust protocol lab for SNARK building blocks: Sumcheck, Zerocheck, PermCheck, IPA polynomial commitments, fuzzing, release evidence, and visualizer.
rust cryptography visualizer fuzzing ipa pcs zero-knowledge zk-snarks snark polynomial-commitments research-prototype zkproof sumcheck proof-systems protocol-labs interactive-proofs zerocheck permutation-check multilinear-polynomials
-
Updated
Jul 1, 2026 - Rust
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]
nix smart-contracts blockchain merkle-tree deterministic zero-knowledge consensus-protocol zksnarks light-client interactive-proofs proof-of-reproducibility verification-diversity nix-builds optimistic-verification symboli
-
Updated
Nov 9, 2025
Working through Theorem Proving in Lean4
-
Updated
Nov 29, 2024 - Lean
Personal study notes and write-ups on zero-knowledge proof protocols
-
Updated
Apr 7, 2026 - TeX
Minerva University Bachelor Thesis Project: MIP* = RE
-
Updated
Apr 22, 2022 - JavaScript
sum-check and other Interactive Proof primitives demo
-
Updated
Sep 28, 2025 - Python
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.
sha256 webcrypto fiat-shamir commitment-schemes zero-knowledge-proofs zkp crypto-lab schnorr-protocol crypto-compare interactive-proofs
-
Updated
Jun 28, 2026 - JavaScript
Improve this page
Add a description, image, and links to the interactive-proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the interactive-proofs topic, visit your repo's landing page and select "manage topics."