feat(nifs): impl `protogalaxy::is_sat_acc` - Githubissues

snarkify / sirius

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

MIT License

138 stars 19 forks source link

feat(nifs): impl `protogalaxy::is_sat_acc` #339

Closed cyphersnake closed 2 months ago

cyphersnake commented 3 months ago

Motivation Close #267

Overview

impl ProtoGalaxy::is_sat_acc
impl ProtoGalaxy::is_sat_perm
finish tests for protogalaxy circuits