This repository contains an educational implementation of the PLONK proof system with Plookup extension, based on the PLONKUP paper.
Warning: This implementation is for educational purposes only and should not be used in any environment. It has not been tested or optimized, and contains vulnerabilities.
This implementation aims to help me better understand the inner workings of PLONK with Plookup. It was developed as a personal project and should be treated as such.
Some tests are provided in the lib.rs
file, which can serve as examples of how to use the implementation.
- Check if I am using the correct function to switch from evaluation to coefficient representations.
- Check if typechecks in
verifier_algo
are really not needed. - Breake down the
prover_algo
function into smaller, more focused functions. - Use more descriptive variable names.
- Replace
for
loops with iterators. - Use type aliases for complex types.
As this project is primarily for personal educational purposes, contributions are not actively sought. However, if you find any issues or have suggestions for improvements, feel free to open an issue on the GitHub repository.