feat(nifs): `IsSatAccumulator::is_sat_commit` for protogalaxy - Githubissues

snarkify / sirius

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

MIT License

119 stars 17 forks source link

feat(nifs): `IsSatAccumulator::is_sat_commit` for protogalaxy #340

Closed cyphersnake closed 1 month ago

cyphersnake commented 1 month ago

Motivation

https://github.com/snarkify/sirius/pull/339#discussion_r1741373656 Part of #267

Overview

Add trait-method IsSatAccumulator::is_sat_commit with witness commit check
Add trait-method IsSatAccumulator::is_sat with all checks included
Impl IsSatAccumulator::is_sat_commit for Protogalaxy
Migrate everywhere to IsSatAccumulator::is_sat