Commit Graph

  • 651a05e (refs/pull/1/merge) Merge 0620ef5448 into c6d42a8356 by Silur 2023-09-14 08:15:48 +0000
  • 0620ef5 (refs/pull/1/head) make second step of the prover happen in O(n) by silur 2023-09-14 10:12:12 +0200
  • c6d42a8 (HEAD -> main) rm unused pedersen.rs methods, some more polishing by arnaucube 2023-07-31 21:10:37 +0200
  • 89b480f add test folding k instances and n iterations. also some polishing by arnaucube 2023-07-31 20:13:45 +0200
  • 5900140 add GHA by arnaucube 2023-07-30 11:18:15 +0200
  • f9591ec implement K(X) & G(X) computation. Folding works by arnaucube 2023-07-30 11:03:01 +0200
  • 2664dea add folding verifier impl, add last steps of folding prover (except G(X) & K(X)) by arnaucube 2023-07-28 13:18:52 +0200
  • 097baa1 add betas* computation, initialize test for folding, add temporary paddings, add sanity check in prover by arnaucube 2023-07-28 01:25:13 +0200
  • 9239ab4 Add README.md by arnaucube 2023-07-28 00:19:26 +0200
  • 004fd80 add eval_f & check_instance methods, add initial Folding prover structure by arnaucube 2023-07-28 00:14:52 +0200
  • 69d0f5c add pow_i & pow_i_over_x methods by arnaucube 2023-07-27 23:30:34 +0200
  • 95078de port pedersen.rs & transcript.rs from https://github.com/arnaucube/nova-study by arnaucube 2023-07-27 23:17:27 +0200
  • a4c84c6 init repo by arnaucube 2023-07-27 21:08:37 +0200