Commit Graph

  • c6d42a8356 rm unused pedersen.rs methods, some more polishing main arnaucube 2023-07-31 21:10:37 +02:00
  • 89b480f185 add test folding k instances and n iterations. also some polishing arnaucube 2023-07-31 20:13:45 +02:00
  • 5900140035 add GHA arnaucube 2023-07-30 11:18:15 +02:00
  • f9591ecd63 implement K(X) & G(X) computation. Folding works arnaucube 2023-07-30 11:03:01 +02:00
  • 2664dea6a7 add folding verifier impl, add last steps of folding prover (except G(X) & K(X)) arnaucube 2023-07-28 13:18:52 +02:00
  • 097baa1aab add betas* computation, initialize test for folding, add temporary paddings, add sanity check in prover arnaucube 2023-07-28 01:25:13 +02:00
  • 9239ab4940 Add README.md arnaucube 2023-07-28 00:19:26 +02:00
  • 004fd80b88 add eval_f & check_instance methods, add initial Folding prover structure arnaucube 2023-07-28 00:14:52 +02:00
  • 69d0f5c5ba add pow_i & pow_i_over_x methods arnaucube 2023-07-27 23:30:34 +02:00
  • 95078deca2 port pedersen.rs & transcript.rs from https://github.com/arnaucube/nova-study arnaucube 2023-07-27 23:17:27 +02:00
  • a4c84c6026 init repo arnaucube 2023-07-27 21:08:37 +02:00