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