███╗   ███╗  ██╗   ██╗  ███████╗  ██╗  ██╗  ██████╗   🦀
████╗ ████║  ╚██╗ ██╔╝  ╚══███╔╝  ██║ ██╔╝  ██╔══██╗ 🦀
██╔████╔██║   ╚████╔╝     ███╔╝   █████╔╝   ██████╔╝ 
██║╚██╔╝██║    ╚██╔╝     ███╔╝    ██╔═██╗   ██╔═══╝    🦀
██║ ╚═╝ ██║     ██║     ███████╗  ██║  ██╗  ██║    🦀    
╚═╝     ╚═╝     ╚═╝     ╚══════╝  ╚═╝  ╚═╝  ╚═╝      🦀

MyZKP is a Rust implementation of zero-knowledge protocols built entirely from scratch! This project serves as an educational resource for understanding and working with zero-knowledge proofs.

• 🌟 Explore the accompanying textbook: Book of MyZKP.
• 📢 Contributions and feedback are encouraged to help make this project even better!

MyZKP is a growing library that provides:

• A step-by-step guide to the theoretical foundations of ZKPs, including number theory, elliptic curves, and field arithmetic.
• Implementation of core primitives for ZKP protocols.
• A solid base for developers and researchers to learn, experiment, or build their own ZKP-based systems.

💡 Whether you're a cryptography enthusiast, a Rustacean, or a student, MyZKP is for you!

🧮 Basic of Number Theory

• 📝 Computation Rule and Properties
• ⚙️ Semigroup, Group, Ring, and Field
• 🔢 Polynomials
• 🌐 Galois Field
• 📈 Elliptic Curve
• 🔗 Pairing
• 🤔 Useful Assumptions

🌀Basic of Polynomial Commitment

• ⚔️ KZG
• ♊ Gemini

🔒 Basic of zk-SNARKs

• ⚡ Arithmetization
• 🛠️ Proving Single Polynomial
• 🐍 Bringing It All Together: SNARK
• ✅ Sumcheck (CUDA)

🌟 Basic of zk-STARKs

• 🌈 FRI

💻 Basic of zkVM

• ✍️ TBD

We welcome your ideas, feedback, and contributions!

💡 Here are ways to contribute:

1. Report Issues: Found a bug or have a suggestion? Open an issue!
2. Submit Pull Requests: Have code improvements? Feel free to submit them.
3. Write Documentation: Help us make the educational modules clearer.