feat(ivc): impl cyclefold::step_folding_circuit

snarkify / sirius

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

MIT License

135 stars 19 forks source link

feat(ivc): impl cyclefold::step_folding_circuit #369

Open cyphersnake opened 1 month ago

cyphersnake commented 1 month ago

This task integrates all previously implemented parts (e.g., SPS verification and delegated verification) into one cohesive circuit, completing the core logic for StepFoldingCircuit.

Integrates #367 and #368 into one folding circuit.