snarkify / sirius

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

refactor(ivc): use `ConsistencyMarkersComputation` name #348

Closed cyphersnake closed 2 months ago

cyphersnake commented 2 months ago

Motivation Since thanks to #316 we support as many instance columns as we like, the old name can be misleading, so wherever possible we enter the name "consistency marker", including this module

Overview N/A