arnaucube
arnaucube/protogalaxy-pocPublic Self-hosted repository

Commit history

f9591ecd636353c7cd079aa606e1781558b0b4a9
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