6 Commits (0620ef544848996121b90f96f0cf2f3aa8c0bf7d)

Author SHA1 Message Date
  arnaucube c6d42a8356 rm unused pedersen.rs methods, some more polishing 1 year ago
  arnaucube 89b480f185 add test folding k instances and n iterations. also some polishing 1 year ago
  arnaucube 5900140035 add GHA 1 year ago
  arnaucube f9591ecd63 implement K(X) & G(X) computation. Folding works 1 year ago
  arnaucube 2664dea6a7 add folding verifier impl, add last steps of folding prover (except G(X) & K(X)) 1 year ago
  arnaucube 9239ab4940 Add README.md 1 year ago