feat(nifs): impl `protogalaxy::compute_K`

snarkify / sirius

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

MIT License

106 stars 15 forks source link

Open chaosma opened 4 days ago

chaosma commented 4 days ago

Issue Link / Motivation close #265

Changes Overview Add helper functions and implement compute_K

chaosma commented 1 day ago

@cyphersnake I merged your fixes and added/modified some comments.