Skip to content

Koukyosyumei/MyZKP

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

95 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

🚀 Building Zero Knowledge Proofs from Scratch in Rust

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.

Warning

This repository is a work in progress and may contain bugs or inaccuracies. Contributions and feedback are welcome!

Index

🧮 Basic of Number Theory

🔒 Basic of zk-SNARKs

🌟 Basic of zk-STARKs

  • ✍️ TBD

💻 Basic of zkVM

  • ✍️ TBD

🛠️ Code Reference

Module 📂 File Path
Ring ring.rs
Field field.rs
Extended Field efield.rs
Polynomial polynomial.rs
Elliptic Curve curve.rs
zkSNARKs ✍️ Coming soon

Contributions are Welcome!

Feel free to submit issues or pull requests to enhance the project.

About

Building Zero Knowledge Proof from Scratch in Rust

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages