We already have an off-circuit implementation of sps_verify for verifying special soundness in zero-knowledge protocols. Now, this functionality needs to be integrated into Cyclefold’s StepFoldingCircuit.
Depends on the refactor in #366 to properly handle trace field flexibility.
cyphersnake
commented
1 month ago
We already have an off-circuit implementation of sps_verify for verifying special soundness in zero-knowledge protocols. Now, this functionality needs to be integrated into Cyclefold’s StepFoldingCircuit.
Depends on the refactor in #366 to properly handle trace field flexibility.