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