Add IVCProof to the existing folding schemes (Nova,HyperNova,ProtoGalaxy)#167

Merged

arnaucube merged 7 commits intomainfrom ivc-proofs

Oct 11, 2024

+1,021-1,027

Commits on Oct 9, 2024

add nova params serialization to nova's ivc test to ensure that IVC verification works with deserialized data
arnaucube
committed
Add unified FS::ProverParam & VerifierParam serialization & deserialization (for all Nova, HyperNova and ProtoGalaxy), without serializing the R1CS/CCS and thus saving substantial serialized bytes …
arnaucube
committed

Commits on Oct 11, 2024

rm CanonicalDeserialize warnings msgs for VerifierParams
arnaucube
committed