feat(nifs): impl pub instances check - Githubissues

snarkify / sirius

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

MIT License

119 stars 17 forks source link

feat(nifs): impl pub instances check #360

Closed cyphersnake closed 2 days ago

cyphersnake commented 3 days ago

Motivation Close #316

Overview

Refactored vanilla::is_sat error handling into vanilla module
Added is_sat_pub_instances method for public input verification
Updated instance example doc
Add accumulation check into IVC