Use log derivative approach to convert copy constraint

snarkify / sirius

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

MIT License

119 stars 17 forks source link

Use log derivative approach to convert copy constraint #213

Open chaosma opened 6 months ago

chaosma commented 6 months ago

We convert copy constraints into permutation matrix. This is efficient during folding.

But there are limitations as well:

(1) we cannot do copy constraints between fixed and advice column (2) during decider phase, the treatment of permutation matrix is separate from the treatment of custom gates and lookup.