rthaler •

Dr. Thaler's book Proofs, Args, and ZK implemented in rust using the arkworks cryptographic rust toolset.

Various Zero Knowledge Protocols are implemented at the subdirectory level. For interactivity between provers and verifiers, rthaler uses the actix actor framework to pass messages between the provers and verifiers. In order to do this, both the prover and the verifier implement actix's Actor Trait.

Implementations

Sum Check

./sumcheck implements the sum-check protocol following 0xsage's Medium tutotial.

Usage

Build

cargo build

Run Tests

cargo test

Blueprint

utils
├─ refactored utilities
sumcheck
├─ 

Contributing

All contributions are welcome! We want to make contributing to this project as easy and transparent as possible, whether it's:

• Reporting a bug
• Discussing the current state of the code
• Submitting a fix
• Proposing new features
• Becoming a maintainer

Please be aware, when you submit code changes, your submissions are understood to be under the same THE UNLICENSE that covers the project. Feel free to contact the maintainers if that's a concern.

We use GitHub issues to track public bugs. Report a bug by opening a new issue; it's that easy!

License

All code and contributions made directly to this repository are expressly understood to be licensed under the UNLICENSE as aforementioned.

References

• 0xsage's walkthrough of implementing the sum-check protocol with arkworks on medium
• arkworks sumcheck
• Contributing Example
• Production Grade Logging in Rust