snarkify / sirius

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

refactor(nifs): remaster challenges absorbation #376

Closed cyphersnake closed 3 weeks ago

cyphersnake commented 1 month ago

Motivation As part of implementation #361, I need to check the consistency of the generation of the challange {on,off}-circuit. For simplicity, this piece of code has been separated into a separate function

Overview No functional changes, only move of challange-generation into a separate structure