This library only records the learning process of zkp, which currently includes:
- KZG10 https://cacr.uwaterloo.ca/techreports/2010/cacr2010-10.pdf
- Plookup https://eprint.iacr.org/2020/315.pdf
- FRI https://eccc.weizmann.ac.il/report/2017/134/revision/1/download/
- Sumcheck
https://people.cs.georgetown.edu/jthaler/sumcheck.pdf - Poseidon https://eprint.iacr.org/2019/458.pdf
- IPA(Inner Product Arguments) : The implementation of the IPA refers to the Halo paper, which mainly constructs a polynomial commitment that does not require trusted setup
https://eprint.iacr.org/2019/1021.pdf - FFT : FFT algorithm
- STARK by Hand : Implementing a manual example of Fibonacci in RISC0 https://dev.risczero.com/proof-system/stark-by-hand