snarkify / sirius

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

feat(nifs): modify generic for compute_{F,G,K} #291

Closed chaosma closed 4 days ago

chaosma commented 6 days ago

Issue Link / Motivation The generics used before is CurveAffine, it added unnecessary dependency and can be simplified.

Changes Overview Change CurveAffine generic to PrimeField.