feat(nifs): interface for `compute_K`

snarkify / sirius

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

MIT License

106 stars 15 forks source link

Closed cyphersnake closed 1 week ago

cyphersnake commented 1 week ago

Motivation Part of #265

Overview Just add interface for this function, in order to parallelize the work on this polynomial and the subsequent issues