tekvyy / plonk_group16

Plonk

A Python tutorial of the paper PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge it is incomplete WIP, not secure, not correct just to help people learn.

Activity

Change the notbook content so it proves that you know the solution (3,4,5) to Pythagoras equation $x^2 + y^2 = z^2$ instead of proving the knowledge of solution to $x^3 + x + 5 = 35$ (as currently does). You only need to update the tutorial up to Part x FFT, until you generate the permutations successfully.

You should not import the gen_copy_constraints from plonk.sample_problem instead, you should create the copy_constraints array similar to $\psi$ array we built in the course.

Getting Started

pip install -e .

See ./plonk.ipynb for the tutorial.

Testing

pip install -e .[test]

pytest --nbval

Community

https://t.me/plonk_tutorial

Citation

The original tutorial is from https://github.com/barryWhiteHat/plonk_tutorial