arnaucube
arnaucube/protogalaxy-pocPublic Self-hosted repository

Commit history

c6d42a83563ad4978c15d6eeefe1cb1efb863afc
a
rm unused pedersen.rs methods, some more polishing
arnaucube committed on Jul 31, 2023
c6d42a8
a
add test folding k instances and n iterations. also some polishing
arnaucube committed on Jul 31, 2023
89b480f
a
add GHA
arnaucube committed on Jul 30, 2023
5900140
a
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.
arnaucube committed on Jul 30, 2023
f9591ec
a
add folding verifier impl, add last steps of folding prover (except G(X) & K(X))
arnaucube committed on Jul 28, 2023
2664dea
a
add betas* computation, initialize test for folding, add temporary paddings, add sanity check in prover
arnaucube committed on Jul 28, 2023
097baa1
a
Add README.md
arnaucube committed on Jul 28, 2023
9239ab4
a
add eval_f & check_instance methods, add initial Folding prover structure
arnaucube committed on Jul 28, 2023
004fd80
a
add pow_i & pow_i_over_x methods
arnaucube committed on Jul 27, 2023
69d0f5c
a
port pedersen.rs & transcript.rs from https://github.com/arnaucube/nova-study
arnaucube committed on Jul 27, 2023
95078de
a
init repo
arnaucube committed on Jul 27, 2023
a4c84c6