Commit history
a
add folding verifier impl, add last steps of folding prover (except G(X) & K(X))
2664deaarnaucube committed on Jul 28, 2023
a
add betas* computation, initialize test for folding, add temporary paddings, add sanity check in prover
097baa1arnaucube committed on Jul 28, 2023
a
add eval_f & check_instance methods, add initial Folding prover structure
004fd80arnaucube committed on Jul 28, 2023
a
port pedersen.rs & transcript.rs from https://github.com/arnaucube/nova-study
95078dearnaucube committed on Jul 27, 2023