Open cyphersnake opened 1 week ago
Motivation Part of https://github.com/snarkify/sirius/issues/369
Overview This PR is intended to demonstrate the Input design for cyclefold::StepFoldingCircuit
Input
cyclefold::StepFoldingCircuit
Note what types are used, what curves are presented and how this data is assumed to be reported inside the circuit
Motivation Part of https://github.com/snarkify/sirius/issues/369
Overview This PR is intended to demonstrate the
Inputdesign forcyclefold::StepFoldingCircuitNote what types are used, what curves are presented and how this data is assumed to be reported inside the circuit