Zero-Knowledge Proofs "for (not too much 😉 ) dummies"

Fiat-Shamir for the masses.

OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol

Composable proof transcripts for public-coin arguments of knowledge

ZK is a Rust-based repo that aims to focus on learning and implementing zero-knowledge proofs.

🐾 Sistema de votação auditável, seguro e descontraído feito em Elixir.

We offer a digital signature solution rooted in the compact knapsack problem. Within this repository, we introduce a comprehensive analysis targeting the compact knapsack, ultimately providing the parameters of our system.

An example of ZKP using the Fiat-Shamir protocol.

Saratov State University, CSIT. Discipline "cryptographic protocols" (криптографические протоколы, rus)

A research-driven implementation of Schnorr-based zero-knowledge authentication exploring replay resistance, Fiat–Shamir transforms, and real-world protocol trade-offs in Rust.

Browser-based zero-knowledge range proofs using Bulletproofs on ristretto255 — 64-bit commitments, aggregate proofs, inner-product argument, and tamper-rejection demo. Part of crypto-lab.

Helper methods enabling authentication without compromising the password and without shared or public keys.

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.

Browser-based MPC-in-the-Head signature demo — additive secret sharing, SHA-256 commitments, Merkle proofs, Fiat-Shamir transform, N-party simulation with hidden-view challenge, toy PERK permutation witness. Post-quantum signatures from hash functions alone. NIST Round 2: Mirath, PERK, FAEST. No backends. No simulated math.

Sigma proofs implementation for Rust.