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