search

snarkify / sirius

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

feat(plonk): `custom_gates_lookup_compressed: Expression<F>` #225

Closed cyphersnake closed 6 months ago

cyphersnake commented 6 months ago

Motivation Creeping replacement of poly by expr within problem #159

Overview Simple add this field from ConstraintSystemMetainfo