search

snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
MIT License
136 stars 19 forks source link

feat: impl `cyclefold::step_folding_circuit` blank #386

Closed cyphersnake closed 1 week ago

cyphersnake commented 3 weeks ago

Motivation First part of #378

Overview WIP