Allow for Topos state-transition program over an extension-field based curve.
Integrate cheetah base field as f63, for consistency with other STARK-friendly field implementations, and group curve implementations into a curve module.
The instantiation of Rescue over f63 with state width 14 is identical to the one integrated here.
Commits ef5df9e and 701d786 are necessary to rely only on the main branch for the exported AIR program.
The last two commits are fixing tiny issues which were preventing computing valid proofs in the cubic extension.
Allow for Topos state-transition program over an extension-field based curve.
Integrate cheetah base field as
f63, for consistency with other STARK-friendly field implementations, and group curve implementations into acurvemodule.Will require an update of https://github.com/ToposWare/certificate-stark once merged, as the name of the currently used curve and scalar elements has changed.
The instantiation of Rescue over f63 with state width 14 is identical to the one integrated here.
Commits ef5df9e and 701d786 are necessary to rely only on the main branch for the exported AIR program. The last two commits are fixing tiny issues which were preventing computing valid proofs in the cubic extension.