refactor(nifs): rm instances from `RelaxedPlonkInstance`

snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

MIT License

119 stars 17 forks source link

refactor(nifs): rm instances from `RelaxedPlonkInstance` #350

Closed cyphersnake closed 1 week ago

cyphersnake commented 1 week ago

Issue Link / Motivation Part of #316 First, we need to remove the nested format RelaxedPlonkInstance and add the accumulator field for the rest of the instances in the following PR

Changes Overview

Removed inner field from RelaxedPlonkInstance.
Directly embedded fields: W_commitments, consistency_markers, and challenges.
Introduced try_new and try_from methods for creating RelaxedPlonkInstance.
Updated test cases to align with the new structure.

cyphersnake commented 1 week ago

The extra field with the instances accumulator, as well as the permutation matrix trimming will be separate PRs