This PR aims to make it possible to specify blinding commitments. It consists in changing how generics are specified for the different structs used with nova and hypernova. We test our changes for pedersen commitments, since blinding factors have been removed from the KZG commit() method.
This PR precedes #127, which adds the ability to generate zk IVC proofs for nova.
This PR aims to make it possible to specify blinding commitments. It consists in changing how generics are specified for the different structs used with nova and hypernova. We test our changes for pedersen commitments, since blinding factors have been removed from the KZG
commit()method.This PR precedes #127, which adds the ability to generate zk IVC proofs for nova.