fix(plonk): algo for permutation

snarkify / sirius

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

MIT License

136 stars 19 forks source link

Closed cyphersnake closed 1 month ago

cyphersnake commented 2 months ago

Motivation Part #316 The previous algorithm was not accurate, it was losing links to the columns being deleted

Overview

Now the columns are sorted even before copy-constraint is added to avoid any double-pointing
Added unit-tests