Added notes for Zero-Knowledge Proofs
Includes:
- Introduction to ZKPs
- Proof of knowledge (Completeness, Soundness, Zero-Knowledge)
- Schnorr’s Protocol + Sigma Protocols
- Special Soundness + Rewinding
- Honest Verifier Zero Knowledge (HVZK) + Special Honest Verifier Zero Knowledge (SHVZK)
- Non-Interactive Zero Knowledge (NIZK) + Forgery, Random Oracle (RO) and Programmable Random Oracles (PRO)
- Girault’s Identification Protocols
- OR Proofs
- Perdersen Commitments
- Okamoto’s Identification Protocol
- Proof of Equal Commitments (PoEC), PoEC w Different Binding Generators, Proof of Squared Commitments
- Blum’s Protocol for Hamiltonian Cycles
- Universal Composability
- Fischlin Transform
To be added: SNARKs, ZK-SNARKs (Groth16)
Comments 1
very cool, im working in something like this where it will render md files in the browser for my blog , wrateup,notes am=nd more
Sign in to join the conversation.