snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
MIT License
135 stars 19 forks source link

feat(ivc): generate assigned challanges #377

Closed cyphersnake closed 3 weeks ago

cyphersnake commented 1 month ago

Motivation Part of #361

Overview

Fix poseidon off-circuit hash Previously, a successive on-circuit poseidon circuit call would cause the old buffer to be reused and the exact same successive off-circuit call would not reuse the previous buffer. Now the behavior has been brought to a uniform standard.