The sponge state was mismatched between the tasm code and the rust shadow for fri_verify. This fix:
[x] replaces the snippet SampleIndices with a new version that implements the non-deprecated BasicSnippet and Procedure. (The latter gives access to the sponge state.)
[x] Simplifies some of the test framework. In particular, state preparation is decoupled from memory and initial memory is entirely supplied through non-determinism.
[x] Fixes errors downstream from this simplification.
The sponge state was mismatched between the tasm code and the rust shadow for
fri_verify
. This fix:SampleIndices
with a new version that implements the non-deprecatedBasicSnippet
andProcedure
. (The latter gives access to the sponge state.)