fix(pp): using sfc instead of sc for pre-config

snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

MIT License

119 stars 17 forks source link

fix(pp): using sfc instead of sc for pre-config #201

Closed cyphersnake closed 6 months ago

cyphersnake commented 6 months ago

Motivation The IVC framework used StepFoldingCircuit but the PublicParams generation step used only StepCircuit itself, this error resulted in a non-consistent PlonkStructure (S)

Part of #192 (only one error left at the end)

Overview Corrected the generic. To generate primary use secondary and vice versa