Actually, the functions prover_commit_to_sonypoint and verifier_commit_to_sonypoint cannot be used since (I think) they are producing different R1CS and Variables and so, they are causing VerificationError errs.
We should spot the concrete error, fix it and then implement tests as examples on how to build proofs with points committed as high-level variables to use them as secret inputs.
Actually, the functions
prover_commit_to_sonypointandverifier_commit_to_sonypointcannot be used since (I think) they are producing different R1CS and Variables and so, they are causingVerificationErrorerrs.We should spot the concrete error, fix it and then implement tests as examples on how to build proofs with points committed as high-level variables to use them as secret inputs.